[]を使用するときにC ++のマップタイプ引数に空のコンストラクターが必要なのはなぜですか？

C ++標準リストとdefault-constructible型も参照してください

大きな問題ではありません。特定の引数なしでクラスをインスタンス化したくないので、迷惑です。

#include <map>

struct MyClass
{
    MyClass(int t);
};

int main() {
    std::map<int, MyClass> myMap;
    myMap[14] = MyClass(42);
}

これにより、次のg ++​​エラーが発生します。

/usr/include/c++/4.3/bits/stl_map.h:419：エラー：「MyClass（）」の呼び出しに一致する関数がありません

これは、デフォルトのコンストラクターを追加すると問題なくコンパイルされます。私はそれが間違った構文によって引き起こされたのではないと確信しています。

この問題はoperator []で発生します。SGIドキュメントからの引用：

data_type& operator[](const key_type& k)-特定のキーに関連付けられているオブジェクトへの参照を返します。マップにそのようなオブジェクトがまだ含まれていない場合はoperator[] 、デフォルトのオブジェクトを挿入します data_type()。

デフォルトのコンストラクタがない場合は、挿入/検索関数を使用できます。次の例は正常に動作します。

myMap.insert( std::map< int, MyClass >::value_type ( 1, MyClass(1) ) );
myMap.find( 1 )->second;

はい。STLコンテナーの値は、コピーのセマンティクスを維持する必要があります。IOW、それらはプリミティブ型（たとえば、int）のように動作する必要があります。これは、とりわけ、デフォルトで構築可能であることを意味します。

これ（およびその他の要件）がないと、STLコンテナーが実装されているデータ構造に、さまざまな内部のコピー/移動/スワップ/比較操作を実装することが不必要に困難になります。

C ++標準を参照すると、私の答えが正確ではないことがわかりました。デフォルトの構築は、実際には要件ではありません。

20.1.4.1以降：

デフォルトのコンストラクタは必要ありません。特定のコンテナークラスメンバー関数のシグネチャは、既定のコンストラクターを既定の引数として指定します。T（）は明確に定義された式でなければなりません...

したがって、厳密に言うと、値の型は、シグネチャでデフォルトのコンストラクタを使用するコンテナの関数をたまたま使用している場合にのみ、デフォルトで構成可能である必要があります。

STLコンテナに保存されているすべての値の実際の要件（23.1.3）はCopyConstructible、およびAssignableです。

特定のコンテナには、存在するComparable（マップ内のキーなど）などの他の特定の要件もあります。

ちなみに、次のコードはcomeauでエラーなしでコンパイルされます。

#include <map>

class MyClass
{
public:
    MyClass(int t);
};

int main()
{
    std::map<int, MyClass> myMap;
}

したがって、これはg ++の問題である可能性があります。

stl :: mapの保管タイプの要件を確認してください。多くのstlコレクションでは、格納された型に特定のプロパティ（デフォルトコンストラクター、コピーコンストラクターなど）が含まれている必要があります。

stl :: mapでは、引数なしのコンストラクタが必要です。これは、operator []がマップでまだ保持されていないキーで呼び出されたときに使用されるためです。この場合、operator []は、パラメーターなしのコンストラクターを使用して構築された新しいキーと値で構成される新しいエントリを挿入します。そして、この新しい値が返されます。

次のことを確認します。

• 「;」を忘れた クラス宣言の後。
• MyTypeはそれに応じて宣言されている必要があります。
• デフォルトのコンストラクタはありません...

std :: map宣言は正しいように思えます。

std :: pairが必要とするためです。std :: pairは、値のセマンティクスを使用して2つの値を保持するため、パラメーターなしでそれらをインスタンス化できる必要があります。したがって、コードはさまざまな場所でstd :: pairを使用して呼び出し元にマップ値を返します。これは通常、ローカルペアを返す前に空のペアをインスタンス化して値を割り当てることで行われます。

map <int、smartptr <MyClass>>を使用してスマートポインターでこれを回避することができますが、これによりnullポインターをチェックするオーバーヘッドが追加されます。