GCC与Clang下类模板静态成员初始化结果差异求助

这段代码的差异源于C++标准中**对象odr-use（One Definition Rule Use）**的规定，以及不同编译器对模板静态成员初始化时机的实现差异：

• ODR-use判定：main()里的A<int>::b.val;是对静态对象b的int类型成员val的直接读取。根据C++标准，这种对标量类型成员的单纯读取并不构成对对象b的odr-use——编译器可以直接获取成员值，无需确保对象本身完成初始化。
• 编译器实现差异：
  • GCC 11.4.0选择主动初始化模板静态成员A<int>::b，即使未触发odr-use，因此构造函数执行并输出1。
  • Clang 14.0.0严格遵循ODR-use规则，仅在对象被odr-use时才触发初始化。由于代码未触发b的odr-use，b未被初始化，直接访问其成员val会导致未定义行为，表现为段错误。

要让Clang正确初始化b，只需触发对b的odr-use即可，常见方式有：

• 取b的地址：

  int main() {
      (void)&A<int>::b; // 触发odr-use，强制初始化
      A<int>::b.val;
      return 0;
  }
  

• 将b绑定到引用：

  int main() {
      B& b_ref = A<int>::b; // 触发odr-use
      b_ref.val;
      return 0;
  }
  

修改后，Clang会正确执行B的构造函数并输出1，与GCC行为一致。

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