C语言之Static

1全局静态变量

在全局变量之前加上关键字static,全局变量就被定义成为一个全局静态变量。

1内存中的位置:静态存储区(静态存储区在整个程序运行期间都存在)

2初始化:未经初始化的全局静态变量会被程序自动初始化为0(如果不是静态变量则是任意值)

3作用域:全局静态变量在声明他的文件之外是不可见的。准确地讲从定义之处开始到文件结尾可见,在其他文件中是不可见的。

看下面关于作用域的程序:

Test01:

static int num = 10;

void demo(){

  printf("%d",num);

}

Test02:

void demo();

extern int num;

int main(){

num = 20;

printf("%d\n",num);

demo();

return 0;

}

在Test01文件中定义num是全局静态变量,如果在Test02文件中要声明的话,则会出错:

Linking...

test02.obj : error LNK2001: unresolved external symbol _num

Debug/demo.exe : fatal error LNK1120: 1 unresolved externals

执行 link.exe 时出错.

因此,声明为全局变量的变量只能在本文件中访问,其他文件不能访问。

定义全局静态变量的好处:

1)不会被其他文件所访问,修改。

2其他文件中可以使用相同名字的变量,不会发生冲突。

我们可以看一下如果Test01文件中的num不是定义为static全局变量,而是一个全局变量,在Test02中对他进行访问(即用extern),则可以任意修改num的值。

Test01

#include <stdio.h>

int num = 10;

void demo(){

printf("test01:%d\n",num);

}

Test02

void demo();

extern int num;

int main(){

num = 20;

printf("test02:%d\n",num);

demo();

return 0;

}

输出结果为:(numtest02中被改变了。)

test02:20

test01:20

注意:如果你要想在Test02文件中引用Test01文件的num,你必须对它进行声明extern,就好像声明函数一样,要不Test02文件中不知道num在哪里定义的。

 

Test01中定义为全局变量的num,在Test02中并不对他进行声明,而是重新定义一个全局变量num,则这两个num会有冲突。

Test01

#include <stdio.h>

int num = 10;

void demo(){

printf("test01:%d\n",num);

}

Test02

void demo();

int num = 20;

int main(){

printf("test02:%d\n",num);

demo();

return 0;

}

输出结果为:

test02.obj : error LNK2005: _num already defined in test01.obj

Debug/demo.exe : fatal error LNK1169: one or more multiply defined symbols found

 

记住一句话:定义只是一次,而声明可以有多次。在Test02声明的时候已经对num进行全局变量,而全局变量的作用范围是整个工程文件,所以在Test02中对他进行再次定义的时候就会出现错误,所以要将它改为20是不可能的。

但是如果在Test02中对num定义为局部变量又是可以的。

Test01

#include <stdio.h>

int num = 10;

void demo(){

printf("test01:%d\n",num);

}

Test02

void demo();

int main(){

int num = 20;

printf("test02:%d\n",num);

demo();

return 0;

}

输出结果为:

test02:20

test01:10

 

这时在Test02文件中定义的num是局部变量,它作用的范围只是在本函数中,所以与全局变量无冲突。

 

2 局部静态变量

在局部变量之前加上关键字static,局部变量就被定义成为一个局部静态变量。

1内存中的位置:静态存储区(静态存储区在整个程序运行期间都存在)。

2初始化:未经初始化的全局静态变量会被程序自动初始化为0(未初始化的变量的数值是任意的)。

3作用域:作用域仍为局部作用域,当定义它的函数或者语句块结束的时候,作用域随之结束。

注:当static用来修饰局部变量的时候,它就改变了局部变量的存储位置,从原来的栈中存放改为静态存储区。静态局部变量只是声明并初始化一遍,但是局部静态变量在离开作用域之后,并没有被销毁,而是仍然驻留在内存当中,直到程序完全运行完毕才会释放,只不过我们不能再对他进行访问。

      当static用来修饰全局变量的时候,它就改变了全局变量的作用域(在声明他的文件之外是不可见的),但是没有改变它的存放位置,还是在静态存储区中。

Test03

#include <stdio.h>

void fun(){

static int a;

printf("fun.a=%d\n&a=%p\n",a,&a);

}

 

int main(){

static int a = 10;

printf("main.a=%d\n&a=%p\n",a,&a);

fun();

return 0;

}

输出结果为:

main.a=10

&a=00424A30

fun.a=0

&a=00427C5C

main函数中定义了一个静态局部变量a,初始化为10,。但是a的作用域只是在main函数中,如果出了main函数,虽然a的空间不会释放,但是其他函数不能对他进行访问,所以在fun函数中,a重新定义一次,默认为0

 

3、静态函数

在函数的返回类型前加上关键字static,函数就被定义成为静态函数。

函数的定义和声明默认情况下是extern的,即默认是可以被其他文件所用的,但是静态函数只是在声明他的文件当中可见,不能被其他文件所用。

  Test04

#include <stdio.h>

static void staticfun(){

printf("staticfun() is not found!");

}

void fun(){

staticfun();

printf("fun() is found!");

}

  Test05:

void fun();

static void staticfun();

int main(){

fun();

staticfun();

return 0;

}

输出结果:

D:\InterviewQuestionC\demo\test05.c(8) : error C2129: static function 'void __cdecl staticfun()' declared but not defined

D:\InterviewQuestionC\demo\test05.c(2) : see declaration of 'staticfun'

输出出错,因为在Test04中定义的静态函数只能在Test04文件中使用,而不能在其他文件中使用。所以运行报错。

但是如果在Test05文件中没有声明和调用Test04中的静态函数,即没有直接调用staticfun()函数,而是间接的调用,则是可以正常运行的。

