17370845950

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

混合运算时的隐式转换陷阱

无符号和有符号整数混用会触发 C++ 的整型提升规则，常导致静默错误。例如：size_t a = 5; int b = -1

• 编译器警告（如 GCC 的 -Wsign-compare、Clang 的 -Wsign-compare）必须开启并视为错误处理
• 避免在条件判断、循环边界、算术表达式中让 size_t 和 int 直接比较或计算；统一类型最安全
• 用 static_cast 显式转换时，必须确认值域安全：比如 static_cast(s) 前要确保 s
• 现代做法：用 std::ssize(container)（C++20）获取有符号尺寸，返回 std::common_type_t，自动适配

真正难的不是记住哪个该用，而是意识到「索引是否可能为负」「尺寸是否可能超过 2GB」「这段代码会不会在 32 位嵌入式环境跑」——这些上下文决定了类型选择，而不是语法习惯。