为何通过Lambda将std::string初始化为空字符串会崩溃？

现象对比 #

• 以下代码执行不会崩溃：

static std::string strTest2 = 
   [](){std::string * s = &strTest2; (*s) = "a"; return s->c_str();}();

• 先赋值非空字符串再清空的代码同样不会崩溃：

static std::string strTest3 =
   [](){std::string * s = &strTest3; (*s) = "b"; (*s) = ""; return s->c_str();}();

• 但直接赋值空字符串的代码会在(*s) = ""处崩溃：

static std::string strTest1 =
   [](){std::string * s = &strTest1; (*s) = ""; return s->c_str();}();

原因分析 #

核心问题出在静态std::string的初始化时机和未初始化对象的操作上：

1. 静态变量的初始化逻辑是先分配内存，再执行初始化表达式（这里的Lambda）。此时strTest1的内存已分配，但std::string的构造函数还未执行完毕，内部的缓冲区指针、大小等成员都是未初始化的野值。
2. 给未完全构造的std::string赋值空字符串时，operator=会尝试释放当前内部的缓冲区（标准库默认逻辑），但此时缓冲区指针是野指针，释放野指针直接触发崩溃。
3. 先赋值非空字符串时，operator=会先为字符串分配合法的内存缓冲区，这相当于间接完成了std::string内部结构的必要初始化，后续再清空时，操作的是已经合法初始化的内部状态，因此不会崩溃。

本质上这属于构造过程中操作未完全初始化对象的未定义行为，空字符串赋值刚好触发了最危险的野指针释放操作，而非空赋值则意外避开了这一风险。

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