(2)内存分配
c语言中描述变量的时候常用的两个用语
1.作用域:也叫可见域,指的是变量的作用范围。在哪个范围内,该变量是可见的、可以使用的。
2.生存期:也叫存储期,指的是变量从创建到销毁的生存时间段。
作用域和存在域是两个不同的概念,比如在程序的某个位置,某变量存在(内存中分配了地址)但不可见(不可使用)。
作用域
从作用域看,变量分为以下三种:
1.全局变量
在c语言中,把在任何函数之外声明的变量称为全局变量。一般情况下,全局变量在任何地方都是可见的。当然也有例外,比如在语句块{}内声明了一个同名的局部变量,则该全局变量会暂时不可见。
//全局变量 int foo = 5; void fun() { printf(" fun()->foo...%d\n", foo); } int main() { int bar = 3; printf("main()->foo...%d\n", foo); printf("main()->bar...%d\n", bar); { //局部变量,屏蔽同名全局变量foo int foo = 6; printf(" {}->foo...%d\n", foo); //局部变量,屏蔽同名局部变量bar int bar = 4; printf(" {}->bar...%d\n", bar); } fun(); return 0; }
运行
从运行结果可以看出全局变量的可见范围。当然,如果在全局变量未被声明之前就试图使用它,则也会出错。(这与规则:“未声明,不可使用”有关。)
除此之外,c中的设计思想是:一个全局变量也是一个默认的外部变量(extern)。也就是说,一个全局变量不仅在本文件中是全局可见的,在别的文件中也是可见的。如
//1.c int foo;
在另一个文件中有
//2.c int foo;
编译报错:foo被重复定义,命名冲突。
这种默认行为被广为诟病,不少人认为,变量的可见域默认下应仅限于当前文件,需要扩大时,应该由程序员自己控制。并且对于函数,也有同样的默认行为。
如何防止这种行为?
(1)若是确实需要使用一个同名的变量,则可对已存在的同名全局变量用static修饰,使之成为静态的全局变量。这样它的可见域,就仅限于它所在的文件之内。如
//1.c static int foo; //可见域被限制于本文件内
在另一个文件中重新声明 int foo; 没有问题。
(2)不定义新的,直接使用别的文件中的全局变量。语法是 extern int foo; 关键字 extern 是外部的意思,表明变量 foo,已在别的地方定义,这里只是在使用之前,作一个声明而已,不是重复定义。当然不作此声明也是不可用的,这再次体现了:可见,但不一定可用。
2.文件内部的静态变量
这就是上文中说的静态的全局变量。
3.局部变量
在函数中,或更直接的说是在语句块{}内定义的变量,是局部变量。它的可见域仅限于语句块内,在其它地方无法引用。局部变量在函数被调用时由系统分配存储区,在不同的函数中同名的变量实际上在内存中占不同的单元,因此在不同的函数中可以定义相同名字的局部变量。如函数的形参,main函数中定义的变量都是局部变量。
对作用域进行总结
c语言中存在三种作用域
(1)块作用域
自动变量(auto、register)和内部静态变量(static)具有块作用域,在一个块内声明的变量,其作用域从声明点开始,到该块结束为止。函数定义中声明的形参,其作用域限定在该函数体内,与其他函数中声明的同名变量不是一回事,允许在不同的函数中使用相同的变量名,编译器将为这些变量分配不同的存储单元,不会冲突。
(2)文件作用域
外部静态变量(static)具有文件作用域,从声明点开始到文件末尾,此处所指的文件是编译基本单位—c文件。
(3)全局(程序)作用域
全局变量(extern)具有全局作用域,只要在使用前对其进行声明,便可在程序(由若干个文件组成)的任意位置使用全局变量。
生存期
从生存期看,分为以下三种:
1.静态变量(static variable)
全局变量和指定static的局部变量,都具有静态存储期。它们从程序开始一直到程序结束都存在,故被统称为静态变量。
2.自动变量(auto variable)
没有被指定为static的局部变量和寄存器变量(register variable)都是自动变量。函数的形参及代码块中定义的变量都属于auto变量,这是C语言中应用最广的一种变量,这类变量是栈分配的,是动态分配存储空间的。举函数形参为例,当调用该函数时,为形参分配存储空间,当函数调用结束时,就自动释放这些存储空间。对代码块中定义的变量(包含函数中定义的变量),当执行到变量声明语句时,系统为这些auto变量分配空间,当程序流程离开代码块时,这些变量被自动撤销,其占用的内存空间被释放。
3.堆变量
通过malloc()函数分配内存区域的变量被放在堆中,故称为堆变量。并且似乎这个“堆”和数据结构中的堆没有什么联系,只是一种称呼而已。这种变量需要手动释放内存区域:free(变量名),也就是说它从创建时起就一直存在直到使用free()释放为止。当然,即使最后忘了释放,如今的操作系统也会在程序结束后释放为它分配的内存。不过仍然建议:谁创建,谁释放。
娓娓道来c指针 (2)内存分配