两段看似等价的C++代码为何仅一段可编译？Clang与GCC差异

结论：Clang的行为符合C++20标准，GCC的编译通过属于宽松处理（或实现bug）

核心差异：两个std::vector构造函数的初始化行为 #

两段代码的关键区别在于std::vector使用的构造函数逻辑不同：

• std::vector<int> v(n, 0);：填充构造函数，会将容器内所有元素显式初始化为0，元素值完全确定。
• std::vector<int> v(n);：默认数量构造函数，对于int这类内置类型，执行默认初始化——即不会为元素设置初始值，元素内容处于未定义状态（值不确定）。

常量表达式的规则限制 #

根据C++20标准，常量表达式（包括consteval函数的求值过程）禁止读取未初始化对象的值，这类操作属于未定义行为，会直接导致整个表达式不满足常量表达式的要求。

在bar函数中，v[0]读取的是未初始化的int值，违反了标准规则，因此Clang拒绝编译是合规的。而GCC未检测到该问题，允许了不符合标准的代码执行。

修正方案 #

若要让bar函数符合标准，需确保元素被明确初始化，比如沿用foo的显式初始化方式，或使用值初始化：

consteval auto bar(int n){
    std::vector<int> v(n, 0); // 显式初始化所有元素为0
    // 或者：std::vector<int> v(n, int{}); // 值初始化元素
    return v[0];
}
constexpr auto m = bar(5);

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