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 可读性更高，但需主动规避无符号回绕风险。
立即学习“C++免费学习笔记（深入）”；
- 遍历非空容器正向循环：用
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; if (a > b) 中，b 被提升为 size_t，变成极大正数，条件恒为假。
- 编译器警告（如 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 位嵌入式环境跑」——这些上下文决定了类型选择，而不是语法习惯。
