C++ 实现函数重载原理

函数重载

函数重载:是函数的一种特殊情况，C++ 允许在同一作用域中声明几个功能类似的同名函数，这些同名函数的形参列表(参数个数 或 类型 或 顺序)必须不同，常用来处理实现功能类似数据类型不同的问题

原理

Name Mangling 是一种在编译过程中，将函数、变量的名称重新改编的机制，简单来说就是编译器为了区分各个函数，将函数通过某种算法，重新修饰为一个全局唯一的名称

int Add(int left, int right) 
{
    return left+right; 
}
double Add(double left, double right) 
{
    return left+right; 
}
long Add(long left, long right)
{
    return left+right; 
}
int main()
{
    Add(10, 20);
    Add(10.0, 20.0);
    Add(10L, 20L);
    return 0; 
}

1. C语言的名字修饰规则非常简单，只是在函数名字前面添加了下划线
   编译器报错：
   error LNK2019: 无法解析的外部符号 _Add，该符号在函数 _main 中被引用
   上述Add函数只给了声明没有给定义，因此在链接时就会报错，提示：在main函数中引用的Add函数找不到函数体。从报错结果中可以看到，C语言只是简单的在函数名前添加下划线，因此当工程中存在相同函数名的函数时，就会产生冲突
2. 由于C++要支持函数重载，命名空间等，使得其修饰规则比较复杂，不同编译器在底层的实现方式可能都有差异
   在vs下，对上述代码进行编译链接，最后编译器报错：
   error LNK2019: 无法解析的外部符号 “double cdecl Add(double,double)” (?Add@@YANNN@Z)
   error LNK2019: 无法解析的外部符号 “int __cdecl Add(int,int)” (?Add@@YAHHH@Z)
   通过上述错误可以看出，编译器实际在底层使用的不是 Add 名字，而是被重新修饰过的一个比较复杂的名字，被重新修饰后的名字中包含了：函数的名字以及参数类型。只要参数列表不同，编译器在编译时通过对函数名字进行重新修饰，将参数类型包含在最终的名字中，就可保证名字在底层的全局唯一性