C语言函数内static关键字详解
2016-05-21 20:29
441 查看
static关键字有两类使用:函数外使用和和函数内使用,其中函数外使用主要用来限制被修饰的函数或变量作用域为本文件,没什么可多说的,下面重点说一下static关键字在函数体内的用法.
如下面的代码:
输出为12345,如果去掉static关键字,输出将是11111.
我们来看一下使用了static关键字后的汇编代码(只保留了关键部分):
但是由于这两者实在太像了,我们可以欺骗一下编译器,看下面的代码:
如下面的代码:
#include<stdio.h> void test(){ static int a=1; printf("%d",a++); } void main(){ int i; for (i=0;i<5;i++) test(); }
输出为12345,如果去掉static关键字,输出将是11111.
我们来看一下使用了static关键字后的汇编代码(只保留了关键部分):
.LC0: .string "%d" test: .LFB0: pushl %ebp movl %esp, %ebp subl $8, %esp movl a.1933, %eax leal 1(%eax), %edx movl %edx, a.1933 subl $8, %esp pushl %eax pushl $.LC0 call printf addl $16, %esp nop leave ret a.1933: .long 1可以看到下面三行汇编代码实际完成的是a++操作,如果有不理解第二条指令的可以参考我的上一篇博客.
movl a.1933, %eax leal 1(%eax), %edx movl %edx, a.1933等等,我的变量名不是a吗?a.1933是什么玩意儿?其实这个a.1933像极了一个全局变量.不信看下面的代码:
#include<stdio.h> int a=1; void test(){ printf("%d",a++); } void main(){ int i; for (i=0;i<5;i++) test(); }其关键的汇编代码为:
a: .long 1 .LC0: .string "%d" test: .LFB0: pushl %ebp movl %esp, %ebp subl $8, %esp movl a, %eax leal 1(%eax), %edx movl %edx, a subl $8, %esp pushl %eax pushl $.LC0 call printf addl $16, %esp nop leave ret看看,何止像,从汇编的角度来看,这里的a和上面的a.1933根本就是一回事嘛.所以函数内的static变量和全局变量从汇编的角度看本质上是一样的.这也就解释了为什么test()退出后static修饰的a还存在的问题,因为人家跟全局变量的地位一样嘛.那如何解释1933这个后缀呢?其实这个是C编译器的限制,也就是说你只有在汇编后才知道函数内static修饰的变量真正叫什么名字,而这个名字只在该函数体内才知道,外部函数是不知道这个真名的.换句话说,C编译器就是靠这个别名的办法限制了外部函数对其的访问.
但是由于这两者实在太像了,我们可以欺骗一下编译器,看下面的代码:
#include<stdio.h> void test(){ static int a=1; printf("%d",a++); } void test2(){ extern int a; printf("%d",a); } void main(){ test(); test2(); }这个代码连接时一定不能通过,原因是test2中的a根本没有定义.由于static int a只存在于test内,test2无法访问到.但是上面的代码却可以汇编通过(关键代码如下):
test: .LFB0: movl a.1933, %eax leal 1(%eax), %edx movl %edx, a.1933 subl $8, %esp pushl %eax pushl $.LC0 call printf test2: .LFB1: movl a, %eax subl $8, %esp pushl %eax pushl $.LC0 call printf a.1933: .long 1可以看到static int a被编译器在test中别名为了a.1933,而test2并不知道这一点.因此我们可以手动修改test2让它知道这一点.即把a别名成a.1933,这样再编译执行,这样可以顺利输出12.而此时的static int a完全被改造成了全局变量.
相关文章推荐
- C++ #define用法总结
- 九度 OJ 1046:求最大值
- 多重部分和问题
- C++、python 写类似全排列算法
- POJ 2392-Space Elevator(多重部分和-多重背包)
- C语言中fclose函数
- C语言变量内存分布
- C++ 虚函数和纯虚函数的区别
- C++迷宫问题
- C语言中exit函数
- C++之类型转换
- C语言中fscanf函数
- C/C++中extern关键字详解
- C++编译器的函数名修饰规则
- windows下安装NetBeans IDE & 配置C++编译环境
- 优雅的编写C语言爬虫
- c语言fopen函数
- c++实现顺序表的操作
- c++实现单链表的操作
- C语言随记(二)—结构化程序设计