std::vector最大大小限制及vector<T> too long运行错误问题咨询

1. 最初max_size输出为4294967295的原因 #

你最初使用printf的%u格式符存在类型不匹配问题：%u对应无符号32位整数类型，而vector::max_size()返回值是size_t类型，PTRDIFF_MAX、INTMAX_MAX在64位系统下都是64位整数，用%u输出时只会取低32位截断输出，所以才会显示为2^32-1，也就是你看到的4294967295。改用std::cout后会自动匹配变量类型，输出的就是64位下的正确值。

另外补充：标准库中vector<T>::max_size()的取值通常为PTRDIFF_MAX / sizeof(T)，这是因为C++标准要求vector迭代器的差值类型为ptrdiff_t（有符号整数），如果元素个数超过PTRDIFF_MAX，首尾迭代器相减就会发生有符号整数溢出，属于未定义行为，所以即便size_t是无符号64位、最大值为18446744073709551615，vector的max_size也会被限制在PTRDIFF_MAX以内，也就是64位下的9223372036854775807。

2. 元素数超过2147483648就抛出vector<T> too long的原因 #

vector<T> too long对应的异常类型是std::length_error，属于逻辑错误，触发条件是你请求的元素个数超过了当前vector<T>::max_size()的取值，和实际内存是否充足无关（内存分配失败会抛出std::bad_alloc），常见的触发场景有两种：

• 场景1：你编译的是32位程序：32位环境下PTRDIFF_MAX为2147483647（也就是2^31-1），所以vector<char>的max_size就是2147483647，你请求超过这个值的元素个数就会直接触发该错误。
• 场景2：你给resize方法传的参数是有符号32位整数类型：当你要传入的数值超过2147483647时，会发生有符号整数溢出变成负数，转为resize接收的无符号size_t类型后会变成一个远大于max_size的超大值，也会触发该错误。这也能解释你替换元素类型为uint32_t时报错的元素个数和char类型一致的现象：你传入的溢出参数转成size_t后的值是同一个，只要超过对应类型的max_size就会提前报错，和单个元素大小、总内存占用无关。

3. 关于连续内存块的疑问 #

如果你确认捕获到的异常是std::bad_alloc才需要考虑内存相关问题：

• 64位程序的虚拟地址空间足够大，只要你的总内存（物理内存+页文件/交换分区）足够，通常可以分配到几十GB甚至上百GB的连续地址空间
• 32位程序的用户态虚拟地址空间最多只有2~3GB，即便物理内存充足，也无法分配超过地址空间上限的连续内存块

内容的提问来源于stack exchange，提问作者Jann5s