在C程序总,static 关键字作为类型修饰符有两种用法。
第一种用法,static 被用来修饰局部变量,形成静态局部变量。普通的局部变量(非静态局部变量)分配在栈上,而静态局部变量分配在数据段/bss段上。
第二种用法,static 被用来修饰全局变量和函数,限定所修饰的全局变量和函数链接属性为内链接(只能在当前文件内被引用)
实际工作中,接触的一个程序一般都有几十个,几百个,乃至上千个和万个文件组成,在这么多的文件中,有时会不可避免的出现全局变量和函数的同名。为了降低或消除这种同名的风险,如果我们程序员能够确定在当前的.c源文件中定义的全局变量和函数只会在当前文件内被引用,不会在其他源文件中被使用,则可以通过加static 关键字限制全局变量和函数了链接属性为内链接,即使在其他文件中也定义了同名的全局变量或函数,由于在当前的文件内已将链接属性限定为内链接,当前文件中定义的全局变量或函数只能在当前文件内被访问,这样整个工程可以编译链接成功,可以降低同名报错的概率,而未被static 限定的函数和全局变量链接属性则为外链接(可在其他文件中引用这些全局用变量和函数),一旦有同名的全局变量或函数且链接属性都为外链接时链接器就会报错,普通的全局变量和函数默认的链接属性就是外链接。
测试代码:在a.c b.c 两个文件中
a.c:
include <stdio.h>
int g_a =4;//全局变量g_a 外链接属性
void fun(void)//fun()外链接属性
{
printf("in a.c Hello World!\n");
}
void ysq(void)
{
fun();
printf("int a.c g_a =%d\n",g_a);
}
b.c:
#include <stdio.h>
static int g_a =3;
extern void ysq(void);
static void fun(void)
{
printf("in b.c Hello World!\n");
}
int main(void)
{
fun();
ysq();//a.c 中定义的函数
printf("int b.c g_a =%d\n",g_a);
return 0;
}
编译链接:ysq@Ubuntu:~$ gcc a.c b.c -o ab
运行结果:
ysq@Ubuntu:~$ ./ab
in b.c Hello World!
in a.c Hello World!
int a.c g_a =4
int b.c g_a =3
存储类 | 作用域 | 生命周期 | 链接属性 | |
普通局部变量 | 栈 | 代码块 | 临时 | 无链接 |
static 修饰局部变量 | 数据段(显示初始化为非零) bss 段(显示初始化为零 或为初始化) | 代码块 | 整个程序运行 | 无链接 |
全局变量 | 数据段(显示初始化为非零) bss 段(显示初始化为零 或为初始化) | 全局(整个程序),作用域和和函数一样 | 整个程序运行 | 外链接(可以跨文件引用) |
staitc修饰全局变量 | 数据段(显示初始化为非零) | 全局(整个程序),作用域和和函数一样 | 整个程序运行 | 内链接(文件内引用) |
函数 | 代码段 | 全局 | 整个程序运行 | 外链接(可以跨文件引用) |
static修饰 函数 | 代码段 | 全局 | 整个程序运行 | 内链接(文件内引用) |
堆内存(malloc 、free) | malloc申请与free之间 |