(转)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了。
