变量的存储类型是指存储变量值的内存类型。变量的存储类型决定变量何时创建、何时销毁以及它的值将保持多久。有三个地方可以用于存储变量:普通内存、运行时堆栈、硬件寄存器。在这三个地方存储的变量分别具有不同的特性。
变量的缺省存储类型取决于他的声明位置。凡是在任何代码块之外声明的变量总是存储于静态内存中,也就是不属于堆栈的内存,这类变量称为静态变量。对于这类变量,你无法为他们指定其他存储类型。静态变量在程序运行之前创建,在程序的整个执行过程始终存在。他始终保持原先的值,除非给它赋一个不同的值或程序结束。
在代码块内部声明的变量的缺省存储类型是自动的,也就是说它存储于堆栈中,称为自动变量。有一个关键字auto就是用于修饰这种存储类型的,但它极少使用,因为代码块中的变量在缺省情况下就是自动变量。在程序执行到声明自动变量的代码块的时候,自动变量才被创建,当程序的执行流离开该代码块时,这些自动变量便自行销毁。如果该代码块被数次执行,例如一个函数被反复调用,这些自动变量每次都将重新创建。在代码块再次执行的时候,这些自动变量在堆栈中所占据的内存位置有可能与原先的位置相同,也有可能不同。即使它们所占据的位置相同,你也不能保证这块内存同时不会有其他的用途。因此,我们可以说自动变量在代码块执行完之后就消失。当代码块再次执行是,它们的值一般不是上次执行的值。
对于在代码块内部声明的变量,如果给它加上关键字static,可以使它的存储类型从自动变为静态。具有静态存储类型的变量在整个程序执行过程中一直存在,而不仅仅在声明它的代码块的执行时存在。注意,修改变量的存储类型并不能表示修改该变量的作用域,它依然只能在该代码块内部按名字访问。函数的形式参数不能够生命为静态,因为实参总是在堆栈中传递给参数,用于支持递归。