目录
前言
在 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++ 中实现的原因。
三、编译过程中的处理
- 编译时的符号表记录:当编译器遇到函数定义时,它会将函数的修饰后的名字存入符号表。如果一个函数在使用之前未被定义,编译器可能会标记该符号为暂时未知的
?
,表示这个符号稍后会被解析。 - 链接阶段的符号解析:在链接阶段,编译器会将那些暂时未知的符号(
?
)解析成实际的函数地址。如果所有符号能够成功解析,编译完成;否则会报错。