前言

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

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

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

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

而一般情況情況下

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

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

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

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

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

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

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

所以為什么說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)出意外的類型時(shí)，使用顯式的類型初始化語義

總結(jié)

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

最新評(píng)論