GCC中栈上构造标准库对象后，std::unreachable后续函数调用触发编译错误的原因咨询

大家好，最近我遇到了一个挺费解的编译问题，在这里跟大家分享下细节，想请教下背后的原因：

通常情况下，我可以在std::unreachable()之后放置函数调用，这在MSVC、Clang和GCC上都不会有实际影响——毕竟std::unreachable()标记了不可达的代码路径。但在GCC上有个特殊情况会导致编译失败，先看这段示例代码：

#include <iostream>
#include <utility>
#include <string>

int anotherFunc() {
    return 42;
}

int my_func() {
    std::string s; // 只要这里构造了std::string，后续std::unreachable()后的函数调用就会编译失败
    if (rand() % 2 == 0) 
        return {};
    std::unreachable();
    anotherFunc(); // 只要上面有std::string，这行在GCC里就过不了编译
}

int main(int argc, char* argv[]) {
    my_func();
}

编译时会触发如下错误：

: In function 'int my_func()': :24:1: error: control reaches end of non-void function [-Werror=return-type] 24 | } | ^ cc1plus: some warnings being treated as errors

我对比了三大编译器的表现：

• MSVC和Clang都能正常编译这段代码，完全忽略std::unreachable()之后的代码
• 只有GCC会报错，而且只有当栈上构造了某些标准库对象时才会触发这个问题

我还做了更多测试：

• 像std::string、std::vector、std::unordered_map这类标准库容器，只要在栈上构造，就会导致std::unreachable()后的函数调用触发上述编译错误
• 但如果是我自己定义的类，哪怕在栈上构造实例，std::unreachable()后的函数调用依然能正常通过GCC的编译

更关键的是，这个问题在最新的GCC 15版本里依然存在。

我猜测这可能和GCC对std::unreachable()的处理逻辑有关——当栈上存在需要析构的标准库对象时，GCC可能没有正确识别std::unreachable()之后的代码是完全不可达的，反而认为函数可能会走到结尾而没有返回值，从而触发-Werror=return-type错误。而自定义类可能因为析构逻辑简单，或者GCC对标准库对象有特殊的处理规则，才导致了这种差异。不过具体的深层原因还需要更深入地查看GCC的编译逻辑或者相关的标准实现细节，欢迎大家一起讨论。

内容来源于stack exchange