符号修饰与函数签名（编译时避免冲突）

1.引入目的

约在20世纪70年代以前，编译器编译源代码产生目标文件时，符号名与相应的变量和函数的名字是一样的。比如一个汇编源代码里面包含了一个函数foo，那么汇编器将它编译成目标文件以后，foo在目标文件中的相对应的符号名也是 foo。当后来UNIX平台和C语言发明时，已经存在了相当多的使用汇编编写的库和目标文件。这样就产生了一个问题，那就是如果一个C程序要使用这些库的话，C语言中不可以使用这些库中定义的函数和变量的名字作为符号名，否则将会跟现有的目标文件冲突。比如有个用汇编编写的库中定义了-个函数叫做 main，那么我们在C语言里面就不可以再定义一个main函数或变量了。同样的道理，如果一个C语言的目标文件要用到一个使用Fortran语言编写的目标文件，我们也必须防止它们的名称冲突。

于是像C++这样的后来设计的语言开始考虑到了这个问题，增加了名称空间(Namespace）的方法来解决多模块的符号冲突问题。

但是随着时间的推移，很多操作系统和编译器被完全重写了好几遍，比如UNIX也分化成了很多种，整个环境发生了很大的变化，上面所提到的跟Fortran和古老的汇编库的符号冲突问题已经不是那么明显了。在现在的 Linux下的GCC编译器中，默认情况下已经去掉了在C语言符号前加“”的这种方式;但是Windows平台下的编译器还保持的这样的传统，比如Visual C++编译器就会在C语言符号前加“”,GCC在Windows平台下的版本(cygwin,mingw）也会加“_”。GCC编译器也可以通过参数选项“-fleading-underscore”或“-fno-leading-underscore”来打开和关闭是否在C语言符号前加上下划线。

不过这种符号修饰和函数签名仍在继续使用。

ps：符号冲突（重定义），即命名冲突不仅仅存在于链接过程，也存在于编译时候，当在同一个作用域内定义也会发生符号冲突，所以只能一个标识符一般只能定义一次。（语义分析过程检测，即名字修饰是在语义分析之前。）

C++符号修饰（Name mangling）

1. 函数签名

众所周知，强大而又复杂的C++拥有类、继承、虚机制、重载、名称空间等这些特性,它们使得符号管理更为复杂。
首先出现的一个问题是C++允许多个不同参数类型的函数拥有一样的名字,就是所谓的函数重载;另外C++还在语言级别支持名称空间，即允许在不同的名称空间有多个同样名字的符号。

所以我们引入一个术语叫做函数签名（Function Signature)，函数签名包含了一个函数的信息，包括函数名、它的参数类型、它所在的类和名称空间及其他信息。函数签名用于识别不同的函数，就像签名用于识别不同的人一样，函数的名字只是函数签名的一部分。由于同名函数的参数类型及所处的类和名称空间不同，我们可以认为它们的函数签名不同。在编译器及链接器处理符号时，它们使用某种名称修饰的方法，使得每个函数签名对应一个修饰后名称（Decorated Name)。

编译器在将C++源代码编译成目标文件时，会将函数和变量的名字进行修饰，形成符号名，也就是说，C++的源代码编译后的目标文件中所使用的符号名是相应的函数和变量的修饰后名称。

C++编译器和链接器都使用符号来识别和处理函数和变量，所以对于不同函数签名的函数，即使函数名相同，编译器和链接器都认为它们是不同的函数。

以下为6个函数签名在GCC编译器下，相对应的修饰后名称如表

GCC的基本C++名称修饰方法如下:

所有的符号都以“Z”开头，对于嵌套的名字(在名称空间或在类里面的)，后面紧跟“N”，然后是各个名称空间和类的名字，每个名字前是名字字符串长度，再以“E”结尾。比如 N::C:func经过名称修饰以后就是_ZN1N1C4funcE。对于一个函数来说，它的参数列表紧跟在“E”后面，对于 int类型来说，就是字母“i”。所以整个N:C::func(int)函数签名经过修饰为_ZN1N1C4funcEi。

更为具体的修饰方法我们在这里不详细介绍，有兴趣的读者可以参考GCC的名称修饰标准。幸好这种名称修饰方法我们平时程序开发中也很少手工分析名称修饰问题，所以无须很详细地了解这个过程。binutils里面提供了一个叫“c++filt”的工具可以用来解析被修饰过的名称，比如:

c++filt _ZN1N1C4funcEi //N::C::func（int）

2.对于全局变量和静态变量

签名和名称修饰机制不光被使用到函数上，C++中的全局变量和静态变量也有同样的机制。

全局变量（大体与函数类似，只是没有参数）

对于全局变量来说，它跟函数一样都是一个全局可见的名称，它也遵循上面的名称修饰机制，比如一个名称空间foo中的全局变量 bar，它修饰后的名字为:_ZN3foo3barE。而在GUN下的C++，其全局变量就是其变量名。

注意的是，变量的类型并没有被加入到修饰后名称中，所以不论这个变量是整形还是浮点型甚至是一个全局对象，它的名称都是一样的。

int a = 10;
float a; //重定义，产生的符号相同，发生冲突。
double a(){} //此时产生的符号相同，所以发生了冲突

ps：所以函数和全局变量之间可能发生符号冲突（重定义），所以需要注意尽量不要使用相同的标识符。

静态变量（由于其会被放在.DATA区，即需要一个唯一的符号）

名称修饰机制也被用来防止静态变量的名字冲突。比如main()函数里面有一个静态变量叫foo，而func()函数里面也有一个静态变量叫foo。为了区分这两个变量，GCC会将它们的符号名分别修饰成两个不同的名字_ZZAmainE3foo和_ZZAfuncvE3foo，这样就区分了这两个变量。