C++变量作用域和声明周期

对一个C++变量来说，有两个属性非常重要：作用域和生命周期，它们从两个不同的维度描述了一个变量–时间和空间。顾名思义，作用域就是一个变量可以被引用的范围，如：全局作用域、文件作用域、局部作用域；而生命周期就是这个变量可以被引用的时间段。不同生命周期的变量，在程序内存中的分布位置是不一样的。一个程序的内存分为代码区、全局数据区、堆区、栈区，不同的内存区域，对应不同的生命周期。
有很多方法来指定一个变量的作用域和生命周期。最常见的，如：{ }、static修饰符等。下面按照作用域与生命周期来对变量做一个分类：

1.
全局变量
作用域：全局作用域（全局变量只需在一个源文件中定义，就可以作用于所有的源文件。）
生命周期：程序运行期一直存在
引用方法：其他文件中要使用必须用extern 关键字声明要引用的全局变量。
内存分布：全局数据区
注意：如果在两个文件中都定义了相同名字的全局变量，连接出错：变量重定义
全局静态变量
作用域：文件作用域（只在被定义的文件中可见。）
生命周期：程序运行期一直存在
内存分布：全局数据区
定义方法：static关键字，const 关键字
注意：只要文件不互相包含，在两个不同的文件中是可以定义完全相同的两个静态变量的，它们是两个完全不同的变量
静态局部变量
作用域：局部作用域（只在局部作用域中可见）
生命周期：程序运行期一直存在
内存分布：全局数据区
定义方法：局部作用域用中用static定义
注意：只被初始化一次，多线程中需加锁保护
局部变量
作用域：局部作用域（只在局部作用域中可见）
生命周期：程序运行出局部作用域即被销毁
内存分布：栈区
注意：auto指示符标示
还有一点要说明，掌握static关键字的使用很关键。以下是引用别人的一些经验之谈：
Tips:
若全局变量仅在单个C文件中访问，则可以将这个变量修改为静态全局变量，以降低模块间的耦合度；
若全局变量仅由单个函数访问，则可以将这个变量改为该函数的静态局部变量，以降低模块间的耦合度；
设计和使用访问动态全局变量、静态全局变量、静态局部变量的函数时，需要考虑重入问题，因为他们都放在静态数据存储区，全局可见；
如果我们需要一个可重入的函数，那么，我们一定要避免函数中使用static变量(这样的函数被称为：带“内部存储器”功能的的函数)
函数中必须要使用static变量情况:比如当某函数的返回值为指针类型时，则必须是static的局部变量的地址作为返回值，若为auto类型，则返回为错指针。

2.
变量的类型：
1. 局部变量和全局变量
局部变量也称为内部变量。 局部变量是在函数内作定义说明的。其作用域仅限于函数内， 离开该函数后再
使用这种变量是非法的。

全局变量也称为外部变量，它是在函数外部定义的变量。它不属于哪一个函数，它属于一个源程序文件。其
作用域是整个源程序。在函数中使用全局变量，一般应作全局变量说明。 只有在函数内经过说明的全局变
量才能使用。全局变量的说明符为 extern。但在一个函数之前定义的全局变量，在该函数内使用可不再加
以说明。

从变量的作用域(全局作用域，局部作用域，文件作用域)（即从空间）角度来分，可以分为
全局变量（静态全局变量的作用域是该文件范围(文件作用域)
局部变量。

从另一个角度，从变量值存在的作时间（即生存期）角度来分，可以分为静态存储方式和动态存储方式。
可见生存周期只是和变量存储的位置相关。

auto变量：
    函数中的局部变量，如不专门声明为 static 存储类别，都是动态地分配存储空间的，数
   据存储在动态存储区中。函数中的形参和在函数中定义的变量（包括在复合语句中定义的变
   量），都属此类，在调用该函数时系统会给它们分配存储空间，在函数调用结束时就自动释
   放这些存储空间。这类局部变量称为自动变量。自动变量用关键字 auto 作存储类别的声明。
   关键字 auto可以省略，auto 不写则隐含定为“自动存储类别”，属于动态存储方式。

用 static声明局部变量 ：
有时希望函数中的局部变量的值在函数调用结束后不消失而保留原值，这时就应该指定局部变量为“静态
局部变量”，用关键字 static 进行声明
[转载]C语言中变量的作用域和生命周期

  register变量：
    为了提高效率，C 语言允许将局部变量得值放在 CPU 中的寄存器中，这种变量叫“寄存器变量”，用
    关键字 register 作声明。
    1)  只有局部自动变量和形式参数可以作为寄存器变量；
    2)  一个计算机系统中的寄存器数目有限，不能定义任意多个寄存器变量；
    3)  局部静态变量不能定义为寄存器变量


  用extern声明外部变量：
    外部变量（即全局变量）是在函数的外部定义的，它的作用域为从变量定义处开始，到
   本程序文件的末尾。如果外部变量不在文件的开头定义，其有效的作用范围只限于定义处到
   文件终了。如果在定义点之前的函数想引用该外部变量，则应该在引用之前用关键字 extern
   对该变量作“外部变量声明”。表示该变量是一个已经定义的外部变量。有了此声明，就可
   以从“声明”处起，合法地使用该外部变量。

