Re: [問題] 一個有意思的問題 vector <const int>

[freesamael (燒賣)]

※ 引述《spider391 (小乖)》之銘言：
: code 很短我就直接貼了
: ======================================================
: #include <iostream>
: #include <vector>
: using namespace std;
: int main()
: {
:         vector<const int> tmp;
:         tmp.push_back(99);
:         tmp[0] = 10;           // 很神奇這裡竟然可以允許更動
:         cout << "tmp[0] is: " << tmp[0] << endl;
: }
: =======================================================
: 我讓vector內的元素為 const
: 但 temp[0] 他竟然允許賦值 !!
: 請問各位高手有什麼想法   <(￣oo,￣)/
: 補充一下:
: 這段 code 在 Visual Studio 2005 可以跑
: 我在  cygwin 上的 g++ (3.4.4) 上 compile 則會出現 compiler error!!
: 謝謝

在 C++ 標準裡對於 Container Library 的說明有包含這一段：

The type of objects stored in these components must meet
the requirements of CopyConstructible types (20.1.3),
and the additional requirements of Assignable types.

至少必須符合可用複製建構式和可指派(assign)兩個要求，
C/C++對於非標準的行為大多數是未定義的，
所以在不同編譯器上看運氣會有不同反應。

我發現 Wikipedia 也有把這一段寫進去
http://en.wikipedia.org/wiki/Vector_(C%2B%2B)#Design

The vector template can be instantiated with any type that
fulfills the CopyConstructible and Assignable requirements


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 118.168.104.246
→ tinlans:其實那些 concept 在 STL 的書都有寫了，只是很多人都不看
→ tinlans:就先用，使用工具之前也好歹要讀讀操作手冊啊。
→ firose:問題是 int 是 CopyConstructible 且 Assignable
推 LPH66:但 const int 要說它是 Assignable 有點怪...
→ LPH66:const int 的那種指定值的方法反而像是 copy constructed
推 holymars:const int本來就不是assignable　所以這是未定義行為
→ holymars:既然是未定義行為　g++和VC2005的作法都是合標準的..
→ holymars:錯的是寫出未定義行為的programmer XD
→ firose:我在想的是原 PO 是不是想知道 g++ 跟 VC 分別是如何實現的
→ firose:const 變數產生的時候就跟值 bind 完了,照理說連 push_back
→ firose:都不行才對
→ spider391:我自己有寫個簡單的 vector 去模擬，沒有 Allocator
→ spider391:我用 vecotr<const int> 跑出的結果是
→ spider391:you cannot assign to a variable that is const
→ spider391:這是符合我預期的想法，而 g++ 的 error
→ spider391:是在 new_allocator.h  'const void*' to 'void*'