编译器是如何实现重载的？

目录

前言

一、C 语言中的符号表

二、C++ 中的函数名修饰

三、编译过程中的处理

---

前言

在 C++ 中，函数重载允许我们定义多个同名但参数不同的函数。编译器如何区分这些同名的函数呢？这涉及到一个叫“函数名修饰（name mangling）”的机制。

在 C++ 中，编译器通过函数名修饰来支持函数重载。虽然我们看到的函数名相同，但编译器会基于函数的参数和返回类型生成唯一的符号名，从而避免冲突和歧义。

这种机制允许 C++ 程序员定义多个同名但参数不同的函数，而编译器可以根据不同的调用上下文找到对应的函数。

一、C 语言中的符号表

在 C 语言中，函数的符号表记录的是函数名，用它来存储每个函数的地址。比如：

void myFunction() {
    // code
}

编译器会把 myFunction 的地址存储在符号表里。

假设我们尝试在 C 中重载函数：

void myFunction(int x) {
    // code
}

void myFunction(double y) {
    // code
}

因为 C 语言的符号表只根据函数名来记录函数地址，两个同名的函数 myFunction 会有相同的符号名。这会导致冲突和歧义，编译器无法区分它们。

二、C++ 中的函数名修饰

为了支持函数重载，C++ 采用了一种叫做函数名修饰的机制。它不仅使用函数名，还结合参数类型、返回类型等信息生成唯一的符号名。

例如：

void myFunction(int x);
void myFunction(double y);

在 C++ 中，这两个函数不会有相同的符号名。编译器会对它们进行“修饰”，生成不同的符号。比如，它可能将：

• void myFunction(int) 修饰为 myFunction_int
• void myFunction(double) 修饰为 myFunction_double

这样，虽然我们在代码中看到的函数名相同，但在编译器生成的符号表里，它们的符号名是不同的，因此编译器能够正确区分它们。这就是函数重载能够在 C++ 中实现的原因。

三、编译过程中的处理

1. 编译时的符号表记录：当编译器遇到函数定义时，它会将函数的修饰后的名字存入符号表。如果一个函数在使用之前未被定义，编译器可能会标记该符号为暂时未知的 ?，表示这个符号稍后会被解析。
2. 链接阶段的符号解析：在链接阶段，编译器会将那些暂时未知的符号（?）解析成实际的函数地址。如果所有符号能够成功解析，编译完成；否则会报错。