std::map中短字符串SSO的栈溢出风险及MinGW 6.0下工作机制问询

1. 该场景下栈溢出的概率 #

几乎为0。

原因很明确：std::map的所有元素（即那些std::string键值对）都存储在堆内存中，std::map本身的对象仅占用栈上极小的空间（x64环境下也就24字节左右，只是几个指针的大小），和存储元素的数量无关。

SSO的作用是让std::string对象直接在内部存储短字符串，无需向堆申请内存——但std::map的节点是动态分配在堆上的，所以这些启用SSO的std::string对象本身就处于堆内存中，根本不会占用栈空间。哪怕你存储200万对短字符串，栈上也只有std::map容器对象的一点点空间，完全不会触发栈溢出。

2. MinGW 6.0（C++14、Windows 10 x64）下SSO的具体工作方式 #

MinGW 6.0采用的是GCC 6.0的libstdc++标准库，其std::string的SSO实现细节如下：

• 对象固定大小：x64环境下，std::string对象始终占用24字节。
• 双存储模式：通过union区分两种存储状态：
  • 当字符串长度≤15字符时（不含末尾的\0终止符），启用SSO：对象内部拿出16字节作为缓冲区直接存储字符串内容（15个字符加自动补充的\0），剩余8字节用来记录字符串的实际长度。这种模式下完全不需要堆内存分配。
  • 当字符串长度＞15字符时，切换为堆存储模式：对象内部存储三个8字节的值——指向堆内存的指针、当前字符串的长度、堆内存的总容量。

简单总结：短字符串直接存在std::string对象自身的内存里，长字符串才会去堆上申请空间；而由于std::map的节点都在堆上，这些使用SSO的字符串自然也处于堆内存中，和栈没有关联。

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