躁动不安的const

就是用来吓唬你的

我能想到的，最短的，且const最多的一个语句是：

int const * seta(int const *const a[], const int index)const;

而这个语句还有以下若干等价语句：

const int * seta(int const *const a[], const int index)const;
const int * seta(const int *const a[], const int index)const;
const int * seta(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放在语句的最前面，而是仅放在被修饰的类型标识符的后面，这样在分析代码也就不用操心上述分析原则的例外情况了，这不是简单很多了嘛！

就先总结这么多了！ ：）