能否未特化类模板时特化其inline静态数据成员？编译器差异及解决方案

我编写了如下代码，可通过Clang编译，但GCC和MSVC均拒绝编译：

#include <iostream>
#include <iomanip>
//wrapper 
template<typename T>
struct Wrapper
{
    inline static T value{};
    
};

template<> int Wrapper<int>::value = 42;         //clang:OK, gcc:Nope, MSVC:Nope
template<> double Wrapper<double>::value = 3.14; //clang:OK, gcc:Nope, MSVC:Nope

int main()
{
    
}

GCC报错信息：

<source>:11:30: error: duplicate initialization of 'Wrapper<int>::value'
   11 | template<> int Wrapper<int>::value = 42;
      |                              ^~~~~
<source>:12:36: error: duplicate initialization of 'Wrapper<double>::value'
   12 | template<> double Wrapper<double>::value = 3.14;
      |     

哪个编译器的行为符合C++标准？ #

GCC和MSVC的行为符合C++标准，Clang的行为属于非标准扩展。

原因在于：

• C++17及以后标准规定，inline静态数据成员的类内声明即为定义。对于通用模板Wrapper<T>，inline static T value{};已经是Wrapper<T>::value的定义。
• 当编写template<> int Wrapper<int>::value = 42;时，这是对Wrapper<int>::value的显式特化定义，而通用模板实例化后，Wrapper<int>的value已经存在一个inline定义，这就导致了重复定义，违反了C++的单定义规则（ODR）。

解决方法 #

方法1：移除类内的inline，分离声明与定义 #

把类内的inline去掉，类内仅做声明，在类外提供通用模板静态成员的定义，之后再写显式特化的定义：

#include <iostream>
#include <iomanip>

template<typename T>
struct Wrapper
{
    static T value; // 仅声明，移除inline
};

// 通用模板静态成员的定义
template<typename T>
T Wrapper<T>::value{};

// 显式特化的定义，无冲突
template<> int Wrapper<int>::value = 42;
template<> double Wrapper<double>::value = 3.14;

int main()
{
    
}

方法2：对整个类模板进行显式特化 #

直接特化整个Wrapper类，在特化类中重新定义inline静态成员：

#include <iostream>
#include <iomanip>

template<typename T>
struct Wrapper
{
    inline static T value{};
};

// 特化整个Wrapper<int>类
template<>
struct Wrapper<int>
{
    inline static int value = 42;
};

// 特化整个Wrapper<double>类
template<>
struct Wrapper<double>
{
    inline static double value = 3.14;
};

int main()
{
    
}

方法3：特化成员时添加inline（兼容性稍弱） #

如果要保留通用模板的inline，可以在特化成员时也添加inline，确保特化的定义符合inline规则：

#include <iostream>
#include <iomanip>

template<typename T>
struct Wrapper
{
    inline static T value{};
};

// 特化成员时添加inline
template<> inline int Wrapper<int>::value = 42;
template<> inline double Wrapper<double>::value = 3.14;

int main()
{
    
}

注：这种写法兼容性不如前两种，更推荐使用方法1或2。

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