名字的作用域
不论是在程序的什么位置,使用的名字都会指向一个特定的实体:变量、函数、类型等。然而,同一个名字如果出现在程序的不同位置,也可指向的是不同实体。
作用域(scope)是程序的一部分,在其中名字有特定的含义。C++语言中大多数作用域都是以花括号分隔。
同一个名字在不同的作用域可能指向不同的实体。名字的有效区域始于名字的声明语句,以声明语句所在的作用域末端为结束。
例子
#include <iostream>
int main()
{
int sum = 0; // sum用于存放从1到10的和
for (int val = 1; val <= 10; ++val)
sum += val;
std::cout << " sum of 1 to 10 inclusive is " << sum << std::endl;
return 0;
}
程序执行结果:
sum of 1 to 10 inclusive is 55
该程序定义了3个名字:main、sum 和 val,同时使用了命名空间名字 std,该空间提供了 cout 和 cin 共程序使用。
名字 main 定义于所有花括号之外,他和其他大多数定义在函数体之外的名字一样拥有全局作用域。一旦声明之后,全局作用域内的名字在整个程序的范围内都可以使用。名字 sum 定义于 main 函数所限制的作用域之内,从声明 sum 开始直到 main 函数结束为止都可以访问它,但是除了 main 函数所在的块就无法访问了,因此说变量 sum 拥有块作用域。名字 val 定义于 for 语句内,在 for 语句之内可以访问 val,但是在 main 函数的其他部分就不能访问它了。
嵌套的作用域
作用域能够彼此包含,被包含(或者被嵌套)的作用域称为内层作用域(inner scope)包含别的作用域的作用域称为外层作用域(outer scope)
作用域中一旦声明了某个名字,它所嵌套的所有作用域中都可以访问该名字。同时,允许在内层作用域中重新定义外层作用域已有的名字。
例子
/* 该程序仅用于说明: 函数内部不易定义与全局变量同名的新变量 */
#include <iostream>
int reused = 42; // reused 拥有全局作用域
int main()
{
int unique = 0; // unique 拥有块作用域
/* 输出#1:使用全局变量 reused; 输出 42 0 */
std::cout << reused << " " << unique << std::endl;
int reused = 0; // 新建局部变量 reused,覆盖了全局变量 reused
/* 输出#2:使用局部变量 reused; 输出 42 0 */
std::cout << reused << " " << unique << std::endl;
/* 输出#3:显示的方位全局变量 reused; 输出 42 0 */
std::cout << ::reused << " " << unique << std::endl;
return 0;
}
程序执行结果
42 0
0 0
42 0