std::vector::size() 返回 size_t 会因无符号回绕导致减法或负数比较出错；std::ssize() 返回有符号的 ptrdiff_t，支持安全减法、倒序循环及与指针运算类型一致，适用于标准容器和 C 风格数组，需 C++20 及以上并包含 <iterator>。
为什么 std::vector::size() 返回 size_t 会出问题？
因为 size_t 是无符号整数，做减法或和负数比较时容易触发回绕（underflow）——比如 v.size() - 10 在 v 很小时会得到一个巨大正数；又比如写 for (int i = v.size() - 1; i >= 0; --i)，当 v 为空时 v.size() - 1 变成 SIZE_MAX，循环直接失控。
开发者常被迫手动 cast：static_cast<:ptrdiff_t>(v.size())</:ptrdiff_t>，但容易漏、难读、跨容器不统一（std::array 和 std::string 都得各自 cast）。
std::ssize() 的实际用法和返回类型
它对任意兼容的容器（std::vector、std::string、std::array、std::span 等）返回有符号整型，类型是 std::common_type_t<:ptrdiff_t decltype></:ptrdiff_t>，实践中基本就是 std::ptrdiff_t（通常为 long 或 long long，与指针差值同宽）。
- 安全做减法：
std::ssize(v) - 5不会回绕 - 自然写倒序循环：
for (auto i = std::ssize(v) - 1; i >= 0; --i) - 和
std::distance、指针运算结果类型一致，混用无隐式转换风险
哪些容器支持 std::ssize()？
标准要求容器满足 Container 概念且拥有 .size() 成员函数（返回无符号整型），就自动适配。包括：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
std::vector、std::deque、std::list、std::forward_list -
std::string、std::string_view -
std::array、std::span - C 风格数组（如
int a[10]; std::ssize(a)）
不支持自定义容器，除非你显式特化 std::ssize 或确保其满足上述条件。
常见误用和编译失败原因
错误现象：调用 std::ssize(x) 报错 “no matching function”。
- 没包含头文件：
#include <iterator>（C++20 中定义位置） - 传入类型不满足要求：比如裸指针、
std::unique_ptr<T[]>、或没有.size()的类 - 使用旧标准编译（GCC/Clang 需
-std=c++20，MSVC 需 /std:c++20） - 某些老版本 libstdc++（GCC 10 及以前）未实现，需升级到 GCC 11+ 或 libc++ 12+
std::vector<int> v = {1, 2, 3};
auto n = std::ssize(v); // OK: n 是 ptrdiff_t，值为 3
if (n < 0) { /* 永远不会进这里 */ } // 类型安全，但逻辑上 size 不可能负 —— 重点在“能参与有符号运算”真正关键的不是“它返回负数”，而是它把原本分散、易错的手动类型转换，收束成一个名字清晰、类型确定、泛型安全的入口。很多人卡在头文件和编译器版本上，而不是语义理解。
