EasyC++49,函数和语言链接性

2022-08-26 17:19:14 浏览数 (1)

作者 | 梁唐

大家好,我是梁唐。

这是EasyC 系列的第49篇,函数和语言链接性。

const

关于const的含义和使用我们之前已经讨论过了,但const限定符对于默认存储类型是有影响的。

在默认情况下,全局变量的链接性是外部的,也就是说所有文件均可使用。但const全局变量的链接性是内部的,也就是说只能在本文件当中使用。全局const定义就好像使用了static说明符一样。

这个设定看起来有些令人费解,其实是编译器中的一个优化。因为我们常常将一组常量放在头文件当中,并且在多个文件当中include这个头文件。如果const声明的链接性也是外部的,根据单定义规则,这会出错。正是为了避免这种情况发生,所以编译器做了优化,规定了const关键字修饰的全局变量,链接性也为内部。

如果出于某种原因,程序员希望某个常量的链接性为外部的,可以使用extern关键字来覆盖默认的内部链接性:

代码语言:javascript复制
extern const int states = 30;

在这种情况下,必须所有使用了该常量的文件中使用extern关键字来声明它。然而,由于const在多个文件之间共享,因此只有一个文件可以对它进行初始化。

函数和链接性

和变量一样,函数也有链接性。和C语言一样,C 不允许在一个函数当中定义另外一个函数,因此所有函数的存储持续性都默认是静态的,即在整个程序运行期间都一直存在。

在默认情况下,函数的链接性是外部的,也就是说可以跨文件使用。我们可以使用关键字static来讲函数的链接性设置成内部的,这样就只有当前文件可以使用。

我们必须同时在原型和定义当中使用static:

代码语言:javascript复制
static void test();

static void test() {
    return ;
}

单定义规则对于函数也一样适用,也就是说对于非内联性函数来说,程序只能包含一个定义。对于链接性为外部的函数,只有一个文件包含该函数的定义。但使用该函数的每个文件,都应该包含函数的原型。

简单来说,这就是为什么我们通常将函数的原型写在头文件当中,而实现单独放在另外一个cpp文件中的原因。因为这样,所有include该头文件的文件都包含了函数的原型,但只有对应的cpp文件拥有函数的定义。这样就保证了一定不会违反单定义规则。

语言链接性

背景知识:链接程序要求每个不同的函数拥有不同的符号名,比如C语言编译器可能将spiff函数翻译成_spiff,这被称为C语言链接性。而C 当中,同一个名称可以对应多个函数(函数重载),因此必须将这些函数翻译成不同的名称。

比如spiff(int)可能翻译成_spiff_ispiff(double, double)翻译成_spiff_d_d。这种方法被称为C 语言链接。

如果要在C 程序当中使用C库中预编译的函数可能就会名称对不上,所以为了解决这个问题,我们可以用函数原型来指出要使用的约定:

代码语言:javascript复制
extern "C" void spiff(int);
extern void spoff(int);
extern "C  " spaff(int);

第一个原型使用的C语言链接性,后面两个使用的都是C 语言链接性。只不过第二个是通过默认方式实现的,而第三个是显式指出的。

0 人点赞