前言

起因是這樣的，昨天在查C++11的range base for loop相關(guān)的東西的時(shí)候，看到說(shuō)vector< bool >是一個(gè)proxy iterator，非常的特殊，于是就好奇的研究了一下。

首先vector< bool> 并不是一個(gè)通常意義上的vector容器，這個(gè)源自于歷史遺留問(wèn)題。

早在C++98的時(shí)候，就有vector< bool>這個(gè)類(lèi)型了，但是因?yàn)楫?dāng)時(shí)為了考慮到節(jié)省空間的想法，所以vector< bool>里面不是一個(gè)Byte一個(gè)Byte儲(chǔ)存的，它是一個(gè)bit一個(gè)bit儲(chǔ)存的！

因?yàn)闆](méi)有直接去給一個(gè)bit來(lái)操作，所以用operator[]的時(shí)候，正常容器返回的應(yīng)該是一個(gè)對(duì)應(yīng)元素的引用，但是對(duì)于vector< bool>實(shí)際上訪(fǎng)問(wèn)的是一個(gè)”proxy reference”而不是一個(gè)”true reference”，返回的是”std::vector< bool>:reference”類(lèi)型的對(duì)象。

而一般情況情況下

vector<bool> c{ false, true, false, true, false };
bool b = c[0];
auto d = c[0];

對(duì)于b的初始化它其實(shí)暗含了一個(gè)隱式的類(lèi)型轉(zhuǎn)換。而對(duì)于d，它的類(lèi)型并不是bool，而是一個(gè)vector< bool>中的一個(gè)內(nèi)部類(lèi)。

而此時(shí)如果修改d的值，c中的值也會(huì)跟著修改

d = true;
for(auto i:c)
  cout<<i<<" ";
cout<<endl;
//上式會(huì)輸出1 1 0 1 0

而如果c被銷(xiāo)毀，d就會(huì)變成一個(gè)懸垂指針，再對(duì)d操作就屬于未定義行為。

所以對(duì)于容器一些基本的操作它并不能滿(mǎn)足，諸如取地址給指針初始化操作【因?yàn)闆](méi)有辦法給單一一個(gè)bit來(lái)取地址，或者搞引用】

vector<bool> c{ false, true, false, true, false };
bool &tmp = c[0];  //錯(cuò)誤，不能編譯，對(duì)于引用來(lái)說(shuō)，因?yàn)閏[0]不是一個(gè)左值
bool *p = &c[0];  //錯(cuò)誤，不能編譯，因?yàn)闊o(wú)法將一個(gè)臨時(shí)量地址給綁定到指針

所以為什么說(shuō)vector< bool>不是一個(gè)標(biāo)準(zhǔn)容器，就是因?yàn)樗荒苤С忠恍┤萜髟撚械幕静僮鳌?/p>

What is the correct way of using C++11's range-based for?

條款6：當(dāng)auto推導(dǎo)出意外的類(lèi)型時(shí)，使用顯式的類(lèi)型初始化語(yǔ)義

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論