类模板中已初始化未使用的const int静态数据成员是否必须实例化？

示例代码 #

template <typename T>
struct S {
  static void m() {}
  static const int c = sizeof(T);
};

struct A;

int main()
{
  S<A>::m();
  return 0;
}

编译行为分歧 #

上述代码中，S<A>::c是类模板内已初始化但未被任何代码使用的const int静态数据成员，不同编译器的处理结果存在差异：

• Clang-17与MSVC-19会实例化c，由于A是不完全类型，sizeof(T)无法完成常量求值，因此编译报错
• GCC-13则接受该代码，不会对c进行隐式实例化

标准条款分析 #

根据C++17标准[temp.inst]第3段：除非类模板成员被显式实例化或特化，否则仅当成员的定义存在会影响程序语义时，才会被隐式实例化；特别地，静态数据成员的初始化仅在其被使用到需要定义存在时才会发生。

[temp.inst]第7段补充：变量或函数的定义存在影响语义的情况包括需用于常量求值，但本示例中c未被任何代码引用，显然不适用这条规则。

另外[class.static.data]第3段规定：非volatile非inline的const静态整型数据成员可在类内用常量表达式初始化。如果将c的定义移到类外，所有编译器都会接受这段代码。

结论 #

结合标准条款分析，S<A>::c确实不应被隐式实例化，因此GCC-13的行为符合C++17标准，而Clang和MSVC的处理存在偏差。

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