C语言学习总结3—作用域、链接属性、存储类型

---

1、作用域

当变量在程序的某个部分被声明时，它只有在程序的一定区域才能被访问。这个区域由标识符的作用域（scope）决定。标识符的作用域就是程序中该标识符可以被使用的区域。例如，函数的局部变量的作用域局限于该函数的函数体。这个规则意味着两点。首先，其他函数都无法通过这些变量的名字访问它们，因为这些变量在它们的作用域之外便不再有效。其次，只要分属不同的作用域，你可以给不同的变量起同一个名字。
编译器可以确认4种不同类型的作用域一一文件作用域、函数作用域、代码块作用域和原型作用域

位于一对花括号之间的所有语句称为一个代码块。任何在代码块的开始位置声明的标识符都具有代码块作用域（blockscope)，表示它们可以被这个代码块中的所有语句访问。

 

函数形参的作用域开始于形参的声明处，位于函数体之外。如果在函数体内部声明了名字与形参相同的局部变量，它们就将隐藏形参。这样一来，形参便无法被函数的任何部分

2、链接属性

链接属性一共有3种一extermal（外部）、intermal（内部）和none（无）。

没有链接属性的标识符（none）总是被当作单独的个体，也就是说该标识符的多个声明被当作独立不同的实体。

intermal链接属性的标识符在同一个源文件内的所有声明中都指同一个实体，但位于不同源文件的多个声明则分属不同的实体。

external链接属性的标识符不论声明多少次、位于几个源文件都表示同一个实体。

---

1、关键字extern和static用于在声明中修改标识符的链接属性。如果某个声明在正常情况下具有external链接属性，在它前面加上static关键字可以使它的链接属性变为internal。
2、static只对缺省链接属性external的声明才有改变链接属性的效果
3、当extern关键字用于源文件中一个标识符的第1次声明时，它指定该标识符具有extermal链接属性。但是，如果它用于该标识符的第2次或以后的声明时，它并不会更改由第1次声明所指定的链接属性。例如，图3.3中的声明4并不修改由声明1所指定的变量i的链接属性。

3、存储类型

变量的存储类型(storage class)是指存储变量值的内存类型
有三个地方可以用于存储变量：普通内存、运行时堆栈、硬件寄存器

变量的缺省存储类型取决于它的声明位置。凡是在任何代码块之外声明的变量总是存储于静态内存中，也就是不属于堆栈的内存，这类变量称为对于这类变量，你无法为它们指定其他存储类型。静态变量在程序运行之前创建，在程序的整个执行期间始终存在。它始终保持原先的值，除非给它赋一个不同的值或者程序结束，

在代码块内部声明的变量的缺省存储类型是自动的(automatic)，也就是说它存于堆栈中，称为自动(auto)变量。有一个关键字auto就是用于修饰这种存储类型的，但它极少使用，因为代码块中的变量在缺省情况下就是自动变量。在程序执行到声明自动变量的代码块时，自动变量才被创建，当程序的执行流离开该代码块时，这些自动变量便自行销毁。

对于在代码块内部声明的变量，如果给它加上关键字static，可以使它的存储类型从自动变为静态。具有静态存储类型的变量在整个程序执行过程中一直存在，而不仅仅在声明它的代码块的执行时存在。注意，修改变量的存储类型并不表示修改该变量的作用域，它仍然只能在该代码块内部按名字访问。函数的形式参数不能声明为静态，因为实参总是在堆栈中传递给函数，用于支持递归。

最后，关键字register可以用于自动变量的声明，提示它们应该存储于机器的硬件寄存器而不是内存中，这类变量称为寄存器变量。通常，客寄存器变量比存储于内存的变量访问起来效率更高。

4、static关键字总结