c/c++中static和extern关键字

最新推荐文章于 2022-05-11 12:25:05 发布

Vic_Hao

最新推荐文章于 2022-05-11 12:25:05 发布

阅读量300

点赞数

分类专栏：Ｃ++

Ｃ++ 专栏收录该内容

33 篇文章 4 订阅

订阅专栏

原理

关于声明和定义的区别

void print_one_line(void);

这种写法只能叫函数声明而不能叫函数定义，只有带有函数体的声明才叫定义，比如下面：

void print_one_line(void)
{
	print("\n");
}

只有分配存储空间的变量声明才叫变量定义，其实函数也是一样，编译器只有见到函数定义才会生成指令，而指令在程序运行时当然也要占存储空间。那么没有函数体的函数声明有什么用呢？它为编译器提供了有用的信息，编译器在翻译代码的过程中，只有见到函数原型（不管带不带函数体）之后才知道这个函数的名字、参数类型和返回值，这样碰到函数调用时才知道怎么生成相应的指令，所以函数原型必须出现在函数调用之前，这也是遵循了“先声明后使用”的原则。

标识符的链接属性（Linkage）有三种

外部链接（External Linkage）
如果最终的可执行文件由多个程序文件链接而成，一个标识符在任意程序文件中即使声明多次也都代表同一个变量或函数，则这个标识符具有External Linkage。具有External Lingkage的标识符编译后在符号表中时GLOBAL的符号。
内部链接（Internal Linkage）
如果一个标识符在某个程序文件中即使声明多次也都代表同一个变量或函数，则这个标识符具有Internal Linkage。具有Internal Linkage的标识符编译后在符号表中时LOCAL的符号。
无链接（No Linkage）
除以上情况之外的标识符都属于No Linkage的，例如函数的局部变量，以及不表示变量和函数的其它标识符。

声明和定义的次数限制

凡是被多次声明的变量或函数，必须有且只有一个声明是定义，如果有多个定义，或者一个定义都没有，链接器就无法完成链接。显然，声明可以有很多次。

用extern和static修饰函数

例子：

//extern_static_test1.h 文件
void print_01(void); //函数不写任何声明的情况和写了extern声明的情况等价
extern void print_02(void); //函数不写任何声明的情况和写了extern声明的情况等价，函数的声明默认是extern的
static void print_03(void); //static修饰函数声明，说明此函数仅仅被此文件内部使用，即被extern_static_test1.h和extern_static_test1.cpp内部使用。不能被main.cpp调用。
void print_04(void);

// extern_static_test1.cpp
# include"extern_static_test1.h"
void print_01(void)
{	
	printf("test_01\n");
	return;
}

void print_02(void)
{	
	printf("test_02\n");
	return;
}

void print_03(void)
{	
	printf("test_03\n");
	return;
}

void print_04(void)
{	
	printf("call print_03() in print_04() start\n");
	print_03();
	printf("call print_03() in print_04() finish\n");
	return;
}

// main.cpp 文件
int main()
{	
	print_01();
	print_02();
	print_03();
	print_04();

	int a = getchar();
}

上述程序的运行结果：
编译不能通过，error C2129: 静态函数“void print_03(void)”已声明但未定义。
因为print_03在extern_static_test1.h中被声明为static。当static修饰函数的时候，说明此函数只能被自己内部的文件使用，即具有internal linkage.因此main不能调用extern_static_test1.h中被static修饰的函数。
如有有这样几个文件a.h, a.cpp, main.cpp。其中a.h被a.cpp和main.cpp所包含，那么a.h中用static修饰的函数只能被a.cpp中的函数调用，不能被main.cpp中的函数调用.这个internal linkage属性就被确定了。即使你故意在main.cpp中进行一次external的声明(如extern void print_03(void);)也不能改变此internal linkage链接属性。

为了修正上述程序的错误，在main.cpp中删除print_03()，其它文件保持不变，则编译就没有错误了。

上述程序说明：

print_02()说明，函数被声明为external后，才能做到在多个文件中多次声明的情况下，依然指示同一个定义。
print_01()说明，函数声明如果不加external，也不加static，则默认为external.
print_04()说明，如果函数声明使用了static修饰符，则这个函数具有internallinkage，只能被声明所在的文件内部调用。所以这里的print_04()调用了声明为static的print_03()。print_04()不具有static属性，所以在main.cpp中能够被调用。