非模板类与模板类的多个定义

Question

为什么编译器抱怨在多个.cpp文件中定义的非模板类，但是对于模板类来说很好，其定义在各种.cpp文件中重复（通过包含类的.inl文件），即使class是否在多个.cpp文件中显式实例化？

Answer 1

非模板情况是因为在那种情况下，您的程序违反了一个定义规则，因此链接器（而不是编译器）会抱怨多个定义。

另一方面，对于模板，该语言指定这必须起作用，链接器会指出要做什么。 我不是100％确定是否应该将显式模板实例化视为非模板函数。

Answer 2

模板函数是内联的，只要每个定义相同，就允许在多个编译单元中定义内联函数。

Answer 3

所有编译器总是抱怨吗？ 我从来没有见过一个做过的，标准不允许它：只要所有定义都相同，你就可以在每个翻译单元中定义一个类或模板一次。 实际上，您需要在每个使用它的翻译单元中定义该类，使其成为一个完整的类型。 C ++没有任何将类定义导出到其他翻译单元的机制。

你确定你没有把功能混淆。 除非是内联函数，否则不允许多次定义函数。 您仍然需要在每个使用它的翻译单元中定义一个函数模板，并且相同的规则适用于函数模板以及类和类模板。

请注意，如果违反这些规则，通过在多个转换单元中定义函数，或者类或模板的定义不是标记相同的（在预处理之后，包括名称绑定），那么您将具有未定义的行为。 编译器（实际上是链接器）可能会抱怨它，但它不是必需的：大多数抱怨函数的多个定义，但我不知道在转换单元之间类或模板定义不同时会有什么抱怨。