为什么在标头结构中声明的模板不违反 ODR 而专业化呢？答案

【问题标题】：Why templates declared in the struct on the header dont violate ODR and specialization does?为什么在标头结构中声明的模板不违反 ODR 而专业化呢？
【发布时间】：2017-04-10 13:13:13
【问题描述】：

我有这个代码：

#include <iostream>

struct A
{
    template<typename T> bool isImplemented()
    {
                std::cout << "Not Implemented" << std::endl;
                return false;
    }
};

template<> inline bool A::isImplemented<int>()
{
    std::cout << "int Implemented" << std::endl;
    return true;
}

我可以理解为什么模板特化需要内联，为了防止违反ODR，内联会合并翻译表以避免冲突。

但是，为什么我不需要在结构 A 内的 isImplemented 上进行内联？也许这个问题可以扩展到，为什么如果方法是在标题的结构/类中声明的，它不需要内联？据我所知，它会在它调用的每个目标文件 (.o) 上创建符号，违反 ODR，为什么不会发生这种情况？

【问题讨论】：

任何带有模板参数的东西本质上都是隐含的inline。
模板特化是一个函数。模板就是模板。模板不是函数，反之亦然。模板遵循不同的规则。
@KerrekSB 实际上有很大帮助，谢谢。我在试图理解为什么我只需要专业化时遇到问题。我想这与声明友元运算符时应用的规则相同，并且您需要使用 inline 以防止违反 ODR，对吧？

标签： c++ templates one-definition-rule

【解决方案1】：

你不需要它有两个原因：

类定义中定义的每个函数都是隐式的inline。
模板不需要inline 关键字。请记住，您的原始函数是模板，而专业化不是。

【讨论】：

【解决方案2】：

这里要强调的一点是template<typename T> bool isImplemented() 不是函数。它是函数的模板，并且只有在专门化后才会存在（作为代码），就像您对 template<> inline bool A::isImplemented<int>() 所做的那样。

这里的inline 不是强制性的。没有它，程序可以完美编译和运行。

奇怪的是，您的 struct A 既不依赖于任何模板参数，也不依赖于 isImplemented() 方法，所以我仍在试图弄清楚您的意图。

您的函数的简单用法可能如下所示：

int  main( )
{
    A a;

    a.isImplemented< int >( );
    a.isImplemented< double >( );
}

还有输出：

int Implemented
Not Implemented

基本上，您可以从通用专业中分辨出您已明确实现的专业。是你需要的吗？

编辑：

鉴于对我的回答的评论，我相信原始问题在这里得到了很好的回答：

【讨论】：

其实这是我为了理解内联和ODR而写的代码。这就是为什么它是这样的。它来自一个问题，我很久以前试图根据返回类型专门化某些东西。