C++17跨翻译单元定义与使用模板变量特化的标准写法

代码背景 #

data.h 内容 #

template <class T>
struct Data
{
    Data() = delete;
    Data(T initValue) : value(initValue){}
    T value;
};

template<class T>
extern Data<T> data;

data_def.cpp 内容 #

#include "data.h"
template<>
Data<int> data<int>{55};

main.cpp 内容 #

#include <iostream>
#include "data.h"
int main() {
    std::cout << data<int>.value << "\n";
    return 0;
}

上述代码在GCC中可正常编译运行，但Clang会触发警告：warning: instantiation of variable 'data' required here, but no definition is available [-Wundefined-var-template]，推测Clang要求必须在使用前声明模板变量的特化。

现需明确：依据C++17标准，如何在一个翻译单元定义模板变量特化，并在另一个翻译单元中合法使用？若需要特化声明，正确的语法是什么？

注：仅可使用C++17标准；尝试过template<> extern Data<int> data<int>;语法，但GCC不支持，Clang开发者也计划弃用该写法；有用户提出用inline作为临时方案，但这并非完整解决方案。

标准合规的解决方案 #

根据C++17标准，要让模板变量特化跨翻译单元被正确识别，需要在头文件中对目标特化进行显式声明，正确的语法是在data.h中添加特化的声明性定义：

修改后的data.h #

template <class T>
struct Data
{
    Data() = delete;
    Data(T initValue) : value(initValue){}
    T value;
};

template<class T>
extern Data<T> data;

// 显式声明int类型的模板变量特化
template<> Data<int> data<int>;

原理说明 #

根据C++17标准[temp.expl.spec]/12条款：

函数模板、变量模板、成员函数模板，或类模板的成员函数/静态数据成员的声明，必须在该模板的显式特化的实例化点处可见。

直白来说，当代码中使用data<int>时，编译器需要看到这个特化的声明，才会放弃实例化原模板，转而链接到data_def.cpp中定义的特化版本，避免触发未定义的警告或错误。

修改后代码验证 #

修改后的data_def.cpp和main.cpp保持不变，此时GCC和Clang均可正常编译运行，且完全符合C++17标准，不会触发任何警告。

关于inline方案的补充说明 #

用inline修饰模板变量特化（template<> inline Data<int> data<int>{55};）确实能让代码在两个编译器中通过，但这是将特化变为内联变量，允许多个翻译单元重复定义，和原本“单定义、多引用”的需求场景不完全匹配，因此并非标准下的完整解决方案。

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