C++多态与虚拟:C++编译器对函数名的改编(Name Mangling)

如果函数名称都相同(也就是被overloaded),编译器在面对你的函数唤起动作时,究竟是如何确定调用哪个函数实体呢?事实上,编译器把所有同名的overloaded functions视为不同的函数,并且以特殊方式对它们的函数名称做了手脚,以四个Add()函数为例:

复制代码
1 int Add(int a, int b);
2 long Add(long a, long b);
3 double Add(double a, double b);
4 float Add(float a, float b);

Visual C++编译器真正为这四个函数所编码出来的函数名称是:

复制代码
?Add@@YAHHH@Z 
?Add@@YAJJJ@Z
?Add@@YANNN@Z
?Add@@YAMMM@Z

再以 CPoint 的两个 x() 为例:

复制代码
1 class CPoint
2 { public:
3   ...
4   float x();
5   void x( float xval );
6 };

编译器真正为它们编出来的函数名称是(其中包含class名称,参数个数和参数类型):

复制代码
?x@CPoint@@QAEMXZ
?x@CPoint@@QAEXM@Z

这样的"名称改编"行为称为"name manging"。让人遗憾的是,不同编译器有着不同的name manging作法。这当然不好,表示我以Microsoft C++编译出来的程序没办法调用一个以Borland C++编译器完成的函数。换句话说,函数的名称并不存在着binary standard,这就严重影响了software components的发展。Naming Mangling 不只用于overloaded functions身上,C++程序中所有的global函数以及classes中的所有members,都会被施以naming mangling手术。如果要抑制naming mangling的作用,就必须加上关键字extern"C"以修饰。

extern "C":对于程序员来说,通常不需要关心名称改编(Name Mangling)这个问题。但是,当你的C++程序需要导出某些功能供其他程序或库使用时,名称改编就会成为一个问题。在C++程序中,可以导出的东西主要是函数和类。虽然也可以导出数据,但根据"数据封装"的原则,导出数据是非常罕见且应该避免的做法。 无论类是否被导出,它们的名称都会被改编。但是,对于函数来说,当我们试图导出它们时,我们不希望编译器对它们进行名称改编。这是因为我们不希望这些函数的使用者被限制使用"与函数设计者相同的开发工具"。毕竟,目前各家C++编译器厂商并没有协调出一个统一的名称改编方法。 因此,对于即将导出的函数,为了抑制名称改编的作用,我们必须加上特殊的修饰词`extern "C"`。这样做可以让编译器知道这些函数应该使用C风格的链接,从而避免名称改编。这样,其他语言或库就可以正确地调用这些函数了。例如:

复制代码
extern "C" int Add(int a, int b);

在Windows DLLs中,使用C++编写的DllMain()等callback函数需避免C++编译器进行name mangling,因此需使用extern "C"。这样可以确保函数名称和格式固定,便于系统回呼。

复制代码
extern "C"
int APIENTRY 7 DllMain(HINSTANCE hInst, DWORD dwReason, LPVOID lpReserved)
{
...
}
相关推荐
John_ToDebug2 小时前
浏览器扩展延迟加载优化实战:如何让浏览器启动速度提升50%
c++·chrome·windows
是娇娇公主~2 小时前
C++ 中 std::deque 的原理?它内部是如何实现的?
开发语言·c++·stl
luanma1509804 小时前
PHP vs C++:编程语言终极对决
开发语言·c++·php
csdn_aspnet4 小时前
C/C++ 两个凸多边形之间的切线(Tangents between two Convex Polygons)
c语言·c++·算法
yangtuoni6 小时前
vscode调试C++程序
c++·ide·vscode
m0_587958957 小时前
C++中的命令模式变体
开发语言·c++·算法
2501_924952697 小时前
代码生成器优化策略
开发语言·c++·算法
xushichao19898 小时前
C++动态链接库开发
开发语言·c++·算法
fengenrong8 小时前
20260324
c++·算法
qq_416018728 小时前
设计模式在C++中的实现
开发语言·c++·算法