我想准确了解程序编译器查看的是哪个部分，链接器查看的是哪个部分。所以我写了下面的代码:

#include <iostream>
using namespace std;
#include <string>

class Test {
private:
    int i;

public:
    Test(int val) {i=val ;}
    void DefinedCorrectFunction(int val);
    void DefinedIncorrectFunction(int val);
    void NonDefinedFunction(int val);

    template <class paramType>
    void  FunctionTemplate (paramType val) { i = val }
};

void Test::DefinedCorrectFunction(int val)
{
    i = val;
}

void Test::DefinedIncorrectFunction(int val)
{
    i = val
}

void main()
{
    Test testObject(1);
    //testObject.NonDefinedFunction(2);
    //testObject.FunctionTemplate<int>(2);

}

我有三个功能:

• DefinedCorrectFunction - 这是一个正确声明和定义的普通函数。

• DefinedIncorrectFunction - 此函数声明正确但实现错误(缺少 ;)

• NonDefinedFunction - 仅声明。没有定义。

• FunctionTemplate - 函数模板。

  现在，如果我编译这段代码，我会得到一个编译器错误，因为 DefinedIncorrectFunction 中缺少“;”。
  假设我解决了这个问题，然后注释掉了 testObject.NonDefinedFunction(2)。现在我收到链接器错误。 现在注释掉 testObject.FunctionTemplate(2)。现在我收到缺少“;”的编译器错误。

对于函数模板，我知道它们不会被编译器触及，除非它们在代码中被调用。所以缺少';'在我调用 testObject.FunctionTemplate(2) 之前，编译器不会提示。

对于 testObject.NonDefinedFunction(2)，编译器没有提示，但链接器提示了。据我了解，所有编译器都关心的是知道这是一个 NonDefinedFunction 函数声明。它不关心实现。然后链接器提示说找不到实现。到目前为止一切顺利。

我感到困惑的地方是编译器提示 DefinedIncorrectFunction。它没有寻找 NonDefinedFunction 的实现，而是通过了 DefinedIncorrectFunction。

所以我不太清楚编译器到底做了什么以及链接器做了什么。我的理解是链接器将组件与其调用联系起来。因此，当调用 NonDefinedFunction 时，它会查找 NonDefinedFunction 的编译实现并提示。但是编译器并不关心 NonDefinedFunction 的实现，而是关心 DefinedIncorrectFunction。

如果有人可以对此进行解释或提供一些引用，我将不胜感激。

谢谢。

最佳答案

编译器的作用是编译您编写的代码，并将其转换为目标文件。因此，如果您错过了 ; 或使用了 undefined variable ，编译器会报错，因为这些都是语法错误。

如果编译顺利进行，object files被生产。目标文件结构复杂但基本包含五样东西

1. header - 有关文件的信息
2. 目标代码 - 机器语言代码(大多数情况下该代码无法自行运行)
3. 重定位信息 - 实际执行时代码的哪些部分需要更改地址
4. 符号表 - 代码引用的符号。它们可以在此代码中定义，从其他模块导入或由链接器定义
5. 调试信息 - 调试器使用

编译器编译代码并用它遇到的每个符号填充符号表。符号指的是变量和函数。 This question的答案解释符号表。

This contains a collection of executable code and data that the linker can process into a working application or shared library. The object file has a data structure called a symbol table in it that maps the different items in the object file to names that the linker can understand.

注意事项

If you call a function from your code, the compiler doesn't put the final address of the routine in the object file. Instead, it puts a placeholder value into the code and adds a note that tells the linker to look up the reference in the various symbol tables from all the object files it's processing and stick the final location there.

生成的目标文件由链接器处理，链接器将填充符号表中的空白，将一个模块链接到另一个模块，最后给出可由加载器加载的可执行代码。

所以在你的具体情况下 -

1. DefinedIncorrectFunction() - 编译器获取函数的定义并开始编译它以生成目标代码并将适当的引用插入符号表。编译因语法错误而失败，因此编译器因错误而中止。
2. NonDefinedFunction() - 编译器得到声明但没有定义，所以它向符号表添加一个条目并标记链接器以添加适当的值(因为链接器将处理一堆目标文件，这个定义可能存在于某些其他目标文件)。在您的情况下，您没有指定任何其他文件，因此链接器中止并出现 undefined reference to NonDefinedFunction 错误，因为它找不到对相关符号表条目的引用.

为了进一步理解它，假设您的代码结构如下

文件-try.h

#include<string>
#include<iostream>


class Test {
private:
    int i;

public:
    Test(int val) {i=val ;}
    void DefinedCorrectFunction(int val);
    void DefinedIncorrectFunction(int val);
    void NonDefinedFunction(int val);

    template <class paramType>
    void  FunctionTemplate (paramType val) { i = val; }
};

文件 try.cpp

#include "try.h"


void Test::DefinedCorrectFunction(int val)
{
    i = val;
}

void Test::DefinedIncorrectFunction(int val)
{
    i = val;
}

int main()
{

    Test testObject(1);
    testObject.NonDefinedFunction(2);
    //testObject.FunctionTemplate<int>(2);
    return 0;
}

让我们首先只编译和汇编代码但不链接它

$g++ -c try.cpp -o try.o
$

这一步没有任何问题。所以你在 try.o 中有目标代码。让我们尝试将其链接起来

$g++ try.o
try.o: In function `main':
try.cpp:(.text+0x52): undefined reference to `Test::NonDefinedFunction(int)'
collect2: ld returned 1 exit status

您忘记定义 Test::NonDefinedFunction。让我们在一个单独的文件中定义它。

文件- try1.cpp

#include "try.h"

void Test::NonDefinedFunction(int val)
{
    i = val;
}

让我们把它编译成目标代码

$ g++ -c try1.cpp -o try1.o
$

再次成功。让我们尝试只链接这个文件

$ g++ try1.o
/usr/lib/gcc/x86_64-redhat-linux/4.4.5/../../../../lib64/crt1.o: In function `_start':
(.text+0x20): undefined reference to `main'
collect2: ld returned 1 exit status

没有主所以不会链接!!

现在您有两个独立的目标代码，其中包含您需要的所有组件。只需将它们都传递给链接器，然后让它完成剩下的工作

$ g++ try.o try1.o
$

没有错误!!这是因为链接器找到所有函数的定义(即使它分散在不同的目标文件中)并用适当的值填充目标代码中的空白

关于C++:编译器和链接器功能，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9529571/