C++变量初始化时引用未初始化变量的编译与运行疑问

示例代码 #

#include <iostream>

std::string& fn(std::string& str) {
    str = "oh no!";
    return str;
}

int main() {
    std::string str = fn(str);
    std::cout << str << std::endl;
    return 0;
}

疑问1：代码为何能编译通过且无警告，C++标准对此的规定？ #

这段代码语法上完全合法，C++标准允许变量声明后名字立即可见——哪怕变量还未完成初始化。编译器仅负责检查语法合规性，而初始化前引用变量属于未定义行为（UB），标准没有强制要求编译器必须检测或警告这类运行时风险。

多数编译器需要开启更高等级的警告选项（比如GCC的-Wuninitialized、Clang的-Wuninitialized）才会触发相关提示，默认编译等级下通常不会主动检测这类隐性风险。

允许变量声明后名字立即可见的核心目的，是为了支持一些合法场景：比如递归初始化逻辑、构造函数初始化列表中引用同一类已初始化的成员、或者函数内变量初始化时调用其他函数（只要函数未访问未初始化的对象状态），这类写法是符合标准规范的。

疑问2：不同平台运行结果为何存在差异？ #

这是未定义行为的典型表现——C++标准对未定义行为的结果没有任何约束，编译器和平台可自由处理，因此不同环境下出现完全不同的行为是正常的：

• 在Godbolt平台，编译器生成的代码直接访问了未初始化std::string对象内部的无效指针（比如指向随机内存），触发段错误；
• 而Apple clang搭配libc++的环境中，std::string的赋值运算符实现恰好能处理未构造完成的对象内存（比如默认构造前的内存被隐式置零，赋值时直接覆盖了无效状态），最终侥幸完成赋值并输出结果。

本质上这种差异没有确定性的“原因”，未定义行为的结果本就不可预测，任何表现都符合标准要求。

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