码迷,mamicode.com
首页 > 其他好文 > 详细

躁动不安的const

时间:2017-05-25 14:50:41      阅读:160      评论:0      收藏:0      [点我收藏+]

标签:调用   size   总结   注意   color   dex   常量   初始化   font   

        就是用来恐吓你的 

我能想到的,最短的。且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

标签:调用   size   总结   注意   color   dex   常量   初始化   font   

原文地址:http://www.cnblogs.com/mthoutai/p/6903360.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!