为何C++返回局部string的c_str程序在不同优化标志下表现不同

首先明确：你原本的判断是正确的，这段代码本身属于未定义行为（Undefined Behavior, UB），不管运行出什么结果都符合C++标准的规定，O2下拿到"Hello"只是巧合，不是代码真的符合逻辑。

代码问题本质 #

returnString函数中定义的std::string s是栈上的局部对象，函数返回时局部对象的生命周期结束，会自动触发析构函数释放其内部管理的字符串内存。此时你返回的s.c_str()就是典型的悬空指针，后续访问这个指针指向的内存是完全非法的。

无优化下的运行逻辑 #

不开优化时，编译器会严格按照C++语法语义生成原始执行流程：

• 函数返回前会主动执行std::string的析构逻辑，部分标准库实现的析构函数会把内部持有的字符指针置空，或者栈帧回退时这块内存被栈操作覆盖，你读取stemp时自然拿到空值或者乱码，符合你最初的预期。

/O2优化下的运行逻辑 #

/O2是微软MSVC编译器的最高速度优化级别，会开启大量代码变换操作，导致这个现象的常见优化有两类：

• 函数内联优化：编译器识别到returnString逻辑非常简单，没有独立生成函数的必要，会直接把函数内部的代码嵌入到main函数中执行。此时局部变量s的生命周期相当于被延长到了main的作用域，直到main执行结束前s都不会被析构，c_str()指向的内存自然还保留着"Hello"的内容。
• 常量传播优化："Hello"本身是存储在程序只读数据段的常量字符串，/O2优化下编译器可以识别到你最终需要的就是这个常量值，甚至会直接跳过std::string的构造、析构流程，把stemp的赋值直接优化为指向只读段的"Hello"常量，拿到的自然是有效值。

注意：这种表现只是未定义行为下的巧合，绝对不能依赖这个现象编写生产代码。只要代码逻辑不变，换编译器版本、调整其他编译参数、甚至在附近加几行其他业务逻辑，都可能立刻出现乱码、程序崩溃等异常。

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