Name Mangling

一、导读

Name Mangling(名称修饰)是编译器用来向具有相同名称的函数添加附加字符(函数重载)的一种机制。名称修改的目的是避免在执行程序和调用可能与另一个函数同名的函数时出现任何混淆。

二、含义解读

为了更好地理解这个概念,这里有两个重要的维基百科定义:

函数重载:

在某些编程语言中,函数重载或方法重载是创建具有不同实现的多个同名函数的能力。对重载函数的调用将运行适合于调用上下文的该函数的特定实现,允许一个函数调用根据上下文执行不同的任务。

Name Mangling:

在编译器构造中,name mangling(也称为名称修饰)是一种用于解决由于需要为许多现代编程语言中的编程实体解析唯一名称而引起的各种问题的技术。它提供了一种以函数、结构、类或其他数据类型的名称对附加信息进行编码的方法,以便将更多语义信息从编译器传递给linker

三、Name Mangling Example

现在我们对名称修饰的工作原理以及它是什么有了更多的了解。让我们举个例子。

#include <iostream>
using namespace std;
void add(int a, int b){cout << a + b << endl;}
void add(double a, double b){cout << a + b << endl;}
int main()
{
 add(1, 2);
 add(5.5, 8.3);
 return 0;
}

在上面的示例中,我们创建了两个具有相同名称“add”的函数。为避免混淆,编译器将修改这两个函数。可以使用“nm”命令查看它们。

$nm bin/Debug/mangle.exe
0047add0 t .text$_ZNSiD0Ev
004add30 t .text$_ZNSt8numpunctIcEC1Ej
004addd0 t .text$_ZNSt8numpunctIcEC2EPSt16__numpunct_cacheIcEj
004afd30 t .text$_ZSt14__add_groupingIcEPT_S1_S0_PKcjPKS0_S5_
004afea0 t .text$_ZSt14__add_groupingIwEPT_S1_S0_PKcjPKS0_S5_
0040147e t __GLOBAL__sub_I__Z3addii

00401382 T __Z3adddd
00401350 T __Z3addii

0047add0 T __ZNSiD0Ev
004186c0 T __ZNSt15__exception_ptr13exception_ptr9_M_addrefEv
004add30 T __ZNSt8numpunctIcEC1Ej
004addd0 T __ZNSt8numpunctIcEC2EPSt16__numpunct_cacheIcEj
004afd30 T __ZSt14__add_groupingIcEPT_S1_S0_PKcjPKS0_S5_
004afea0 T __ZSt14__add_groupingIwEPT_S1_S0_PKcjPKS0_S5_
004271d0 T ____w64_mingwthr_add_key_dtor
0042ef60 T ___multadd_D2A
004352d0 T _pthread_attr_getstackaddr
004352e0 T _pthread_attr_setstackaddr

为清楚起见,我截断了输出并将我们的两个“add”函数加粗。

四、命名规则

在这里插入图片描述

五、Example 剖析

在我们的示例中,我们使用了 GCC 编译器。为了理解我们的错位函数,让我们剖析它们:

void add(int a, int b) become __Z3adddd
void add(double a, double b) become __Z3addii
  • 损坏的名称以 _Z 开头
  • 数字 3 是函数名称的长度(“add” = 3 个字符)。
  • 最后,字母“dd”和“ii”是我们函数中使用的变量类型。

显然有更复杂的名称,具体取决于它在二进制文件中使用的变量类型和数据结构。

此外,网站 https://demangler.com/ 也可以帮助您了解损坏的名称。

或者,您也可以使用工具“c++filt”或二进制文件中的“nm -C”来对函数名称进行分解:

$ c++filt -_ __Z3adddd
 # "-_" to ignore the first underscoreadd(double, double)
  • 2
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
文中是linux下 C++动态库 实现接口提供类导出的一个例子 注意其中使用函数返回基类指针的用法,因为Linux的动态链接库不能像MFC中那样直接导出类 一、介绍 如何使用dlopen API动态地加载C++函数和类,是Unix C++程序员经常碰到的问题。 事实上,情况偶尔有些复杂,需要一些解释。这正是写这篇mini HOWTO的缘由。 理解这篇文档的前提是对C/C++语言中dlopen API有基本的了解。 这篇HOWTO的维护链接是: http://www.isotton.com/howtos/C++-dlopen-mini-HOWTO/ 二、问题所在 有时你想在运行时加载一个库(并使用其中的函数),这在你为你的程序写一些插件或模块架构的时候经常发生。 在C语言中,加载一个库轻而易举(调用dlopen、dlsym和dlclose就够了),但对C++来说,情况稍微复杂。 动态加载一个C++库的困难一部分是因为C++的name mangling (译者注:也有人把它翻译为“名字毁坏”,我觉得还是不翻译好), 另一部分是因为dlopen API是用C语言实现的,因而没有提供一个合适的方式来装载类。 在解释如何装载C++库之前,最好再详细了解一下name mangling。 我推荐您了解一下它,即使您对它不感兴趣。因为这有助于您理解问题是如何产生的,如何才能解决它们。 1. Name Mangling 在每个C++程序(或库、目标文件)中, 所有非静态(non-static)函数在二进制文件中都是以“符号(symbol)”形式出现的。 这些符号都是唯一的字符串,从而把各个函数在程序、库、目标文件中区分开来。 在C中,符号名正是函数名:strcpy函数的符号名就是“strcpy”,等等。 这可能是因为两个非静态函数的名字一定各不相同的缘故。 而C++允许重载(不同的函数有相同的名字但不同的参数), 并且有很多C所没有的特性──比如类、成员函数、异常说明──几乎不可能直接用函数名作符号名。 为了解决这个问题,C++采用了所谓的name mangling。它把函数名和一些信息(如参数数量和大小)杂糅在一起, 改造成奇形怪状,只有编译器才懂的符号名。 例如,被mangle后的foo可能看起来像foo@4%6^,或者,符号名里头甚至不包括“foo”。 其中一个问题是,C++标准(目前是[ISO14882])并没有定义名字必须如何被mangle, 所以每个编译器都按自己的方式来进行name mangling。 有些编译器甚至在不同版本间更换mangling算法(尤其是g++ 2.x和3.x)。 即使您搞清楚了您的编译器到底怎么进行mangling的,从而可以用dlsym调用函数了, 但可能仅仅限于您手头的这个编译器而已,而无法在下一版编译器下工作。 三、类 使用dlopen API的另一个问题是,它只支持加载函数。 但在C++中,您可能要用到库中的一个类,而这需要创建该类的一个实例,这不容易做到。 四、解决方案 1. extern "C" C++有个特定的关键字用来声明采用C binding的函数: extern "C" 。 用 extern "C"声明的函数将使用函数名作符号名,就像C函数一样。 因此,只有非成员函数才能被声明为extern "C",并且不能被重载。 尽管限制多多,extern "C"函数还是非常有用,因为它们可以象C函数一样被dlopen动态加载。 冠以extern "C"限定符后,并不意味着函数中无法使用C++代码了, 相反,它仍然是一个完全的C++函数,可以使用任何C++特性和各种类型的参数。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值