存储持续性、作用域和链接性

这一节概念很多，记录下来，方便复习。

C++11有四种不同的方案来存储数据，分别是：

自动存储持续性：在函数定义中声明的变量（包括函数参数）的存储持续性为自动的。

静态存储持续性：在函数定义外定义的变量和使用关键字static定义的变量的存储持续性都为静态。它们在程序整个运行过程中都存在。

线程序存储持续性：本书（C++primer6）不讨论

动态存储持续性：用new分配的内存将一直存在，直到被delete释放。这种内存的存储持续性为动态的，有时被称为自由存储或堆。

作用域描述了名称在文件（翻译单元）的多大范围内可见。

链接性描述了名称如何在不同单元间共享。链接性为外部的名称可在文件间共享，链接性为内部的名称只能由一个文件中的函数共享。自动变量的名称没有链接性，因为它们不能共享。

不同的C++存储方式是通过存储持续性、作用域和链接性来描述的。

自动存储持续性：

当由两个同名的变量（一个位于外部代码块中，一个位于内部代码块中），当程序执行内部代码块中的语句时，新的定义隐藏了以前的定义，新定义可见，旧定义暂时不可见。在程序离开该代码块时，原来的定义由重新可见。

自动变量和栈，自动变量的数目随函数开始和结束进行增减，因此程序必须在运行时对自动变量进行管理。常用的方法是留出一段内存，将其视为栈。

程序使用两个指针来跟踪栈，一个指针指向栈底——栈的开始位置，另一个指针指向栈顶——下一个可用内存单元。当函数被调用时，其自动变量将被加入到栈中，栈顶指针指向变量后的下一个可用的内存单元。函数结束时，栈顶指针被重置为函数调用前的值，从而释放新变量使用的内存。新值没有被删除，但不再被标记，它们所占据的空间将被下一个将值加入到栈中的函数调用所使用。

栈式(LIFP)后进先出的。

静态持续变量：C++为静态存储持续性变量提供了三种链接性：外部链接性（代码块外面声明）、内部链接性（代码块外面声明，并使用static限定符）和无链接性（代码块内部声明，并使用static限定符）。这三种链接性都在整个程序执行期间存在，与自动变量相比，寿命更长。

编译器将分配固定的内存块来存储所有的静态变量，这些变量在整个程序执行期间一直存在。如果没有显式地初始化静态变量，编译器将把它设为0.

静态持续性、外部链接性：

链接性为外部的变量通常称为外部变量（全局变量），它们的存储持续性为静态，作用域为整个文件。

单定义规则指出，变量只能定义一次。为满足这种需要，c++提供了两种变量声明。一种是定义声明或简称为定义，它给变量分配存储空间。另一种是引用声明，或简称为声明，它不给变量分配存储空间，因为它引用已有的变量。

引用声明使用关键字extern，且不进行初始化；否则，声明为定义，导致分配存储空间。

c++提供了作用域解析运算符::。该运算符表示使用变量的全局版本。