链接器如何找到正确的文件来使用它的函数声明?

how the linker find the right file to use it's function declaration?

本文关键字:函数 声明 文件 何找 链接      更新时间:2023-10-16

在一个简单的程序中,使用函数doSomething()打印出一个"你好,世界"。我只在main.cpp文件中键入了该函数的原型,并在另一个名为do.cpp.的文件中键入该函数的声明

当我编译程序时,即使我没有指定doSomething()的声明将是哪个文件,它也能正常运行。

在函数声明定义的概念中似乎存在一些混淆
函数的声明是函数的原型
例如:

void doSomething();

而定义是函数的主体
例如:

 void doSomething()
 {
 }

通常,声明位于头文件中,定义位于cpp文件中。

编译器使用声明来匹配被调用函数的参数,而链接器则将定义链接到被调用函数。

编译是将源文件编译为对象文件的过程
在链接过程中,链接器使用所有对象文件来生成可执行文件。链接器可以访问不同的对象文件,因此可以访问其他文件中定义的函数的定义。只要函数名是唯一的,链接器就会很乐意链接到该特定的定义,如果链接器找到两个以上的匹配项,则您的程序会破坏一个定义规则并报告多个定义错误。

此外,请注意,只有当函数被调用时,链接器才需要使用(链接)函数定义,如果您的程序只声明了一个函数,不提供定义,也从不使用(调用)函数,则不会有任何错误。

在查找函数的定义时,链接器只会考虑您链接的所有文件。

不可能针对定义相同名称函数的多个对象文件进行链接,因此不存在歧义。