(转)C++作用域

每一种语言,其变量、函数、或者对象、指针等都有其生存期,也就是作用域。这个是语言自身的最基本的一个知识,以C++为例子,说明作用域的范围:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
typedef string Type;
 Type initVal( );
  class Exercise
 {
     public:
        typedef double Type;
       Type setVal(Type);
       Type  initVal();
     private:
        int val;
 };
  Type Exercise::setVal(Type parm)
 {
   val=parm+initVal();
 }

    这段程序是无法通过编译的,以这个程序为例子,我们详细探讨C++作用域的问题。
   首先,要分清全局作用域、局部作用域 和类作用域,以上述程序为例子,
   全局变量,就是全局作用域,他的生存周期是整个文件。
  而类作用域就是类体,不用的类具有不同的类作用域。
   局部作用域可以认为就是一个函数内部,其定义的变量生存周期不过这个函数的{}括号内。
    在类作用域内,会屏蔽掉全局作用域的,比如,Type setVal(Type);,这里面的Type就是 类作用域的 double,而不是全局作用域的string。而一定要记住:
    形参表和函数体都处在类作用域中,这样,就不难明白,为什么 (Type)也是 类作用域的doubule了。
    然而,和形参表不同,函数返回值则不一定在类作用域中了,以产生二义性的类体为例子:

1
2
3
4
Type Exercise::setVal(Type parm)
{
  val=parm+initVal();
}

   这个Type函数返回限定值,明显就是使用的全局作用域里的 string。除非,你可以增加一个 Exercise::Type Exercise::setVal(/**/);
   这样才能够将返回值限定到了 类作用域里面。
    那么,如果在函数内部,局部作用域屏蔽全局作用域,我们改怎么办呢?  用作用域限定符 ::。   ::Type,那么就会使用全局作用域了,不用累赘了。
    类作用域的名字查找是怎么回事呢?
     首先,编译器要在 该名字的局部作用域中进行查找,明确点的说,就是在一个函数体内,一定要记住:作用域查找只考虑在该项使用之前的声明的名字。这也是为什么凡是对象(泛值,在我眼里,int也可以算作对象)必须先定义才能使用的原因,而不能先使用在定义。
     如果在局部作用域查找不到,那么就会去类作用域去查找,继而才会去全局作用域查找,这也是为什么往往局部作用域屏蔽全局作用域的原因了,不难解释,
    上述代码为什么会产生二义性而导致编译出错:
    首先,

1
2
3
4
Type Exercise::setVal(Type parm)
{
  val=parm+initVal();
}

   Type 没有使用作用域限定符,那么,编译器会自动认为是全局作用域的string类型,而函数形参表里的Type却会被认为是 类作用域里的double类型,那么,编译器无法分辨这个setVal函数重载,编译器会认为这个setVal函数是一对重载的函数,这对重载的函数仅仅因为返回类型的不同而不能构成合法的重载,所以出现二义性的错误。
   正确的应该改为:

1
2
3
4
Exercise::Type Exercise::setVal(Type parm)  //类作用域限定符
  {
    val=parm+initVal();
  }

   这样就OK了。

转自:http://www.hadoopor.com/thread-1145-1-1.html

posted @   ForFreeDom  阅读(587)  评论(0编辑  收藏  举报
努力加载评论中...
点击右上角即可分享
微信分享提示