标识符的作用域与可见性

 作用域是一个标识符在程序正文中有效的区域。

 作用域分类

 函数原型作用域

 局部作用域(块作用域)

 类作用域

 文件作用域

 命名空间作用域（详见第10章）

函数原形作用域

 函数原型中的参数，其作用域始于"("，结束于")"。

 函数原形作用域举例

double area(double radius)；

局部作用域

 函数的形参、在块中声明的标识符；

 其作用域自声明处起，限于块中。

 局部作用域举例

void fun(int a) {
 int b = a;
 cin >> b;
 if (b > 0) {
 int c;
 ......
 }
}

类作用域

 类的成员具有类作用域，其范围包括类体和非内联成员函数的函数体。

 如果在类作用域以外访问类的成员，要通过类名（访问静态成员），或者该类的对象名、对象引用、对象指针（访问非静态成员）。

 文件作用域

 不在前述各个作用域中出现的声明，就具有文件作用域，这样声明的标识符其作用域开始于声明点，结束于文件尾。

可见性

 可见性是从对标识符的引用的角度来谈的概念

 可见性表示从内层作用域向外层作用域“看”时能看见什么。

 如果标识在某处可见，就可以在该处引用此标识符。

 如果某个标识符在外层中声明，且在内层中没有同一标识符的声明，则该标识符在内层可见。

 对于两个嵌套的作用域，如果在内层作用域内声明了与外层作用域中同名的标识符，则外层作用域的标识符在内层不可见。

例 5-1

//5_1.cpp
#include <iostream>
using namespace std;
int i; //全局变量，文件作用域
int main() { 
 i = 5; //为全局变量 i 赋值
 {
 int i; //局部变量，局部作用域
 i = 7;
 cout << "i = " << i << endl;//输出 7
 }
 cout << “i = ” << i << endl;//输出 5
 return 0;
}