Test04

#include <stdio.h>

static void staticfun(){

printf("staticfun() is not found!\n");

}

void fun(){

staticfun();

printf("fun() is found!\n");

}

Test05

void fun();

int main(){

fun();

return 0;

}

输出结果:

staticfun() is not found!

fun() is found!

Test文件中调用fun()函数,而fun()函数中会调用静态函数staticfun()fun()函数调用的时候是在Test04文件中进行的,所以可以正常运行。

 

使用静态函数的好处:

11.静态函数会被自动分配在一个一直使用的存储区,直到退出应用程序实例,避免了调用函数时压栈出栈,速度快很多。

2)静态函数只能在本文件中被调用,而其他文件不能访问,所以其他文件中可以定义相同名字的函数,不会发生冲突。

 

应用小结:

存储说明符autoregisterexternstatic,对应两种存储期:自动存储期和静态存储期。

autoregister对应自动存储期。具有自动存储期的变量在进入声明该变量的程序块时被建立,它在该程序块活动时存在,退出该程序块时撤销。

关键字externstatic用来说明具有静态存储期的变量和函数。用static声明的局部变量具有静态存储持续期(static storage duration),或静态范围(static extent)。虽然他的值在函数调用之间保持有效,但是其名字的可视性仍限制在其局部域内。静态局部对象在程序执行到该对象的声明处时被首次初始化。

由于static变量的以上特性,可实现一些特定功能。

1. 统计次数功能

声明函数的一个局部变量,并设为static类型,作为一个计数器,这样函数每次被调用的时候就可以进行计数。这是统计函数被调用次数的最好的办法,因为这个变量是和函数息息相关的,而函数可能在多个不同的地方被调用,所以从调用者的角度来统计比较困难。

Test06

void fun();

int main(){

int i = 0;

for(; i < 10 ; i++){

fun();

}

return 0;

}

void fun(){

static int count = 0;

count++;

printf("count=%d\n",count);

}

输出结果:

count=1

count=2

count=3

count=4

count=5

count=6

count=7

count=8

count=9

count=10

因为在fun函数中定义了一个静态局部变量countcount在程序运行的整个过程都是存在的,在函数fun外面是无法访问的,但是每次调用fun函数都是对count进行操作,而且要注意的是count只是定义一次,定义完成后就占着一个空间,每次调用fun函数的时候就对count赋值,而不是每次调用都要重新定义。

 

static对全局变量的修饰,可以认为是限制了只能是本文件引用此变量。有的程序是由好多.c文件构成。彼此可以互相引用变量,但加入static修饰之后,只能被本文件中函数引用此变量。

 static对栈变量的修饰,可以认为栈变量的生命周期延长到程序执行结束时。一般来说,栈变量的生命周期由OS管理,在退栈的过程中,栈变量的生命也就结束了。但加入static修饰之后,变量已经不在存储在栈中,而是和全局变量一起存储。同时,离开定义它的函数后不能使用,但如再次调用定义它的函数时,它又可继续使用, 而且保存了前次被调用后留下的值。

 static对函数的修饰与对全局变量的修饰相似,只能被本文件中的函数调用,而不能被同一程序其它文件中的函数调用。 

static 声明的变量在C语言中有两方面的特征:

1)、变量会被放在程序的全局存储区中,这样可以在下一次调用的时候还可以保持原来的赋值。这一点是它与堆栈变量和堆变量的区别。 

2)变量用static告知编译器,自己仅仅在变量的作用范围内可见。这一点是它与全局变量的区别。

 

问题:Static的理解

关于static变量,请选择下面所有说法正确的内容:

A、若全局变量仅在单个C文件中访问,则可以将这个变量修改为静态全局变量,以降低模块间的耦合度;

B、若全局变量仅由单个函数访问,则可以将这个变量改为该函数的静态局部变量,以降低模块间的耦合度;

C、设计和使用访问动态全局变量、静态全局变量、静态局部变量的函数时,需要考虑重入问题;

D、静态全局变量过大,可那会导致堆栈溢出。 

答案与分析:

对于AB:根据本篇概述部分的说明b),我们知道,A,B都是正确的。

对于C:根据本篇概述部分的说明a),我们知道,C是正确的(所谓的函数重入问题,下面会详细阐述)。

对于D:静态变量放在程序的全局数据区,而不是在堆栈中分配,所以不可能导致堆栈溢出,D是错误的。

因此,答案是ABC

问题:不可重入函数

曾经设计过如下一个函数,在代码检视的时候被提醒有bug,因为这个函数是不可重入的,为什么?

unsigned int sum_int( unsigned int base )

unsigned int index;

static unsigned int sum=0;

for(index=1;index <= base; index++){

sum+=index;

}

return sum;

 

}

答案与分析:

所谓的函数是可重入的(也可以说是可预测的),即:只要输入数据相同就应产生相同的输出。

这个函数之所以是不可预测的,就是因为函数中使用了static变量,因为static变量的特征,这样的函数被称为:带“内部存储器”功能的的函数。因此如果我们需要一个可重入的函数,那么,我们一定要避免函数中使用static变量,这种函数中的static变量,使用原则是,能不用尽量不用。

将上面的函数修改为可重入的函数很简单,只要将声明sum变量中的static关键字去掉,变量sum即变为一个auto 类型的变量,函数即变为一个可重入的函数。

当然,有些时候,在函数中是必须要使用static变量的,比如当某函数的返回值为指针类型时,则必须是static的局部变量的地址作为返回值,若为auto类型,则返回为错指针。

posted @ 2015-05-16 16:42  FightingBoy&Gril  阅读(449)  评论(0编辑  收藏  举报