1、常量

1.1、常量的初始化：
const對(duì)象一旦創(chuàng)建后其值就不能再改變，所以const對(duì)象必須初始化。這里我們要注意一點(diǎn)，像const int *p和const int &r都并不是const對(duì)象。因?yàn)閏onst int *p只是表示不能通過(guò)p改變p所指的對(duì)象的值，p的值是可以變的，所以p可以不用初始化。至于r ,引用本身就不是對(duì)象，所以r也并不是const對(duì)象，r之所以一定初始化，是因?yàn)橐帽仨毘跏蓟?duì)于以上內(nèi)容，你也可以理解為底層const 修飾的并不是const對(duì)象，還要注意像const int *const p1這種，這是一定要初始化的，這是const對(duì)象，因?yàn)樗幸粋€(gè)頂層const。

1.1.1分清了const對(duì)象后，讓我們先把目光聚集到const對(duì)象這里。

  const對(duì)象可以分為大致三類(lèi)：

 const int m
 int *const p
 const int *const q

而這前兩類(lèi)都可以用來(lái)給非const對(duì)象或者const對(duì)象初始化，因?yàn)檫@前兩類(lèi)都是頂層const，初始化時(shí)的拷貝是不會(huì)對(duì)他們的自身值做出什么改變，即以下代碼均正確。

//第一類(lèi)
int m1=m;//正確
const int m2=m;//正確
//第二類(lèi)
int *p1=p;//正確
int *const p2=p;//正確
const int *p3=p;//正確
const int *const p4=p;//正確  

而第三類(lèi)則需要我們注意一下，因?yàn)榈谌?lèi)還有一個(gè)底層const。
const int *const q

int *q1=q;//報(bào)錯(cuò)
int *const q2=q;//報(bào)錯(cuò)
const int *q3=q;//正確
const int *const q4=q;//正確

底層const有一個(gè)限制：當(dāng)執(zhí)行對(duì)象的拷貝操作時(shí)，拷入和拷出的對(duì)象必須具有相同的底層const。
我們可以這樣理解：const int *const q如果可以拷貝初始化給q1、q2，那么意味著我們可以通過(guò)q1、q1來(lái)改變q所指的對(duì)象的值，那這樣q的底層const還有什么意義呢？

以上，是說(shuō)這三類(lèi)可以給哪些對(duì)象初始化，現(xiàn)在我們看看哪些可以給這三類(lèi)初始化

第一類(lèi)const int m

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int m1;
const int m2;
const int m=m1;//正確
const int m=m2;//正確

第二類(lèi)int *const p

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int *p1;
int *const p2;
const int *p3;
const int *const p4;

int *const p=p1;//正確
int *const p=p2;//正確
int *const p=p3;//錯(cuò)誤
int *const p=p4;//錯(cuò)誤

這里的報(bào)錯(cuò)同樣因?yàn)榈讓觕onst有一個(gè)限制：當(dāng)執(zhí)行對(duì)象的拷貝操作時(shí)，拷入和拷出的對(duì)象必須具有相同的底層const

第三類(lèi) const int *const q

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int *q1;
int *const q2;
const int *q3;
const int *const q4;

const int *const q=q1;//正確
const int *const q=q2;//正確
const int *const q=q3;//正確
const int *const q=q4;//正確

1.1.2 現(xiàn)在讓我們把目光轉(zhuǎn)回非const對(duì)象的初始化
這里主要有兩類(lèi)：

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
const int *p;
const int &r;

先考慮他們可以給哪些對(duì)象初始化
第一類(lèi) const int *p

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int *p1=p;//報(bào)錯(cuò)
int *const p2=p;//報(bào)錯(cuò)
const int *p3=p;//正確
const int *const p4=p;//正確

此處同樣由于低層const的限制

第二類(lèi) const int &r

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int &r1=r;//錯(cuò)誤
const int &r2=r;//正確

這里強(qiáng)調(diào)一下，引用不是對(duì)象，所以沒(méi)有像 int *const &r或者const int *const &r這種形式

好，再考慮哪些可以給他們初始化
第一類(lèi) const int *p

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int *p1;
int *const p2;
const int *p3;
const int *const p4;

const int *p=p1;//正確
const int *p=p2;//正確
const int *p=p3;//正確
const int *p=p4;//正確

因?yàn)閏onst int *p意義在于表明不可以通過(guò)p改變它所指的對(duì)象的值，這個(gè)對(duì)象可以不是常量，只是p所指的對(duì)象對(duì)于p來(lái)說(shuō)是常量，所以它所指的對(duì)象是否const 其實(shí)并沒(méi)有關(guān)系。

第二類(lèi) const int &r

//以下一些變量不初始化，我把重點(diǎn)落在類(lèi)型。
int &r1;
const int &r2;
const int &r=r1;//正確
const int &r=r2;//正確

這里const同樣是指不能通過(guò)r改變它所引用的對(duì)象，所以它所引用的對(duì)象本身是不是const無(wú)關(guān)緊要。
縱觀以上的錯(cuò)誤，都是試圖把底層const拷貝初始化給沒(méi)有底層const的對(duì)象。
以上就是關(guān)于涉及到常量的指針和引用的初始化的解釋了。

最新評(píng)論