类模板成员专业化

Question

我正在像这样的头文件中专门研究模板类的成员函数：

#pragma once

#include <iostream>

template<class T>
struct Test
{
    void Print() { }
};

template<>
void Test<int>::Print()
{
    std::cout << "int" << std::endl;
}

将专门化放在头文件中（没有内联）是否正确，还是应该在cpp文件中？ 如上所示，它可以正常编译（使用VS2012），但是我很惊讶我没有遇到多个定义链接器错误。

Answer 1

在ODR需要用于非内联函数是ODR使用的 （即连鳍鲑意味着，功能，被称为潜在）正好一个定义。

引用n3485，[basic.def.odr]

⁴每个程序应准确地包含该程序中使用的每个非内联函数或变量的一个定义； 无需诊断。

然后，有一个模板例外（即，函数除外）：

⁶类类型的定义，类模板，非静态函数模板，类模板的静态数据成员，类模板的成员函数或具有某些模板参数的模板专门化可以有多个定义。 程序中未指定 [...]

[强调我的]

模板的显式专门化不是模板。 例如，一个显式专门的类模板是一个类（名称很奇怪）。 因此，您的假设是正确的，并且类模板的显式专门成员的多个定义违反了ODR。

使用g ++ 4.8.1，我什至在这样的程序中收到一个链接器错误。 请注意，我已经使用ODR了该功能。 违反ODR不需要诊断。

Answer 2

将特殊化放在标头文件中是规范形式（就像boost一样），它没有违反ODR。