使用点之后模板函数的特化会破坏编译

Question

考虑下一个示例：

#include <iostream>

template< int a >
void foo();

int main(int argn, char* argv[])
{
    foo<1>();
}

template<>
void foo<1>()
{
    std::cout<<1<<std::endl;
}

编译失败并显示下一个错误消息：

rg.cpp:12: error: specialization of ‘void foo() [with int a = 1]’ after instantiation

标准中的哪一段解释了此错误？

PS：我知道如果我将函数定义移到 main 前面将使错误消失。

Answer 1

我认为根据标准，这是未定义的行为。在 UB 的情况下，工具链可以做什么没有限制，生成编译器错误是更友好的可能性之一。

---

[temp.spec] 部分，14.7p5 说

对于给定的模板和给定的一组模板参数，

• 显式实例化定义在程序中最多出现一次，
• 显式专业化最多应在程序中定义一次（根据 3.2），并且
• 显式实例化和显式专业化声明都不应出现在
  除非显式实例化遵循显式专业化声明。

不需要实施来诊断是否违反此规则。

[temp.expl.spec] 14.7.3p6 节说：

如果模板、成员模板或类模板的成员被显式特化，则应在第一次使用该特化之前声明该特化，这将导致发生隐式实例化，在发生这种使用的每个翻译单元中；无需诊断。

---

您的程序违反了这些要求。