c++ - 当显式模板实例化定义先于显式声明时，GCC 和 clang 不同意

Question

请看下面的代码:

#include <vector>

template class std::vector<int>;
extern template class std::vector<int>;

int main() {}

虽然 GCC 5.2 编译正常，但 clang 3.6 给出了以下错误消息:

main.cpp:4:28: error: explicit instantiation declaration (with 'extern') follows explicit instantiation definition (without 'extern')
extern template class std::vector<int>
                           ^
main.cpp:3:21: note: explicit instantiation definition is here
template class std::vector<int>
                    ^
1 error generated.

还是对于下面的代码

template <typename T>
void f() {}

template void f<int>();
extern template void f<int>();

int main() {}

GCC 和 clang 都出错了。 GCC 的消息是

main.cpp:5:29: error: duplicate explicit instantiation of 'void f() [with T = int]' [-fpermissive]
 extern template void f<int>();

clang 的那个是

main.cpp:5:22: error: explicit instantiation declaration (with 'extern') follows explicit instantiation definition (without 'extern')
extern template void f<int>();
                     ^
main.cpp:4:15: note: explicit instantiation definition is here
template void f<int>();
              ^
1 error generated.

这两个家伙是怎么回事？标准是否禁止显式模板实例化声明之前有显式定义？这对我来说没什么意义。毕竟，先定义再声明有什么害处呢？想想非模板函数的情况。

Answer 1

来自 [temp.explicit]/11

If an entity is the subject of both an explicit instantiation declaration and an explicit instantiation definition in the same translation unit, the definition shall follow the declaration.

GCC 也应该为第一个示例提供错误。

相关bug从 2008 年开始，GCC 似乎在检测类错误时出现问题，以下内容也被遗漏

template <typename T> class f {};

template class f<int>;
extern template class f<int>;

int main() {}