const参照としてのラムダキャプチャ？

ラムダ式でconst参照によってキャプチャすることは可能ですか？

以下にマークされている割り当てを失敗させたい、例えば：

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";

    for_each( &strings[0], &strings[num_strings], [&best_string](const string& s)
      {
        best_string = s; // this should fail
      }
    );
    return 0;
}

更新：これは古い質問なので、C ++ 14にこれを支援する機能がある場合は更新することをお勧めします。C ++ 14の拡張機能では、const参照によって非constオブジェクトをキャプチャできますか？（2015年8月）

const n3092現在のキャプチャの文法にはありません：

capture:
  identifier
  & identifier
  this

このテキストは、コピーによるキャプチャと参照によるキャプチャについてのみ言及し、いかなる種類の一貫性についても言及していません。

私には見落としのように感じますが、私は標準化プロセスにあまり厳密に従っていません。

に c ++ 14static_cast/ を使用const_cast：

[&best_string = static_cast<const std::string&>(best_string)](const string& s)
{
    best_string = s; // fails
};

デモ

に c ++ 17を使用してstd::as_const：

[&best_string = std::as_const(best_string)](const string& s)
{
    best_string = s; // fails
};

デモ2

キャプチャの部分ではを指定するべきではないと思いますconst。キャプチャの手段としては、外側のスコープ変数にアクセスする方法のみが必要です。

指定子は、外側のスコープでより適切に指定されます。

const string better_string = "XXX";
[&better_string](string s) {
    better_string = s;    // error: read-only area.
}

ラムダ関数はconst（スコープ内で値を変更できない）であるため、変数を値でキャプチャする場合、変数は変更できませんが、参照はラムダスコープ内にありません。

ファンクタのパラメータとして変数を使用していない場合は、現在の関数のアクセスレベルを使用する必要があります。すべきでないと思われる場合は、ラムダをこの関数から分離してください。ラムダはこの関数の一部ではありません。

とにかく、代わりに別のconst参照を使用することで、同じことを簡単に実現できます。

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";
    const string& string_processed = best_string;

    for_each( &strings[0], &strings[num_strings], [&string_processed]  (const string& s)  -> void 
    {
        string_processed = s;    // this should fail
    }
    );
    return 0;
}

しかし、これはラムダを現在の関数から分離し、それを非ラムダにする必要があると仮定するのと同じです。

私はあなたが3つの異なるオプションを持っていると思います：

• const参照を使用せず、コピーキャプチャを使用する
• 変更可能であるという事実を無視する
• std :: bindを使用して、const参照を持つバイナリ関数の1つの引数をバインドします。

コピーを使用して

コピーキャプチャを備えたラムダの興味深い部分は、これらは実際には読み取り専用であるため、望みどおりの動作をするということです。

int main() {
  int a = 5;
  [a](){ a = 7; }(); // Compiler error!
}

std :: bindの使用

std::bind関数のアリティを減らします。ただし、これにより、関数ポインタを介した間接的な関数呼び出しが発生する可能性があります。

int main() {
  int a = 5;
  std::function<int ()> f2 = std::bind( [](const int &a){return a;}, a);
}

もっと短い方法があります。

「best_string」の前にはアンパサンドがないことに注意してください。

「const std :: reference_wrapper << T >>」タイプになります。

[best_string = cref(best_string)](const string& s)
{
    best_string = s; // fails
};

http://coliru.stacked-crooked.com/a/0e54d6f9441e6867

clangを使用するか、このgccバグが修正されるまで待ちます：バグ70385：const参照の参照によるLambdaキャプチャーが失敗します[ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

constを使用すると、単純にアルゴリズムがアンパサンドして文字列を元の値に設定します。つまり、ラムダは実際には関数のパラメーターとしてそれ自体を定義しませんが、周囲のスコープには追加の変数があります...定義せずにただし、文字列を典型的な[＆、＆best_string]（string const s） として定義することはできません。 そのため、そのままにして参照をキャプチャしようとするのが最も良い方法です。