關于C++的POD類型，求確認

w_anthony

如

1. std::map<int, int> n;
   
2. n[4] += 6;

復制代碼

當n[4]最初不存在的時候，n[4] += 6以后是否一定是6，也就是說n[4]自動插入的時候，是否一定是0。
查看map的源碼，當n[4]不存在的時候會執(zhí)行insert(_Where, value_type(_Keyval, mapped_type()))，而此時mapped_type相當于int。
也就是說int i = int()，是否有C++標準保證i一定是0。
我查了下，與此相關的資料，發(fā)現(xiàn)這種情況屬于POD（plain old data），但是沒有找到具體解釋POD類型性質(zhì)的資料。就測試而言，我在VS和GCC上都測試過int i = int()這種寫法，發(fā)現(xiàn)i確實被置0了（觀察匯編代碼確實有置0的動作，而非巧合），但是找不到確切說明這個情況的C++標準文字內(nèi)容。
另外即使int i = int()有標準保證其一定是0，那么是否標準保證n[4]在4不存在時也一定是0呢？因為有可能其相關代碼是這樣的：

1. mapped_type xxx;
   
2. insert(_Where, value_type(_Keyval,  xxx))

復制代碼

這樣就一定不能保證n[4]一定是0了。
請求確認相關標準文檔，非常感謝�。。�

windoze

23.4.4.3 Map Element Access

T& operator[](const key_type& x);

Effects: If there is no key equivalent to x in the map, inserts value_type(x, T()) into the map.

Requires: key_type shall be CopyConstructible and mapped_type shall be DefaultConstructible.

Returns: A reference to the mapped_type corresponding to x in *this.

Complexity: logarithmic.

T& operator[](key_type&& x);

Effects: If there is no key equivalent to x in the map, inserts value_type(std::move(x), T()) into the map.

Requires: mapped_type shall be DefaultConstructible.

Returns: A reference to the mapped_type corresponding to x in *this.

Complexity: logarithmic.

如果key不存在，map使用default constructor構(gòu)造value，也就是int()，所以返回值是0。
當然，你正在用的編譯器不一定遵守這個標準。

w_anthony

回復 2# windoze


    謝謝LS解答了，map:: operator[]插入時有標準要求一定會調(diào)用mapped_type()；不過int i = int()是否一定是0，有沒有標準保證呢？

windoze

回復 3# w_anthony

標準說：
8.5/5
To default-initialize an object of type T means:

— if T is a non-POD class type (clause 9), the default constructor for T is called (and the initialization is ill-formed if T has no accessible default constructor);

— if T is an array type, each element is default-initialized;

— otherwise, the object is zero-initialized.

所以int a=int()之后，a就等于0，但還是那句話，你正在用的編譯器不一定完全符合標準。

PS. 注意你不能寫int a()，因為這是一個函數(shù)聲明，不是變量定義。

w_anthony

回復 4# windoze


    非常感謝LS，只要不是古董級的編譯器，一般C++標準都可以認為是支持的。它自身再怎么擴展也不應該和標準有沖突，既然有相關規(guī)定，而不是未定義行為，那么我覺得還是可以放心使用的，最多可以結(jié)合實際測試結(jié)果看看。