一个定义规则 - 内联函数的多个定义

Question

我正在阅读ODR,正如规则所说"In the entire program, an object or non-inline function cannot have more than one definition",我尝试了以下内容......

file1.cpp

#include <iostream>
using namespace std;

inline int func1(void){ return 5; }
inline int func2(void){ return 6; }
inline int func3(void){ return 7; }
int sum(void);

int main(int argc, char *argv[])
{
    cout << func1() << endl;
    cout << func2() << endl;
    cout << func3() << endl;
    cout << sum() << endl;
    return 0;
}

file2.cpp

inline int func1(void) { return 5; }
inline int func2(void) { return 6; }
inline int func3(void) { return 7; }
int sum(void) { return func1() + func2() + func3(); }

按规则说,它起作用了.我可以有多个内联函数的定义.

• 非内联函数链接和内联函数链接有什么区别？
• 链接器如何区分这两者？

Answer 1

使函数inline做两件事(第二点与你的问题更相关):

1. 程序员建议编译器快速调用此函数,可能是通过内联扩展.粗略地说,内联扩展类似于将内联函数视为宏,通过其主体代码扩展每个调用.这是一个建议 - 编译器可能不会(有时不能)执行这样的各种优化.

2. 它指定函数的范围是翻译单元的范围.因此,如果inline函数出现在foo.cpp(因为它是在其中写入,或者因为它#include是在其中写入的标题,在这种情况下,预处理器基本上就是这样).现在你编译foo.cpp,也可能还有一些其他的bar.cpp也包含一个inline具有相同签名的函数(可能是完全相同的一个;可能是由于两个#include相同的头).当链接器链接两个目标文件时,它不会被视为违反ODR,因为该inline指令使文件的每个副本都在其翻译单元本地(通过有效编译它创建的目标文件).这不是一个建议,它具有约束力.

将这两件事放在一起并非巧合.最常见的情况是inline函数出现在头文件#included中的几个源文件,可能是因为程序员想要请求快速内联扩展.但是,这需要转换单元位置规则,因此不应出现链接器错误.