躁动不安的const

就是用来恐吓你的

我能想到的，最短的。且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放在语句的最前面，而是仅放在被修饰的类型标识符的后面。这样在分析代码也就不用担心上述分析原则的例外情况了。这不是简单非常多了嘛！

就先总结这么多了！难免有不准确之处。欢迎讨论。     ：）