躁动不安的const

Posted 2020-09-19 mthoutai

        就是用来恐吓你的 

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

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