就是用来吓唬你的
我能想到的,最短的,且const最多的一个语句是:
int const * fun(int const*const a[],const int index)const;
而这个语句还有以下若干等价语句:
const int * fun(int const * const a[],const int index)const; const int * fun(const int * const a[],const int index)const; const int * fun(const int * const a[],int const index)const; //…
看似复杂,实际上分析const的语义时,唯一的一条原则就是:
const始终修饰其左侧的类型标识符(简单的或复合的),唯一例外是当其左侧没有类型标识符时,则修饰其右侧第一个简单类型标识符。
const与常量
好了,从最简单开始分析。使用const最简单的用法就是修饰一个简单的类型标识符。
int const varInt;
根据上面的分析原则,const修饰的是int,则表示varInt是一个整型常量,其值一旦初始化,就不可修改。
而我们知道,const的位置是很灵活的,它既可以放在类型标识符的前面,也可以放在类型标识符的后面,所以下面的写法也是正确的。
const int varInt;
这实际就是上面分析原则的例外情况,const的左侧在没有类型标识符,则其修饰其右侧的int,即表示varInt是一个整形常量。
const与指针
那么,稍微复杂些,看看指向常量的指针:
const int* pInt;
这又是上面分析原则的例外情况,那么const修饰的是int(注意分析原则的描述,const修饰的是右侧第一个简单类型标识符,所以说const修饰的是int,而不是int *),表示是个整型常量,然后我们看到“* ”,表示pInt是个指针,其指向的就是个const int 常量,而pInt本质上还是个变量。
接下来理所当然得有与上面的等价的写法:
int const* pInt;
这就是分析原则里首先说的情况了,const修饰的是int,所以pInt还是一个指向整型常量的指针。如果再把const往右移一位,就发生质变了:
int * const pInt;
这时,const修饰的是int *,即整型的指针,这是一个复合类型,进一步的,const表示这个指针pInt是个常量,即一旦初始化,pInt就不能再指向别的整型变量了,这就是指针常量。当然其所指的对象还是可以被修改的。
再进一步:
const int * const pInt; int const * const pInt;
这两个语句都是在声明一个指向整型常量的指针常量,即pInt不能被修改,其所指的对象也不能被修改。当然,在实际应用中几乎很少有这种写法。
const与成员函数
到这里,最上面的语句中,前四个const其实已经分析清楚了,就剩下最后一个了。
这个语句的本意是想声明一个函数,只是函数的参数和返回值的类型太复杂了,从而显得不值关,所以为了分析最后一个const,我们简化下这个语句:
int fun(int)const;
首先,我们区分下函数的类型和函数的名称,一般的,对于一个函数的声明:
void fun(void);
表示声明了一个名称为fun,参数为void,即无参,返回值为void,即无返回值的函数,所以这个函数的名称就是fun,类型就是参数为void,返回值为void,即void (void) .
根据上面的分析原则,const修饰的应该是int(int)。而fun是函数的名称,那么就应该理解为这是在声明一个参数为整型,返回值为整型的常量函数(听着怪怪的),实际上这种函数叫做常量成员函数,哈,一听就明白了,这表示这种函数只能做类的成员函数,而不能做全局函数。那么它的作用也就是唯一的,保证在这个函数的函数体内,不会有修改类的成员变量的操作,否则编译就会报错。
类型标识符通过const的修饰后,就变成了复合类型,也就是一种新的类型。所以使用const类修饰成员函数,也能实现成员函数的重载,即在一个类里,通过在成员函数声明的末尾带于不带const,而从形成一个成员函数的const和非const版本。当使用这种类型的const对象来调用该函数时,则调用的是该函数的const的版本,而使用非常量对象来调用该函数时,则调用的是该函数的非const版本。
如此一来,总算搞清了const,但是,我们也看到由于在const使用的灵活,在写代码时既可以放在被修饰类型标识符(只能是简单类型标识符)的前面,也可以放在被修饰类型标识符的后面,从而导致我们在读代码时会混乱,所以,建议在写代码的时候不要把const放在语句的最前面,而是仅放在被修饰的类型标识符的后面,这样在分析代码也就不用操心上述分析原则的例外情况了,这不是简单很多了嘛!
就先总结这么多了!难免有不准确之处,欢迎讨论。 :)
躁动不安的const