.cpp 文件中的模板专业化 + .h 文件中的主模板声明

Question

根据 https://eel.is/c++draft/temp.expl .spec#7：

如果模板、成员模板或类模板的成员是显式特化的，则该特化的声明应可从该特化的每次使用中访问，这将导致在每个翻译单元中发生隐式实例化。发生这种使用的情况；无需诊断。

因此我想知道，以下程序是否格式错误，NDR？

// foo.h
template <typename T>
void foo();

// Specialization not declared in the header!

// foo.cpp
#include "foo.h"

template <>
void foo<int>()
{
 // ...
}

// main.cpp
#include "foo.h"

int main()
{
    foo<int>();
}

Answer 1

看起来这个确切的案例包含在标准委员会的“已关闭问题列表”中，您可以阅读

长话短说：

理由（2016 年 3 月）：

正如分析中所述，其目的是让示例变得不好->已形成，无需诊断。

请注意，您可以找到很多与此非常相似的问题。例如，我发现这个，其中一位回答者引用了工作组讨论。

Answer 2

因此我想知道，以下程序是否格式错误，NDR？

这是。经过所有预处理后，这是 main.cpp：

template <class> void foo(); // forward declaration of templated entity

int main() {
  foo<int>(); // Implicit instantiation: Ill Formed; No diagnosis required.
}

您可能会收到类似链接器错误：undefined reference to 'void foo()'。
您可能不会收到错误（预编译头、动态库...）

为什么不需要诊断？
第4阶段：预处理（上面的代码是在这个阶段形成的）
第 7 阶段：编译（生成翻译单元）
第 8 阶段：模板实例化发生
第九阶段：最后一个阶段。这是找到（或未找到）函数定义并将其链接到可执行文件的时间

请参阅：翻译阶段