总结：

从作用域来划分分为：

             -   自动变量auto，即动态局部变量(离开函数，值消失)
 局部变量    -   静态局部变量static(离开函数，值还保留)
             -   寄存器局部变量register(离开函数，值消失)
             -   形式参数可以定义为自动变量或者register变量

             -  静态外部变量(作用域只能在该文件中，文件作用域)
全局变量     -  外部变量(非静态外部变量,全局变量，可以被其它文件使用)

从变量的生存周期来分：
- 自动变量auto
动态存储 - 寄存器变量register
- 形式参数

            -  静态局部变量
静态存储    -  静态外部变量
            -  外部变量(全局变量)

从变量值存放的位置：

                                    -  静态局部变量
内存中的静态存储区(全局数据区)      -  静态外部变量
                                    -  外部变量(全局变量)


                          -  自动变量auto
内存中的动态存储区(栈)    -  形式参数


CPU中的寄存器   - 寄存器变量register

局部静态(static)变量，作用域为局部，而生命周期是全程。 静态局部变量属于静态存储方式，它具有以下特点： (1)静态局部变量在函数内定义，但不象自动变量那样，当调用时就存在，退出函数时就消失。静态局部变量始终存在着，也就是说它的生存期为整个源程序。 (2)静态局部变量的生存期虽然为整个源程序，但是其作用域仍与自动变量相同，即只能在定义该变量的函数内使用该变量。退出该函数后， 尽管该变量还继续存在，但不能使用它。
3.
C++的变量名覆盖问题
在C++语言学习中有一个很经典的代码程序如下：

//
// 警告：本示例代码仅为演示C++的变量名覆盖问题，在实际编码中请勿采用。
// 请遵循良好的编码风格，勿在不同名空间声明同名的变量。

#include <stdio.h>

float demo_var = 2.0;   // declaration of global variable named as 'demo_var'

float foo();

int main(int argc, char **argv)
{
    printf("Global demo_var = %f.\n", demo_var);

    float demo_var = 888888.8;   // local variable in main() name as 'demo_var' also.

    float ret = foo();
    printf("The return value for foo() is : %f.\n", ret);

    printf("in main(): demo_var = %f, ::demo_var = %f.\n", demo_var, ::demo_var);

    return 0;
}

float foo()
{
    float demo_var = 99.99;   // auto variable in foo() with the name 'demo_var' too.
    printf("Local demo_var = %f, global demo_var = %f.\n", demo_var, ::demo_var);
    return demo_var;
}

我们看一下名为demo_var的变量前后共声明了3次，以蓝色字体显示。
1. 定义一个全局变量，名为demo_var，初值为2.0.程序运行时，该变量的内存地址在全局data段。
2. 在main函数中声明一个自动变量，名为demo_var，初值为888888.8。该变量内存地址在main函数栈中。
3. foo函数中声明一个自动变量，名为demo_var，初值为99.99。该变量内存地址在foo函数栈中。

再来看一下，这3个同名变量在程序运行过程中是何时创建的？
把代码编译成可运行程序，通过命令行（或其它方式）启动程序，
操作系统创建一个进程，先设定运行环境，此时全局变量（第1次定义）在data内存段被创建。
操作系统接着调用main()函数，
输出一个打印语句（因为main函数中的demo_var定义语句还没运行到，此行输出的是全局变量值）。
main（）函数接着定义一个名为demo_var的局部自动变量（可以也应该取其它的变量名），这个变量在main函数栈中，main函数结束后将自动释放。

main函数调用foo函数，foo函数栈创建。
foo函数栈中创建一个变量，名为demo_var（同样可以也应该取别的名字），
打印语句认为demo_var是在foo函数栈定义的变量（因为它懒，不想跑到很远的data内存段读全局的demo_var,而main函数栈空间对它是不可见的），想要访问全局的demo_var，C++提供了全局空间操作符::
foo函数结束时返回demo_var（foo函数本地定义的）值给调用者。

main函数接着运行输出foo返回值的打印语句，
然后输出main函数定义的变量demo_var，同样输出全局的demo_var需要用到::
可以看到C++语言提供了命名空间来解决命名（函数名，变量名及类名等）冲突的问题，
不同的空间可以有同名的变量，但它们不是同一个实体，
对计算机程序而言，同一个实体指存在于同一个内存地址并且是具有相同的类型。

请用C++编译器编译该代码，绝大部分的C编译器并不能识别::运算符（C++的全局空间运算符）
程序编译运行结果如下：
Global demo_var = 2.000000.
Local demo_var = 99.989998, global demo_var = 2.000000.
The return value for foo() is : 99.989998.
in main(): demo_var = 888888.812500, ::demo_var = 2.000000.