STLマップでは、[]よりもmap :: insertを使用する方が良いですか？

しばらく前に、STL マップに値を挿入する方法について同僚と話し合いました。map[key] = value; 自然な感じで読みやすいので好き だったが、彼は好きだった map.insert(std::make_pair(key, value))

私は彼に尋ねたところ、どちらも挿入の方が良い理由を思い出せませんが、スタイルの好みだけではなく、効率などの技術的な理由があったのだと思います。SGIのSTLの参照は、単純に言う、「厳密に言えば、このメンバ関数は不要である：それは便宜上存在します。」

誰かがその理由を教えてもらえますか、それともそこにあることを夢見ていますか？

あなたが書くとき

map[key] = value;

for を置き換えたかどうか、またはで新しいを作成したかどうかを判断する方法はありません。valuekeykeyvalue

map::insert() のみ作成されます：

using std::cout; using std::endl;
typedef std::map<int, std::string> MyMap;
MyMap map;
// ...
std::pair<MyMap::iterator, bool> res = map.insert(MyMap::value_type(key,value));
if ( ! res.second ) {
    cout << "key " <<  key << " already exists "
         << " with value " << (res.first)->second << endl;
} else {
    cout << "created key " << key << " with value " << value << endl;
}

ほとんどのアプリでは、通常、作成したり置き換えたりするかどうかは気にしないため、読みやすい方を使用していますmap[key] = value。

マップに既に存在するキーに関しては、2つは異なるセマンティクスを持っています。したがって、それらは実際には直接比較することはできません。

しかし、operator []バージョンでは、デフォルトで値を構築してから割り当てる必要があるため、これがコピー構築よりもコストがかかる場合は、よりコストがかかります。デフォルトの構築が意味をなさない場合があり、その場合、operator []バージョンを使用することが不可能になります。

注意すべきもう一つのことstd::map：

myMap[nonExistingKey];nonExistingKeyデフォルト値に初期化されるようにキー設定された新しいエントリをマップに作成します。

これは私が初めてそれを目にしたとき、私は地獄を怖がらせました（一方で、あまりにも古いレガシーバグに頭をぶつけていました）。それを期待していなかっただろう。私には、これはget操作のように見え、「副作用」は予期していませんでした。好むmap.find()あなたのマップから取得するとき。

デフォルトのコンストラクターのパフォーマンスへの影響が問題ではない場合は、神の愛のために、より読みやすいバージョンを使用してください。

:)

insert 例外的な安全性の点で優れています。

式map[key] = valueは実際には2つの演算です。

1. map[key] -デフォルト値でマップ要素を作成します。
2. = value -その要素に値をコピーします。

2番目のステップで例外が発生する可能性があります。その結果、操作は部分的にしか行われません（新しい要素がマップに追加されましたが、その要素はで初期化されていませんでしたvalue）。操作が完了していないが、システム状態が変更されている状況は、「副作用のある操作」と呼ばれます。

insert操作は強力な保証を提供します。つまり、副作用がないことを意味します（https://en.wikipedia.org/wiki/Exception_safety）。insert完全に完了するか、マップを変更されていない状態のままにします。

http://www.cplusplus.com/reference/map/map/insert/：

単一の要素を挿入する場合、例外が発生してもコンテナに変更はありません（強力な保証）。

アプリケーションが速度重視の場合、[]演算子を使用してアドバイスします。元のオブジェクトの合計3つのコピーが作成され、そのうち2つは一時オブジェクトであり、遅かれ早かれ破棄されます。

しかし、insert（）では、元のオブジェクトの4つのコピーが作成され、そのうち3つは一時オブジェクト（必ずしも「一時」ではない）であり、破棄されます。

つまり、1つのオブジェクトのメモリ割り当て2. 1つの追加のコンストラクタ呼び出し3. 1つの追加のデストラクタ呼び出し4. 1つのオブジェクトのメモリ割り当て解除

オブジェクトが大きい場合は、コンストラクターが一般的です。デストラクターは多くのリソースを解放し、上記のポイントはさらに重要になります。読みやすさに関しては、どちらも十分公平だと思います。

同じ質問が私の頭に浮かびましたが、読みやすさではなく速度についてです。これが私が言及したポイントについて知るために使用したサンプルコードです。

class Sample
{
    static int _noOfObjects;

