就是用来恐吓你的
我能想到的，最短的。且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放在语句的最前面，而是仅放在被修饰的类型标识符的后面。这样在分析代码也就不用担心上述分析原则的例外情况了。这不是简单非常多了嘛！
就先总结这么多了！难免有不准确之处。欢迎讨论。 ：）