C++ size_t和int区别 C++无符号与有符号索引类型选择【建议】_技术教程

size_t 是C++标准定义的无符号整型，专用于表示对象大小和数组索引，底层类型平台相关；不能直接当int用，因其无符号性导致与有符号数混用时引发隐式转换、回绕及未定义行为。

size_t 是什么，为什么不能直接当 int 用

size_t 是 C++ 标准定义的无符号整数类型，专门用于表示对象大小或数组索引，其底层实际类型取决于平台（通常是 unsigned long 或 unsigned long long），保证能容纳系统最大可能的内存尺寸。它和 int 的根本区别不在“大小”，而在“符号性”和“语义”：int 是有符号、通用计算类型；size_t 是无符号、专用于尺寸/计数/偏移场景。

常见错误现象：for (int i = container.size() - 1; i >= 0; i--) 在空容器时触发未定义行为——因为 container.size() 返回 size_t，减 1 后变成极大正数（如 18446744073709551615），再与有符号 i 比较，发生隐式转换，循环永远不退出。

不要把 size_t 强转成 int 来“图省事”，尤其在 64 位系统上，size_t 可能是 64 位，int 通常还是 32 位，截断会丢数据
标准容器（如 std::vector）的 size()、max_size()、operator[] 参数类型都是 size_t，这是接口契约，不是可选项
用 auto 推导迭代器差值或索引时，注意 std::distance 返回的是 ptrdiff_t（有符号），而非 size_t

什么时候必须用 size_t

所有涉及内存布局、容器尺寸、字节偏移的场景，编译器和标准库强制要求使用 size_t。典型包括：

sizeof 表达式结果类型就是 size_t，例如 sizeof(int) 返回 size_t
malloc、new[] 的参数类型是 size_t，传 int 会触发警告甚至截断（如 MSVC 的 C4267）
std::string::npos 是 size_t 类型的最大值，比较子串位置时若用 int 接收，永远不等于 npos
std::vector::at() 和 operator[] 的参数类型为 size_t，传负数（哪怕显式写 -1）会先被转成极大正数，导致越界访问

什么时候可以/应该用 int 或 ptrdiff_t

当你需要表达“差值”“偏移量”“带方向的索引”时，int 不合适，但 ptrdiff_t（指针差值类型）更准确；而简单循环计数若确定范围小且不跨平台，int 可读性更高，但需主动规避无符号回绕风险。

遍历非空容器正向循环：用 int i = 0; i (v.size()); ++i —— 前提是 v.size() ，否则仍应改用 size_t i = 0; i
计算两个迭代器距离：std::distance(it1, it2) 返回 ptrdiff_t，不是 size_t；若结果可能为负（如 it1 > it2），用 size_t 会掩盖问题
函数参数设计：如果函数逻辑上允许负索引（如相对当前位置偏移），参数类型应为 ptrdiff_t 或 int，而非 size_t