变量的存储类型以及存储位置

变量的存储类型(storage class)是指存储变量值的内存类型,变量的存储类型决定变量何时创建、何时销毁以及它的值保持多久。
————————————————————
有三个地方可用于存储变量,具有不同特性:
1. 普通内存
2. 运行时堆栈
3. 硬件寄存器

————————————————————
静态变量:
变量的默认存储类型取决于它的声明位置,凡在任何代码块之外声明的变量总是存储于静态内存,也就是不属于堆栈的内存,这类变量称为静态(static)变量。
对于这种变量你无法为它指定其它存储类型。
静态变量在程序运行前创建,在程序运行期间始终存在,它始终保持原先的值,除非给它赋一个不同的值或者程序结束。
————————————————————
自动变量:
在代码块内部声明的变量的默认存储类型是自动的(automatic)也就是说它存储于堆栈中,称为自动(auto)变量。
然而关键字"auto"却极少使用,因为代码块中的变量默认就是自动变量。

自动变量的创建与销毁:
在程序执行到声明自动变量的代码块时,自动变量才被创建;当程序流离开代码块时,这些变量自动销毁,当代码块被多次执行(如多次调用一个函数)这些自动变量每次都将被重新创建。

自动变量的存储位置:
这些自动变量在堆栈中占据的内存位置可能和原来的位置相同,也可能不同;即便位置相同但也不能保证这块内存同时不会有其它作用;

自动变量的总结:
因此,我们可以说自动变量在代码块执行完后就消失(销毁),但代码再次执行时它们的值未必是上一次的值。
————————————————————
关键字static和register
对于在代码块内部声明的变量,如果给它加上关键字static,可以使它的存储类型由自动变为静态。
具有静态存储类型的变量在整个程序执行过程中一直存在,而不仅仅在声明它的代码块执行时存在。
值得注意:修改变量的存储类型并不表示修改变量的作用域,它仍然只在该代码块内部按名字访问。
函数的行参不能声明为静态,因为实参总是在堆栈中传递给函数,用于支持递归。

寄存器变量:
register关键字可以用于自动变量的声明。提示它们将存储于硬件寄存器而不是内存中,这类变量称为寄存器变量。

通常寄存器变量比存储于内存中的变量访问起来效率更高。但是编译器不一定理睬
register关键字,如果过多的变量被声明为register,编译器只会选几个存放于寄存器中,其它按普通auto类型处理。
————————————————————
寄存器变量的创建与销毁:
寄存器变量的创建与销毁时间和自动变量是相同的,但它需要一些额外的工作:

在一个使用寄存器变量的函数返回之前,这些寄存器先前存储的值必须恢复,确保调用者的寄存器变量未被破坏,许多机器使用运行时堆栈来完成这个任务:
当函数开始执行时,它把需要使用的所有寄存器内容都保存在堆栈中;
当函数返回时,这些值再复制回寄存器中;

值得注意:通常并不为寄存器变量指定地址。

你可能感兴趣的:(变量的存储类型以及存储位置)