のstd :: for_each、C++ 11

Question

反復処理は動作します：

std::vector<int> collection = {2, 3, 4, 5435345, 2}; 
std::for_each(collection.begin(), collection.end(), [](int& i){cout << i << endl;}); 

ではなく、オーバーセットは（コンパイルエラー）：

std::set<int> collection = {2, 3, 4, 5435345, 2}; 
std::for_each(collection.begin(), collection.end(), [](int& i){cout << i << endl;}); 

をなぜすることができます」私はstd::setをstd::for_eachで繰り返しますか？

ボーナス質問： また、私はなぜこれが自動的に推定することはできません、auto&にラムダの引数でint&を変更したいですか？

Answer 1

std::set<T>::value_typeはT constであり、Tではない。その結果、ラムダの引数は値のタイプ（つまりコピー）またはint const&（技術的にはint const volatile&）でなく、int&でなければなりません。すなわち、この作品：

std::set<int> collection{2, 3, 4, 5435345, 2}; 
std::for_each(
    collection.begin(), 
    collection.end(), 
    [](int const& i) { std::cout << i << std::endl; } 
); 

---

ボーナス質問：また、私はauto&にラムダの引数にint&を変更したい、なぜこれが自動的に推論することができないのですか？

標準では言えないので、歴史的には、これはラムダとコンセプトの間の過度に複雑な相互作用（コンセプトがドラフトから削除される前）に起因すると考えています。 しかし、最初の欠陥が新しい（C++ 11）標準に報告しているという噂がありますので、来年1〜2年以内に選択したコンパイラにこの機能が追加されている可能性があります。 EDIT：まあ、C++ 14は多型ラムダを持っています...

Answer 2

あなたはセットを繰り返し処理できるはずです。ただし、セット内の要素もそのキーであるため、変更することはできません。 constの参照を取るようにコードを変更し、要素を変更しない場合は、セットかどうかにかかわらず、代わりにcbegin/cendを使用してください。

Answer 3

逆参照されたset<int>イテレータは、const int&です。したがってconstのないint&パラメータとして渡すことはできません。プレーン(int i)または(const int& i)を試してください。

これは実際にあなたが使用できる場所の1つではありませんauto。私はautoは、イニシャライザを使った宣言や後続の戻り型のプレースホルダとしてしか機能しないと思います。

Answer 4

ボーナスに関する質問：「自動」関数の引数は、ラムダに固有のものではありません。 すべて関数をf(auto x, auto y)と宣言することを許可しない理由を尋ねるかもしれません。しかし、それは基本的にすべての関数を関数テンプレートで置き換えることを意味します。これは、既存のC++言語や型システムではうまく機能しないと考えられていました。関数テンプレートが必要な場合は、すでに既存の構文とメカニズムがあり、 "auto"引数を宣言するのは方法ではありません。