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

转载

 

guyue

2013—7—26