为什么静态变量模板的特化会引发多重定义错误？

不同翻译单元（TU）中用static声明的实体具有内部链接，每个TU里的同名实体都是独立的，不会违反单一定义规则（ODR）。静态模板函数的显式特化也遵循这个逻辑，但变量模板的显式特化却会触发多重定义错误——g++和clang对下面的代码判定一致：函数特化可正常编译，变量特化却报错。

测试代码（a.cpp和b.cpp均包含以下内容） #

template <typename T> static void foo() {}
template <> void foo<int>() {} // 编译正常

template <typename T> static void* ptr = nullptr;
template <> void* ptr<int> = nullptr; // 报错：multiple definition of `ptr<int>'

static int a = 0; // 编译正常

差异原因及C++标准依据 #

1. 静态模板函数的显式特化：自动继承内部链接

根据C++标准**[temp.expl.spec]/12**条款：具有内部链接的函数模板的特化，是一个具有内部链接的函数。
主模板foo被static声明为内部链接，因此它的显式特化foo<int>()自动继承内部链接属性。每个TU里的foo<int>()都是独立的实体，不会产生ODR冲突。

2. 变量模板的显式特化：默认外部链接

根据C++标准**[temp.expl.spec]/13条款：变量模板的显式特化（非偏特化）是一个普通变量，其链接属性由[basic.link]条款决定。
而[basic.link]/3**条款规定：只有被显式声明为static的变量才具有内部链接。这里的变量模板特化ptr<int>没有显式添加static修饰，因此默认具有外部链接。当多个TU都定义这个外部链接的变量时，就违反了ODR，触发多重定义错误。

如果要让变量模板特化也拥有内部链接，需要显式添加static：

template <> static void* ptr<int> = nullptr; // 编译正常

3. 普通static变量的对比

普通static int a = 0属于**[basic.link]/3**中明确的内部链接变量，每个TU里的a都是独立实体，自然不会冲突。

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