14.7 / 5说
5 For a given template and a given set of template-arguments,
an explicit instantiation definition shall appear at most once in a program,
an explicit specialization shall be defined at most once in a program (according to 3.2), and
both an explicit instantiation and a declaration of an explicit specialization shall not appear in a program unless the explicit
instantiation follows a declaration of the explicit specialization.
An
implementation is not required to diagnose a violation of this rule.
第二点适用于您的情况. 3.2中定义的ODR可以说相同的内容,尽管形式较少.
无论在何处以及如何定义成员函数的非专业版本,专业版本定义
template <> bool TestClass::MemberFunction()
{
return true;
};
必须进入一个.cpp文件.如果保留在头文件中,则一旦将头包含到多个翻译单元中,它将产生违反ODR的行为. GCC可以可靠地检测到这种违规行为. MSVC在这方面似乎不太可靠.但是,正如上面的引用所述,不需要执行即可诊断是否违反了此规则.
头文件应仅包含该专业化的未定义声明
template <> bool TestClass::MemberFunction();
在MSVC中错误的出现或消失的事实取决于看似无关的因素,例如如何定义函数的非专业版本,这必须是MSVC编译器的怪癖.
经过进一步的研究,似乎MSVC实现实际上已被破坏:其行为超出了语言规范所提供的“无需诊断”许可所允许的范围.
您在实验中观察到的行为与以下行为一致:将主要功能模板声明为内联会自动使该模板的显式特化也内联.事实并非如此.在14.7.3 / 14中,语言规范规定
An explicit specialization of a function template is inline only if it
is declared with the inline specifier or defined as deleted, and
independently of whether its function template is inline.