为什么std::string对象的max_size()返回值为4611686018427387897

测试代码 #

#include <iostream>
#include <string>
#include <climits>

using namespace std;

int main() {
    string s;
    cout << s.max_size() << endl;
    cout << INT_MAX << endl;
    cout << LLONG_MAX << endl;
    return 0;
}

运行结果 #

4611686018427387897
2147483647
9223372036854775807

原因说明 #

该结果是64位系统下GCC默认使用的libstdc++标准库的典型输出，核心原因有3点：

• 64位系统虚拟地址空间分配限制
  主流64位操作系统（Linux、Windows等）都会将64位虚拟地址空间对半拆分，低一半地址空间开放给用户态进程使用，高一半留给内核态，用户进程最多只能申请到总地址空间一半大小的连续内存，这是硬件和系统层面的硬性限制。
• 标准库内部状态位预留
  libstdc++的std::string实现会预留1位最高比特位，用来标记字符串当前使用的是短字符串优化（SSO）还是堆内存动态分配，所以可用的长度计数又少了1位，理论上限从2^{63-1降到了2}62-1。
• 短字符串优化缓冲区占用
  std::string默认内置了十余字节的SSO缓冲区，用来存储短字符串避免堆分配，计算最大长度时会扣除这部分缓冲区对应的长度，所以最终输出的4611686018427387897比2^62-1小几个字节，刚好和你测试的结果吻合。

不同C标准库（比如MSVC STL、libc）的实现细节不同，输出的max_size数值会有细微差异，但都会保持在LLONG_MAX的一半左右，核心逻辑一致。如果在32位系统下运行该测试，会得到约为INT_MAX一半的结果，逻辑完全相同。

内容的提问来源于stack exchange，提问作者Влад