C++的作用域

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

 

   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了。

    然而，和形参表不同，函数返回值则不一定在类作用域中了，以产生二义性的类体为例子：

  

   

   Type Exercise::setVal(Type parm)

  {

    val=parm+initVal();

  }

 

   这个Type函数返回限定值，明显就是使用的全局作用域里的 string。除非，你可以增加一个 Exercise::Type Exercise::setVal(/**/);

   这样才能够将返回值限定到了 类作用域里面。

 

    那么，如果在函数内部，局部作用域屏蔽全局作用域，我们改怎么办呢？  用作用域限定符 ：：。   ：：Type，那么就会使用全局作用域了，不用累赘了。

 

    类作用域的名字查找是怎么回事呢？

 

     首先，编译器要在 该名字的局部作用域中进行查找，明确点的说，就是在一个函数体内，一定要记住：作用域查找只考虑在该项使用之前的声明的名字。这也是为什么凡是对象（泛值，在我眼里，int也可以算作对象）必须先定义才能使用的原因，而不能先使用在定义。

 

     如果在局部作用域查找不到，那么就会去类作用域去查找，继而才会去全局作用域查找，这也是为什么往往局部作用域屏蔽全局作用域的原因了，不难解释，

    上述代码为什么会产生二义性而导致编译出错：

 

    首先，

   Type Exercise::setVal(Type parm)

  {

    val=parm+initVal();

  }

 

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

 

   正确的应该改为：

 

  

   Exercise::Type Exercise::setVal(Type parm)  //类作用域限定符

  {

    val=parm+initVal();

  }

 

   这样就OK了。