为何自动存储期内置类型默认初始化未初始化，而std::string等类类型已初始化？

• 类类型的默认构造函数约束
  std::string、std::vector这类标准库类都定义了显式的默认构造函数，这是类设计的核心要求。根据C++标准，默认初始化类类型对象时，编译器会自动调用其默认构造函数，而这些构造函数的职责就是把对象置于合法有效状态：

  • std::string默认初始化后是空字符串，内部的字符指针、长度、容量都被正确赋值；
  • std::vector默认初始化后是空容器，内部的缓冲区指针、元素数量、容量也都处于合法值。
    而int、char这类内置类型没有构造函数，编译器没有强制初始化的义务，因此可以选择跳过初始化来节省函数反复调用时的微小开销。

• 未初始化类类型的风险远高于内置类型
  你的猜想完全正确：未初始化的类类型（尤其是管理动态资源的容器）引发的问题比内置类型严重得多：

  • 内置类型未初始化最多是读取到随机垃圾值，可能导致计算错误，但通常不会直接触发程序崩溃；
  • 而未初始化的std::string或std::vector，内部的指针、大小变量都是随机垃圾值，调用任何成员函数（比如size()、push_back()）都会触发未定义行为——可能直接导致程序崩溃、内存破坏，甚至引发安全漏洞。标准库的设计优先避免这种高危场景，因此强制通过默认构造函数初始化对象。

• 默认构造的开销可以忽略
  标准库容器的默认构造函数开销极小：比如std::string的默认构造通常只是几个成员变量的赋值操作，现代编译器甚至会把这些操作优化到几乎没有。相比之下，内置类型省略初始化的开销收益微乎其微，完全不值得为这点性能牺牲类类型的安全性。

举个代码示例直观对比：

void func() {
    int uninit_int; // 未初始化，值为随机垃圾
    std::string uninit_str; // 默认构造，是空字符串，状态完全有效
    
    uninit_str.size(); // 合法调用，返回0
    // 读取uninit_int是未定义行为，但通常仅得到垃圾值，不会直接崩溃
}

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