第3章数据..docVIP

第3章 数据 1.作用域 4种不同的作用域：文件作用域，函数作用域，代码块作用域和原型作用域。 1) 代码块作用域 位于一对花括号之间的所有语句称为一个代码块。任何在代码块的开始位置声明的标识符都具有代码作用域(block scope)，表示它们可以被这个代码块中的所有语句访问。 但位于函数内，则变量的作用是从其声明处开始，到其函数结束为止。例子如下： #includestdio.h 例1-1： void fun() { int c=30; printf(c=%d###,d=%d\n,c,d); int d=40; } int main() { int a=10; printf(a=%d###,b=%d\n,a,b); int b=20; // fun(); return 1; } 以上编译，报错： F:\test\scope\scope.cpp(7) : error C2065: d : undeclared identifier F:\test\scope\scope.cpp(15) : error C2065: b : undeclared identifier 对于局部变量，如果声明时不赋初值，在编译时会报以下warning，但仍然可以编译通过。如例1-2： 例1-2： int main() { int a; printf(a=%d###d\n,a); return 1; } 编译提示如下： warning C4700: local variable a used without having been initialized 声明于每个代码块的变量无法被另一个代码块访问，因为它们的作用域并无重叠之处。由于两个代码块的变量不可能同时存在，所以编译器可以把它们存储于同一个内存地址。这种共享并不会带来任何危害，因为在任何时刻，两面三刀个非嵌套的代码块最多只有一个处于活动状态。如例1-3： 例1-3： int main() { if(0) { int a=10; printf(a=%d###d\n,a); } else { int a=20; printf(a=%d###d\n,a); } return 1; } 编译正常通过，因为任何时刻，只有一个代码块处于活动状态。 2) 文件作用域 任何在所有代码块之外声明的标识符都具有文件作用域(file scope)，它表示这些标识符从它们的声明之处直到它所在的源文件结尾处都是可以访问的。在文件中定义的函数名也具有文件作用域，因为函数名本身并不属于任何代码块。如例1-4中，a的作用域是从其声明之处，到文件结尾都是可以访问的，所以fun()函数可以访问a。但b的作用域则是在函数fun()之后才声明的，可以函数fun()是不可以访问b的。 例1-4： int a; void fun() { a=10 printf(a=%d###,b=%d\n,a,b); } int b=30; int main() { fun(); return 1; } 2.链接属性 一个程序的的各个源文件是分别被编译出来的，当各个源文件分别被编译出来之后，所有的目标文件以及那些从一个或多个函数库中引用的函数链接在一起。 标识符的链接属性(linkage)决定如何处理在不同文件中出现的标识符。标识符的作用域与它的链接属性有关，但这两个属性并不相同。 链接属性有3种----external(外部)，internal(内部)和none(无)。 属于internal链接属性的标识符在同一个源文件内的(相同名字的标识符的)所有声明中，都指同一个实体，但位于不同源文件的多个(相同名字的标识符的)声明，则分属不同的实体。 属于external链接属性的标识符不论声明多少次，位于几个源文件都表示同一个实体。(所以，不能在多个源文件中，声明同一个相同名字的标识符。) 1)在任何一个源文件中声明一个变量，则这个变量的缺省情况下，其链接属性为external。 2)static关键字：如果某个声明在正常情况下，具有external链接属性，在它前面加上static关键字可以使它的链接属性变为internal，如： static int var2 那么这个变量var2就将为这个源文件所私有。在其他源文件(fun1.cpp)中，如果也链接到一个叫做var2的变量，那么它(fun1.cpp)所引用的是另一个不同的变量。 例1-5： 打印结果如下所示： 可见，fun1.cpp与fun2.cpp中的var2为两个不同的实体。 2)extern关键字：它为一个标识符指定external链接属性，这样就可以访问在其他任何位置定义的这个实体(如：fun1.cpp