Clang报错goto跳过constexpr初始化，MSVC无问题谁对谁错？

问题场景 #

我正在开发UE插件，为复现问题将UE相关内容替换为标准库代码后，出现如下编译差异：

#include <iostream>
#include <fstream>


void PrintCircleInfo(float radius, bool shouldPrintArea){
    std::ofstream outFile("example.txt");
    float diameter = radius * 2;
    outFile << "diameter " << diameter;

    if(!shouldPrintArea){
        goto CLEAN_UP_AND_RETURN;
    }

    constexpr double PI = 3.14;//clang不允许跳过此行
    outFile << "area " << PI * radius * radius;

CLEAN_UP_AND_RETURN:
    outFile.close();
}

在VS中使用MSVC编译运行正常，但打包到Android平台时Clang报错“跳转绕过变量初始化”，请问MSVC和Clang的行为差异谁对谁错，原因是什么？

结论与原因 #

Clang的行为符合C++标准，MSVC属于放宽标准的非合规行为。

C++标准明确规定：不能通过goto语句跳转到某个变量的作用域内，且跳过该变量的初始化过程——哪怕这个变量是constexpr类型。

• constexpr double PI = 3.14;定义了一个自动存储期的变量，作用域从定义点延伸到函数结束。当goto CLEAN_UP_AND_RETURN;执行时，程序会跳过该变量的初始化，直接进入其作用域内的后续代码（CLEAN_UP_AND_RETURN标签处于该变量的作用域中），这违反了标准约束。
• MSVC默认允许该行为是因为开启了非标准扩展，属于对标准的宽松处理，但并不符合C++规范；而Clang默认严格遵循标准，因此会触发报错。

解决方案参考 #

• 将constexpr变量的定义移到goto跳转路径之前，确保无论是否执行跳转，变量都能完成初始化；
• 用大括号包裹constexpr变量及后续相关代码，缩小变量作用域，让goto的目标标签不在该变量的作用域范围内。

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