内联是否确定内部链接？

Question

我试图外部内联函数。我认为它应该如何工作：

//a.cpp
inline void f(int) {}
//b.cpp
extern void f(int);
int main() { f(4); }

但是出现链接错误。然后通过阅读此内容（“ 1inline ” ，必须在每个翻译单元中声明它。）。我试过的

//a.cpp
inline void f(int) {}
//b.cpp
extern inline void f(int);
int main() { f(4); }

仍然出现链接错误。但是现在，尝试一些我不知道自己在做什么的事情：

//a.cpp
extern inline void f(int) {}
//b.cpp
extern inline void f(int);
int main() { f(4); }

有用。这里发生了什么事？之前加入extern的一切，f在a.cpp有内在联系？

我正在将MSVC 2017（v141）与/permissive-和/std:c++17

Answer 1

我正在尝试 extern 一个内联函数。

没有理由extern与函数一起使用。请参阅存储期限-链接。函数默认有外部联动；为了没有外部链接，需要做一些特殊的事情（即把它放在一个匿名命名空间中或声明它static）。所以内联函数的正常使用已经展示了不需要extern关键字的外部链接。

我认为它应该如何工作：

//a.cpp
inline void f(int) {}
//b.cpp
extern void f(int);
int main() { f(4); }

然后通过阅读这个（“ 1）它必须inline在每个翻译单元中声明。 ”）。

该参考文献是正确的，但多看看它说“内联函数的定义 [...] 必须存在于访问它的翻译单元中 [...]”。您的示例有fin声明b.cpp，但没有定义。如果您要调用ffrom b.cpp，则需要该翻译单元中的完整定义，如下所示：

inline void f(int) {}

（这与 中存在的代码相同a.cpp。）如果去掉大括号，那么您有一个声明但没有定义，这使得f从该翻译单元调用是非法的。

基本上，除非你给它内部链接，否则在头文件之外定义一个内联函数真的很痛苦。这是因为使用内联函数的每个源文件都需要自己的函数体副本，这意味着如果您更改函数，则需要在多个文件中进行更改。钱币。不要这样做。inline在头文件中定义每个函数。如果您想在源文件中定义一个，您可能会误解“ inline”的含义。

“ inline”是什么意思？

就编译器而言，inline关键字（几乎）没有任何意义。它只是函数定义上的一个标志，它被传播到目标代码中，以便链接器看到它。编译器像处理任何其他函数一样处理该函数。该函数可以正常调用，也可以被内联调用——就像任何其他函数一样。

编译器可能对inline标志做某事的一种情况是当一个函数被声明时inline，被使用，但缺少定义。这是一个可以在链接器接管之前捕获的错误。它不具有由编译器捕获，但它可以。（如果没有被编译器捕获，它将被链接器捕获。）

进入链接阶段。当链接器看到该inline标志时，它会暂停该函数的单一定义规则。链接器希望在编译器优化后仍使用该函数的每个翻译单元中看到该函数的定义。它可以选择这些定义中的任何一个作为最终实现。因此，所有定义都必须匹配的原因。

就是这样。的inline关键字基本上意味着函数定义为一个头文件。它告诉链接器在多个翻译单元中出现该定义时不要抱怨，因为这是预期的。

回到这个问题，看起来意图是声明一个inline函数，其定义只会出现在一个翻译单元中。换句话说，函数将被标记为在多个翻译单元中定义，但定义将仅在一个翻译单元中。有点不一致，如果不是完全矛盾的话。