本节书摘来自异步社区出版社《C和C++代码精粹》一书中的第1章,第1.5节,作者: 【美】Chuck Allison,更多章节内容可以访问云栖社区“异步社区”公众号查看。
1.5 类型安全连接
C和C++代码精粹
C++甚至可以通过编译单元检测出不正确的函数调用,程序清单1.2的程序调用了程序清单1.3中的一个函数。当把它作为C程序编译时,会得到一个错误的输出结果:
f: 0.000000
程序清单1.2 解释程序连接(也见程序清单1.3)
void f(int);
main()
{
f(1);
}```
程序清单1.3 要与程序清单1.2连接的函数
include
void f(double x)
{
printf("f: %f\n",x);
}`
C无法区分出函数f的不同。常规作法是把正确的函数原型放到所有编译单元都包含的头文件里。然而,在C++里,一个函数的调用仅连接与之有相同标记的函数定义,即函数名称和它的参数类型顺序的组合。当作为一个C++程序进行编译时,在一个流行的编译器中程序清单1.2和程序清单1.3的输出结果是:
Error :undefined symbol f(int) in module safel.cpp
大多数编译器通过把函数标记和函数一起编码来获得这种类型安全连接。这种技巧经常称为函数名编码、名字修饰、或者(我最喜欢的)名字改编。例如,函数f(int)可能以下面的形式出现在连接器中:
f_Fi //f是一个带整型参数的函数
但是函数f(double )则是:
f_Fd // f是一个带双精度型参数的函数
由于名字的不同,在这个例子中连接器不能找到f(int)并报错。
本文仅用于学习和交流目的,不代表异步社区观点。非商业转载请注明作译者、出处,并保留本文的原始链接。