全局/命名空间作用域变量模板存储类的编译器合规性探究

问题背景 #

以下是用于理清存储类相关概念的C++代码片段：

#include <iostream>

template<typename T> T pi;
template<> extern int pi<int>;

int main() {
    std::cout << pi<int> << '\n';
}

不同编译器对这段代码的处理存在差异：

• GCC编译报错：explicit template specialization cannot have a storage class
• Clang可通过编译，但链接阶段提示「未定义引用」；若修改为template<> extern int pi<int>{3};，链接错误消失，但会触发extern变量初始化的警告（非模板变量的此写法属于错误）
• MSVC可正常完成编译与链接

疑问：哪个编译器的行为符合C++标准？原因是什么？

注：实际代码中会将特化声明为inline constexpr的形式。

标准合规性分析 #

根据C标准（以C20为例，条款[temp.expl.spec]第12段）：

显式特化不得带有存储类说明符，除非被声明为inline或static。

基于此条款分析各编译器行为：

1. GCC的行为符合标准：代码中template<> extern int pi<int>;使用了extern作为存储类说明符，违反了标准规定，因此GCC在编译阶段直接报错，是正确的处理方式。
2. Clang的行为不符合标准：它未阻止extern存储类说明符用于显式模板特化，违反了标准要求；后续修改后的写法中，extern搭配初始化的操作，即便给出警告而非错误，同样不符合标准对显式特化存储类的限制。
3. MSVC的行为不符合标准：它允许带有extern的显式模板特化通过编译并链接，违反了标准中关于显式特化存储类的约束。

另外，你提到的inline constexpr显式特化是符合标准的——inline是标准允许用于显式特化的存储类说明符，constexpr用于指定变量的常量属性，二者组合的写法合法。

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