    int _objectNo;
public:
    Sample() :
        _objectNo( _noOfObjects++ )
    {
        std::cout<<"Inside default constructor of object "<<_objectNo<<std::endl;
    }

    Sample( const Sample& sample) :
    _objectNo( _noOfObjects++ )
    {
        std::cout<<"Inside copy constructor of object "<<_objectNo<<std::endl;
    }

    ~Sample()
    {
        std::cout<<"Destroying object "<<_objectNo<<std::endl;
    }
};
int Sample::_noOfObjects = 0;


int main(int argc, char* argv[])
{
    Sample sample;
    std::map<int,Sample> map;

    map.insert( std::make_pair<int,Sample>( 1, sample) );
    //map[1] = sample;
    return 0;
}

現在、c ++ 11では、STLマップにペアを挿入する最善の方法は次のとおりです。

typedef std::map<int, std::string> MyMap;
MyMap map;

auto& result = map.emplace(3,"Hello");

結果はとペアになります。

• 最初の要素（result.first）。挿入されたペアを指すか、キーが既に存在する場合はこのキーとのペアを指します。

• 2番目の要素（result.second）。挿入が正しい場合はtrue、挿入が正しくない場合はfalse。

PS：順序について大文字と小文字を区別しない場合は、std :: unordered_map;）を使用できます。

ありがとう！

map :: insert（）の問題点は、キーが既にマップに存在する場合、値を置き換えないことです。Javaプログラマーがinsert（）が値が置き換えられるJavaのMap.put（）と同じように動作することを期待して書かれたC ++コードを見てきました。

1つの注意点は、Boost.Assignも使用できることです。

using namespace std;
using namespace boost::assign; // bring 'map_list_of()' into scope

void something()
{
    map<int,int> my_map = map_list_of(1,2)(2,3)(3,4)(4,5)(5,6);
}

次に、別の例を示しoperator[] ます。存在する場合はキーの値を上書きしますが、存在する場合は値を.insert 上書きしません。

void mapTest()
{
  map<int,float> m;


  for( int i = 0 ; i  <=  2 ; i++ )
  {
    pair<map<int,float>::iterator,bool> result = m.insert( make_pair( 5, (float)i ) ) ;

    if( result.second )
      printf( "%d=>value %f successfully inserted as brand new value\n", result.first->first, result.first->second ) ;
    else
      printf( "! The map already contained %d=>value %f, nothing changed\n", result.first->first, result.first->second ) ;
  }

  puts( "All map values:" ) ;
  for( map<int,float>::iterator iter = m.begin() ; iter !=m.end() ; ++iter )
    printf( "%d=>%f\n", iter->first, iter->second ) ;

  /// now watch this.. 
  m[5]=900.f ; //using operator[] OVERWRITES map values
  puts( "All map values:" ) ;
  for( map<int,float>::iterator iter = m.begin() ; iter !=m.end() ; ++iter )
    printf( "%d=>%f\n", iter->first, iter->second ) ;

}

これはかなり制限されたケースですが、受け取ったコメントから判断すると、注目に値すると思います。

過去の人々が地図を

map< const key, const val> Map;

偶発的な値の上書きのケースを回避し、その後、他のいくつかのコードを書きます。

const_cast< T >Map[]=val;

私が覚えているようにこれを行う理由は、これらの特定のコードのビットでマップ値を上書きしないことを確信していたためです。そのため、より「読みやすい」メソッドを使用し[]ます。

私は実際にこれらの人々によって書かれたコードから直接的な問題を経験したことはありませんが、今日まで、リスクは-どんなに小さくても-簡単に回避できる場合は取るべきではないと強く感じています。

絶対に上書きしてはならないマップ値を処理する場合は、を使用しますinsert。読みやすさのためだけに例外を作らないでください。

std :: map insert()関数はキーに関連付けられた値を上書きしないため、次のようなオブジェクト列挙コードを記述できます。

string word;
map<string, size_t> dict;
while(getline(cin, word)) {
    dict.insert(make_pair(word, dict.size()));
}

異なる非一意のオブジェクトを0〜Nの範囲のIDにマップする必要がある場合、これはかなり一般的な問題です。これらのIDは、たとえばグラフアルゴリズムなどで後で使用できます。operator[]私の意見では、代わりの選択肢は読みにくくなります：

string word;
map<string, size_t> dict;
while(getline(cin, word)) {
    size_t sz = dict.size();
    if (!dict.count(word))
        dict[word] = sz; 
}