c++ - 内联函数联动

Question

我无法理解以下行为:一个 header 具有一些基本类型，而另一个 header 中我在多个函数中使用了这些类型。之后，我开始根据我定义的类型和函数构建类。如果我留下以下签名，则在函数头中:

void whateverFunction(parameters)

链接器指出，whateverFunction 有多个定义。现在如果将其更改为:

inline void whateverFunction(parameters)

链接问题消失了，所有编译和链接都很好。我所知道的关于 inline 的是，它用它的代码替换了每个函数调用，而不是它非常黑暗，所以我的问题是:

链接器如何处理 C++ 中的内联函数？

Answer 1

当 header 中的函数不是内联函数时，该函数的多个定义(例如在多个翻译单元中)是违反 ODR 规则的。

默认情况下内联函数具有外部链接。因此，由于 ODR 规则(如下所示)，这样的多个定义(例如在多个翻译单元中)是可以的:

$3.2/5- "There can be more than one definition of a class type (Clause 9), enumeration type (7.2), inline function with external linkage (7.1.2), class template (Clause 14), non-static function template (14.5.6), static data member of a class template (14.5.1.3), member function of a class template (14.5.1.1), or template specialization for which some template parameters are not specified (14.7, 14.5.5) in a program provided that each definition appears in a different translation unit, and provided the definitions satisfy the following requirements. Given such an entity named D defined in more than one translation unit, then

— each definition of D shall consist of the same sequence of tokens; and [...]

链接器如何处理内联函数几乎是实现级别的细节。只要知道实现在 ODR 规则的限制范围内接受这样的多重定义就足够了

请注意，如果标题中的函数声明更改为“静态内联...”，则内联函数显式具有内部链接，并且每个翻译单元都有自己的静态内联函数拷贝。