(转)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了。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步