C++语言作为一种历史悠久的编译型语言,一直被广泛地运用于大型软件的开发。在实际的软件工程活动中,显然没有办法彻底避免重名变量的使用。然而,对于编译器来说,无法区分的重名变量是完全不能被接受的。
所以,需要引入作用域来区分整个代码中,某一个标识符的有效范围。对于C++程序来说,标识符的作用域有函数原型作用域、局部作用域(块作用域)、类作用域和命名空间作用域。
1、函数原型作用域
是C++程序中最小的作用域,函数原型的声明中一定要包含形参的名称和类型说明,在函数原型声明时形式参数的作用范围就是函数原型作用域。
例如,对于clock类中的成员函数:
void setTime(int newS ,int newM,int newH)
{
//函数体
}
可以看到,newS,newM,newH这三个标识符——也就是这个函数的三个形参——其作用域仅仅局限于这个函数的函数体,也就是说大括号范围之内,在程序的任何其他地方都不能引用这个标识符——所以它们的作用域被称为函数原型作用域。
2、局部作用域
这里的局部作用域主要指的是同一个函数体内(可以是主函数也可以是其他自定义的函数),使用大括号分割的不同代码块——日常开发过程中,较为常见的就是选择结构和循环结构的局部作用域。
举个简单的例子:
void function(int a) // a的作用域开始
{
int b=a; // b的作用域开始
cin >> b;
if (b<0)
{
int c=b+10; // c的作用域开始
for(int i=0;i<c;i++) // i的作用域开始
{
//循环体
} // i的作用域结束
//更多代码
} // c的作用域结束
// b的作用域结束
} // a的作用域结束
函数形参的作用域,从形参列表开始,到函数体结束之处结束。
而对于函数体内声明的变量,其作用域从声明处开始,一直到声明所在的块结束的大括号为止。
所谓块,就是被大括号括起来的一段程序。比如if后面的分支, for后面的循环体,都是程序中的块——大括号之间可以相互嵌套,块与块之间也存在着包含关系——一个变量的作用域,从自己被声明处开始,一直到它所在的块结束为止——具有局部作用域的变量也叫局部变量。
3、类作用域
类可以被看做是一组有名字的成员的集合——具体地说,某一个类class的成员member具有类作用域——对于member的访问,有以下几种方式:
1.如果在class的任意一个成员函数中,没有声明同名的局部作用域标识符,那么这个成员函数就可以直接访问成员member。也就是说,member在类的成员函数中都起作用。
2.通过表达式object.member或者class ::member来访问(其中object是class的一个实例对象),这正是程序中访问对象成员的最基本方法。其中class ::member的访问方式适用于类的静态成员
3.通过ptr->member这样的表达式——其中ptr是指向class的某个实例对象的指针。
4、命名空间作用域
命名空间的语法组织形式如下:
namespace命名空间名
{
命名空间内的各种声明(函数声明,类声明等)
}
一个命名空间自身即确定了一个作用域,凡是在该命名空间内声明的,不属于前面提到的各个作用域的标识符,都属于这个命名空间的作用域。
在命名空间的内部,可以直接引用当前命名空间中声明的标识符——如果需要引用其他命名空间中的某个标识符的话,可以使用这样的语法 :
命名空间名::标识符名
例如:
namespace NS
{
class Class
{
//类成员
}
NS::class object;
这段代码的作用就是声明一个定义在命名空间NS中的类Class的实例对象object 。
有的时候,在标识符前面总是使用这样的命名空间限定会显得过于冗长——为此,可以使用C++中提供的using语句,形式如下:
using 命名空间名::标识符名;
using namespace 命名空间;
前一种形式将指定的某一个标识符暴露在当前的作用域内,这样就可以直接使用这个标识符了——而后一种形式则是直接引用整个命名空间,然后就可以使用这个命名空间里的所有标识符了。
类似于函数,命名空间也是允许嵌套的,比如以下代码:
namespace outer
{
namespace Inner
{
class classi
{
};
};
}
这样的代码就是在命名空间outer中,定义了一个子空间Inner——然后如果需要使用最里面的class的话,可以这样引用:
Outer : : Inner : :Class;
#include<iostream>
using std::cout;
using std::endl;
int main()
{
cout <<"hello!" << endl;
return 0;
}
现在理解using std:: cout;了吗?
事实上,C++标准程序库中的所有标识符,都被声明在了std命名空间中,包括经常使用的cin,cout和endl等。
所以,当需要用到它们的时候,就必须首先使用命名空间中对应的标识符
根据上面学过的内容,如果需要用到很多标识符的话,那么其实可以用一个巧妙的办法:
using namespace std;