标识符的作用域有函数原型作用域、局部作用域(块作用域)、类作用域和 命名空间(namespace) 作用域
函数原型作用域
函数原型作用域 函数原型作用域 是C++ 程序中最小的作用域——函数原型的声明中一定要包含形参的名称和类型说明。实际上现在大家应该也能够感受得到, 在函数原型声明时形式参数的作用范围就是函数原型作用域 。
对于Clock类中的成员函数:
1void setTime(int newS,int newM,int newH){
2//函数体
3
}
newS
, newM
,newH
这三个标识符——也就是这个函数的三个形参——其作用域仅仅局限于这个函数的函数体,也就是说大括号范围之内,在程序的任何其他地方都不能引用这个标识符——所以它们的作用域被称为函数原型作用域
局部作用域(块作用域)
局部作用域这里的 局部作用域 主要指的是同一个函数体内(可以是主函数也可以是其他自定义的函数),使用大括号分割的不同代码块——在我们的日常开发过程中,较为常见的就是选择结构和循环结构的局部作用域。
这里我们可以举个简单的例子:
void function(int a){//a的作用域开始
int b=a;//b的作用域开始
cin >> b;
if (b<0) {//c的作用域开始
int c=b+10;
for(int i=0;i<c;i++){//i的作用域开始
//循环体
}//i的作用域结束
//更多代码
}//c的作用域结束
//b的作用域结束
}//a的作用域结束
已经知道,函数形参的作用域,从形参列表开始,到函数体结束之处结束。而对于 函数体内声明的变量,其作用域从声明处开始,一直到声明所在的块结束的大括号为止 。所谓 块 ,就是被大括号括起来的一段程序。比如if后面的分支,for后面的循环体,都是程序中的块——大括号之间可以相互嵌套,块与块之间也存在着包含关系——一个变量的作用域,从自己被声明处开始,一直到它所在的块结束为止——具有局部作用域的变量也叫 局部变量 。
类作用域
- 类作用域类可以被看做是一组有名字的成员的集合——具体地说,某一个类Class的成员member具有类作用域——对于member的访问,有以下几种方式:
- 如果在class的任意一个成员函数中,没有声明同名的局部作用域标识符,那么这个成员函数就可以直接访问成员member。也就是说,member在类的成员函数中都起作用。
- 通过表达式object.member或者Class::member来访问(其中object是Class的一个实例对象),这正是程序中访问对象成员的最基本方法。其中Class::member的访问方式适用于类的 静态成员 ,相关内容将会在后续的课程中介绍。
- 通过ptr->member这样的表达式——其中ptr是指向Class的某个实例对象的 指针 。关于指针的内容将在后面的章节详细介绍
命名空间(namespace) 作用域
命名空间的语法组织形式如下:
namespace 命名空间名{
命名空间内的各种声明(函数声明,类声明等)
}
一个命名空间自身即确定了一个作用域,凡是在该命名空间内声明的,不属于前面提到的各个作用域的标识符,都属于这个命名空间的作用域。在命名空间的内部,可以直接引用当前命名空间中声明的标识符——如果需要引用其他命名空间中的某个标识符的话,可以使用这样的语法:
命名空间名::标识符名
namespace NS{
class Class{
//类成员
}
}
NS::Class object;
在标识符前面总是使用这样的命名空间限定会显得过于冗长——为此,我们可以使用C++ 中提供的using语句,形式如下:
using 命名空间名::标识符名;
using namespace 命名空间;
前一种形式将指定的某一个标识符暴露在当前的作用域内,这样我们就可以直接使用这个标识符了——而后一种形式则是直接引用整个命名空间,然后就可以使用这个命名空间里的所有标识符了。