【C++】C++函数重载原理与extern “C“详解

1. 函数重载

自然语言中，一个词可以有多重含义，人们可以通过上下文来判断该词真实的含义，即该词被重载了。

比如：以前有一个笑话，国有两个体育项目大家根本不用看，也不用担心。一个是乒乓球，一个是男足。前者是“谁也赢不了！”，后者是“谁也赢不了！”

1.1 函数重载概念

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

// 函数重载：函数名相同，参数不同（参数类型 or 参数个数 or 参数顺序）

// 1.参数类型不同
int Add(int left, int right)
{
        cout << "int Add(int left, int right)" << endl;
        return left + right;
}
double Add(double left, double right)
{
        cout << "double Add(double left, double right)" << endl;
        return left + right;
}
// 2、参数个数不同
void f()
{
        cout << "f()" << endl;
}
void f(int a)
{
        cout << "f(int a)" << endl;
}
// 3、参数类型顺序不同
void f(int a, char b)
{
        cout << "f(int a,char b)" << endl;
}
void f(char b, int a)
{
        cout << "f(char b, int a)" << endl;
}
int main()
{
        // 调用时可以通过传入的参数自己识别需要使用的函数
        Add(10, 20);
        Add(10.1, 20.2);
        f();
        f(10);
        f(10, 'a');
        f('a', 10);
        return 0;
}

对于上面代码演示的重载的函数，返回值没有任何要求(相同也可以，不同也可以)。但需要注意：如果只有返回值不同，不能构成重载，编译会报错。

1.2 C++支持函数重载的原理--名字修饰(name Mangling)

为什么C++支持函数重载，而C语言不支持函数重载呢？

在C/C++中，一个程序要运行起来，需要经历以下几个阶段：预处理、编译、汇编、链接。

1. 实际项目通常是由多个头文件和多个源文件构成，而通过C语言阶段学习的编译链接，我们可以知道，【当前a.cpp中调用了b.cpp中定义的Add函数时】，编译后链接前，a.o的目标文件中没有Add的函数地址，因为Add是在b.cpp中定义的，所以Add的地址在b.o中。那么怎么办呢？

2. 所以链接阶段就是专门处理这种问题，链接器看到a.o调用Add，但是没有Add的地址，就会到b.o的符号表中找Add的地址，然后链接到一起。

3. 那么链接时，面对Add函数，链接接器会使用哪个名字去找呢？这里每个编译器都有自己的函数名修饰规则。

4. 由于Windows下vs的修饰规则过于复杂，而Linux下g++的修饰规则简单易懂，下面使用了g++演示了这个修饰后的名字。

5. 通过下面我们可以看出gcc的函数修饰后名字不变。而g++的函数修饰后变成【_Z+函数长度+函数名+类型首字母】。

采用C语言编译器编译后的结果：

结论：在linux下，采用gcc编译完成后，函数名字的修饰没有发生改变。

采用C++编译器编译后结果：

结论：在linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。

Windows下名字修饰规则：

vs下函数名修饰规则讲解：函数调用约定解析-CSDN博客

通过这里就理解了C语言没办法支持重载，因为同名函数没办法区分。而C++是通过函数修饰规则来区分，只要参数不同，修饰出来的名字就不一样，就支持了重载。

2. extern "C"

有时候一个C++工程被编译成了一个库（静态库/动态库），此时如果另一个C++工程需要调用这个库，那么不会有问题，但如果此时一个C工程需要调用这个库呢？此时就会有问题了。

按照我们上文说的编译和链接规则，C语言编译后函数名并没有加修饰，C语言程序运行时在符号表中查找的就是没有修饰的函数名。但是C++工程编译后函数名会加上修饰，此时C工程如果要调用这个C++的静态库/动态库，在链接阶段就会发生错误，C工程找不到函数。

解决办法：在.h文件的函数声明前加上 extern "C"

因为C++是可以兼容C的，但是C是不能兼容C++的。加了extern "C"之后，这个函数在符号表中的名称就会按照C的编译规则编译，不加函数名修饰，保证了C程序编译链接时能够正确找到函数。（当然，由于没有了函数名修饰，此时该函数就不支持函数重载了）

此时，由于C++本身是知道C的修饰规则的，所以C++文件在看见了extern "C"之后链接该函数时也会按照C修饰规则去找，所以C++程序也能正确找到该函数。