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

name,mangling · 浏览次数 : 0

小编点评

当多个函数具有相同名称(被overloaded)时,编译器在面对你的函数唤起动作时,会根据以下步骤来确定调用哪个函数实体: 1. 编译器首先尝试查找函数名称中的“@@”(例如:Add@@YAHHH@Z)。 2. 如果找不到“@@”,编译器将尝试查找函数名称中的第一个字符(例如:Add)。 3. 如果函数名称中没有“@@”或第一个字符,编译器将尝试查找函数名称中的第一个字母(例如:Add)。 4. 如果以上所有方法都找不到函数名称,编译器将认为该函数是无法找到的,并返回默认的无意义值。 例如,在 Visual C++ 中,`Add@@YAHHH@Z` 和 `Add@@YAJJJ@Z` 两种函数名称都指向同一个函数,编译器会使用 `Add@@YAHHH@Z` 来调用它。 在 C++ 中,所有的函数名称都会被命名进行改编,以确保不同的函数拥有不同的名称。为了防止编译器对函数名称进行改编,可以使用 `extern \"C\"` 等修饰词来声明函数,强制编译器使用 C 风格的链接。 例如: ```c++ extern \"C\" int Add(int a, int b); ```

正文

  如果函数名称都相同(也就是被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)
{
...
}

 

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

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

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

深度解读《深度探索C++对象模型》之C++虚函数实现分析(三)

本系列深入分析编译器对于C++虚函数的底层实现,最后分析C++在多态的情况下的性能是否有受影响,多态究竟有多大的性能损失。

深度解读《深度探索C++对象模型》之C++虚函数实现分析(二)

本系列深入分析编译器对于C++虚函数的底层实现,最后分析C++在多态的情况下的性能是否有受影响,多态究竟有多大的性能损失。

深度解读《深度探索C++对象模型》之C++虚函数实现分析(一)

本系列深入分析编译器对于C++虚函数的底层实现,最后分析C++在多态的情况下的性能是否有受影响,多态究竟有多大的性能损失。

C++ Virtual Functions

Virtual这个关键字在多态中扮演一个绝对重要的角色,只要member functions声明的前面加上virtual的关键字,他就会成为 Virtual member functions。任何一个class如果拥有virtual functions,就可以得到C++编译器的虚拟机制(virtua

C++ 多态与虚拟:Class 语法语义

1.object与class:在object-oriented programming编程领域,对象(object)有更严格的定义。对象是由数据结构和用于处理该结构的过程(称为methods)组成的实体(instance)。这些方法由对象接收的消息激活。一个对象的内部数据结构与其他对象完全隔离(此属

C++多态与虚拟:Objects 实例化(Objects Instantiation)探究

一、Objects的创建 依据已有的class CPoint ,我们可以产生一个或多个object(对象),或者说是产生一个instance(实体): CPoint aPoint(7.2); // aPoint._x 初始值为 7.2 aPoint.x(5.3); // aPoint._x 现值为

C++多态与虚拟:运算符重载(Operator Overloading)

运算符重载:与function overloading异曲同工的是,C++提供所谓的Operator overloading。所谓operators是像 +(加)-(減)*(乘)/(除)>>(位右移)<<(位左移)之类的符号,代表一种动作。 面对operators,我们应该把他想像是一种函数,只不过

深入理解 C++ 中的多态与文件操作

C++ 多态 多态(Polymorphism)是面向对象编程(OOP)的核心概念之一,它允许对象在相同操作下表现出不同的行为。在 C++ 中,多态通常通过继承和虚函数来实现。 理解多态 想象一个场景,你有一个动物园,里面有各种动物,如猫、狗、鸟等。每个动物都有自己的叫声。使用面向对象编程,我们可以创

深入剖析C++多态的实现与原理-详解

目录多态基础虚函数虚函数的继承虚类/虚基类重写/覆盖条件:概念:多态的条件其他的多态行为多态中子类可以不写virtual协变代码举例继承遗留问题解决析构函数具体解决方式:题目1答案:解析:题目2答案:C++11 override和finalfinal功能1:禁用继承使用场景:功能2:禁用重写使用场景