作用域和可见性(转)

原文地址:http://www.jizhuomi.com/software/59.html

 上一讲鸡啄米大概介绍了下UML知识,这一讲开始鸡啄米就要讲讲C++程序设计中必知的一些结构和语法的知识点。这些都是很基础但是很有必要掌握的知识,能够很好的利用这些知识就表示你有一些内功了哦。

       这些必知的知识包括作用域、可见性和生存期,还有局部变量、全局变量、类的数据成员、静态成员及友元和数据等。这一讲鸡啄米会给大家详细讲讲作用域和可见性。作用域是用来表示某个标识符在什么范围内有效,可见性是指标识符是否可见,可引用。

       1.作用域

       作用域是这样一个区域,标识符在程序的这个区域内是有效的。C++的作用域主要有四种:函数原型作用域、块作用域、类作用域和文件作用域。

       a.函数原型作用域

       函 数原型大家还记得吗?比如:void fun(int x);这个语句就是函数原型的声明。函数原型声明中的形参的作用范围就是函数原型作用域。fun函数中形参x有效的范围就在左、右两个括号之间,出了这两 个括号,在程序的其他地方都无法引用x。标识符x的作用域就是所谓的函数原型作用域。函数原型如果有形参,声明时一定要有形参的类型说明,但是形参名比如 x可以省略,不会对程序有任何影响,一般为了程序可读性好,我们一般都写上一个容易理解的形参名。函数原型作用域是最小的作用域。

       b.块作用域

       这里说的块就是一对大括号括起来的一段程序,块中声明的标识符在什么范围内有效呢?从标识符声明处到块结束的大括号之间都有效。也就是说块中标识符的作用域就是从标识符声明处开始,到块结束的大括号为止。鸡啄米给大家个例子说明下:

void fun(int x)
{  
     int a(x);               // a的作用域开始
     cin>>a;
     if (a>0)
     {
             int b;          // b的作用域开始
             ......
      }                       // b的作用域结束
}                             // a的作用域结束

      在fun的函数体内声明了整型变量a,又在if语句的分支内声明了变量b,a和b都具有块作用域,但是它们的块作用域并不同。a的作用域从其声明处开始, 到其所在块的结束处也就是整个函数体结束的地方为止,b的作用域是从b声明处开始到其所在块结束也就是if分支体结束0的地方为止。

       c.类作用域

       假设有一个类A,A中有一个数据成员x,x在A的所有函数成员中都有效,除非函数成员中也定义了一个名称为x的变量,这样的x就具有类作用域。为什么要排 除含有另一个名称也为x的变量的函数成员呢?因为那样的话A的数据成员x在此函数成员被函数成员中的另一个x覆盖,不可见了,关于可见性下面会讲。

       函数成员访问的大多数数据成员都具有类作用域。我们一般用a.x的方式访问类A的对象a的数据成员x,这里的x就具有类作用域。

       符号“.”用于访问对象的成员,包括函数成员。比如,a.fun(x)用来调用对象a的函数fun。如果ptr是指向类A的一个对象的指针,则访问其数据成员x的方式为ptr->x,访问函数成员的形式如:ptr->fun(x)。

       d.文件作用域

       如果一个标识符没有在前三种作用域中出现,则它具有文件作用域。这种标识符的作用域从声明处开始,到文件结尾处结束。

       鸡啄米举个例子说明下文件作用域:

#include<iostream>
using namespace std;
int i;   //文件作用域
int main()
{
     i=1;
     {                                              //子块
      int i;                                        //块作用域
      i=2;
      cout<<"i="<<i<<endl;                 //输出2
      }
      cout<<"i="<<i;                          //输出1
      return 0;
}

      上面的例子中,在main函数之前声明了变量i,i在整个源文件中都有效,即它具有文件作用域。而在子块中也声明一个变量i,这个i具有块作用域。 进入main函数后给i赋了初值1,在子块中又声明了一个同名变量i,并赋初值2,第一次输出i时输出i=2,为什么呢?因为子块里具有块作用域的i把外 面具有文件作用域的i屏蔽掉了,就是说在子块中,具有文件作用域的i是不可见的。出了子块后,具有块作用域的i就无效了,所以就输出具有文件作用域的i的 值i=1。

        2.可见性

       标识符的可见性是指在程序的某个地方是否是有效的,是否能够被引用被访问。程序运行到某一处时,能够访问的标识符就是在此处可见的标识符。

       上面说的四种作用域中,最大的是文件作用域,其次是类作用域,再次是块作用域。它们的包含关系是:

                                                  

       作用域可见性要注意的几点是:
       a.我们要引用标识符时,必须先声明标识符。
       b.在一个作用域内,不能声明多于一个的同名的标识符。
       c.在不同的作用域,并且这些作用域间没有互相包含关系,则可以在其中声明同名标识符,这些同名标识符不会互相影响。
       d.如果在有包含关系的作用域中声明了同名标识符,则外层作用域中的标识符在内层作用域中不可见。

       我们再来看下文件作用域中的那个例子,此例就是文件作用域中包含了块作用域的例子。在子块之前可以引用具有文件作用域的变量i,此时它是可见的,但是进入 子块后,就只能引用具有块作用域的变量i了,这时具有文件作用域的变量i就不可见了,这就是上面d中说的外层的标识符被内层的同名标识符屏蔽,这也叫做同 名覆盖。

posted on 2013-08-21 16:53  大浪 淘沙  阅读(591)  评论(0编辑  收藏  举报

导航