VC++では、STLコンテナにconst型を使用できます。どうして？

Question

STLコンテナは、格納された値をコピーコンストラクタブルおよびアサイナブルにする必要があります。 const Tは明らかにどのTでも代入可能な型ではありませんが、私はそれを使用しようとしました（ちょうど興味があります）、それがコンパイルされ、さらに代入可能な型として動作することがわかりました。

vector<const int> v(1); 
v[0] = 17; 

は、この成功したのVisual Studio 2008で実行され、これは、単に動作しないはずV [0]

Answer 1

17に割り当てられます。 §23.1¶3では、あなたが言ったように、コンテナに格納されたオブジェクトはCopyConstructible（§20.1.3で指定）とAssignableである必要があります。タイプTため

Assignable要件はtとタイプTのuされ、あなたがすることができる、ということです。

t = u 

持つ戻り値としてT&と事後条件としてuに相当t。 t = uを行うことは、コンパイル・エラー（§7.1.5.1¶5）を引き上げるため、（§23.1¶4）

はこのように、constタイプは、はっきりAssignableではありません。

これはMicrosoft実装のバグだと思います。 Linuxのg ++​​は、vector<const int>（-std=c++0xフラグの有無にかかわらずテスト済み）をインスタンス化しようとしても、典型的な25kajillion行のテンプレートエラーを出力します。なお、これについては、IBM FAQでも詳細に説明する。別ウィンドウ（タブ）の大きな表示で見る理論的には

---

、@James McNellisは（それは未定義の動作だ場合何が起こることができます - すべての作業罰金を含む）コンパイラがベクトルのインスタンス化に爆破するために必要とされていない、言ったように。ただし、割り当てステートメントには、コンパイルエラーを生成する標準違反があります。

実際、operator[]メンバーはvector<const int>::referenceを返します。それはT（§23.1¶5表66）の左辺値であることが必要です。 Tはconstタイプであるため、const値です。そのため、const要素への代入を「不正な形式」として実行しようとするコードを定義するコードを定義する（§7.1.5.1¶5）に落ちます。これは、コンパイルエラーまたは少なくとも警告を必要とします。 - constは診断可能なルールです（§1.4¶1-2）（「診断は必要ありません」ステートメントは指定されていません）。

---

実際に最終的な編集は、@James McNellisは正しいです。 vector<const int>をインスタンス化して未定義のビヘイビアを呼び出すと、通常のルールは値を持たなくなるため、要素タイプからconstを削除するか、通常の鼻悪魔を生成するなど、実装はまだ標準に準拠します。

Answer 2

他の人が示唆しているように、実装上のバグではありません。

C++標準ライブラリ機能の要件に違反しても、プログラムが不正な形にならないため、未定義の動作が発生します。

コンテナに格納されている値の型がコピー可能であり、かつ割り当て可能でなければならないという要件に違反しています（const型は、明らかに割り当てられません）。

C++標準から該当する言語に見出すことができるC++ 03 17.4.3.6 [lib.res.on.functions]：特定の場合（置換関数、ハンドラ関数、上の操作で

標準ライブラリテンプレートコンポーネントをインスタンス化するのに使用される型）、C++標準ライブラリはC++プログラムによって提供されるコンポーネントに依存します。これらのコンポーネントが要件を満たしていない場合、この標準は実装上の要件を置かない。

特に

、効果は次の場合に定義されていない：

...テンプレート・コンポーネントのインスタンスを作成する際にテンプレート引数として使用されるタイプのため

• 、タイプの操作は実装していない場合該当する要件の節のセマンティクス。

のVisual C++標準ライブラリの実装は黙っのconst修飾を取り除くか、無視を含め、このコードで何かを行うことができ、そしてそれはまだ標準規格に準拠しています。