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)
{
...
}
相关推荐
王老师青少年编程3 小时前
gesp(C++五级)(14)洛谷:B4071:[GESP202412 五级] 武器强化
开发语言·c++·算法·gesp·csp·信奥赛
DogDaoDao3 小时前
leetcode 面试经典 150 题:有效的括号
c++·算法·leetcode·面试··stack·有效的括号
一只小bit4 小时前
C++之初识模版
开发语言·c++
CodeClimb5 小时前
【华为OD-E卷 - 第k个排列 100分(python、java、c++、js、c)】
java·javascript·c++·python·华为od
apz_end6 小时前
埃氏算法C++实现: 快速输出质数( 素数 )
开发语言·c++·算法·埃氏算法
仟濹6 小时前
【贪心算法】洛谷P1106 - 删数问题
c语言·c++·算法·贪心算法
北顾南栀倾寒7 小时前
[Qt]系统相关-网络编程-TCP、UDP、HTTP协议
开发语言·网络·c++·qt·tcp/ip·http·udp
old_power8 小时前
【PCL】Segmentation 模块—— 基于图割算法的点云分割(Min-Cut Based Segmentation)
c++·算法·计算机视觉·3d
涛ing8 小时前
21. C语言 `typedef`:类型重命名
linux·c语言·开发语言·c++·vscode·算法·visual studio
PaLu-LI9 小时前
ORB-SLAM2源码学习:Initializer.cc⑧: Initializer::CheckRT检验三角化结果
c++·人工智能·opencv·学习·ubuntu·计算机视觉