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

이 텍스트는 사본 별 캡처 및 기준 별 캡처 만 언급하고 어떤 종류의 constness도 언급하지 않습니다.

나는 감독에 대한 느낌이지만, 표준화 과정을 매우 밀접하게 따르지 않았습니다.

에 C ++ 14사용 static_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 (범위에서 값을 변경할 수 없음)이므로 값으로 변수를 캡처하면 변수를 변경할 수 없지만 참조는 람다 범위에 없습니다.

변수를 functor의 매개 변수로 사용하지 않는 경우 현재 함수의 액세스 수준을 사용해야합니다. 해서는 안된다고 생각되면이 함수와 람다를 분리하십시오.

어쨌든 다른 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;
}

그러나 이것은 람다가 현재 기능과 분리되어 람다가 아닌 것으로 가정하는 것과 같습니다.

세 가지 옵션이 있다고 생각합니다.

• const 참조를 사용하지 않고 사본 캡처를 사용하십시오.
• 그것이 수정 가능하다는 사실을 무시하십시오
• std :: bind를 사용하여 const 참조가있는 이진 함수의 인수 하나를 바인딩하십시오.

사본 사용

복사 캡처가있는 람다에 대한 흥미로운 부분은 실제로 읽기 전용이므로 원하는대로 정확하게 수행한다는 것입니다.

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

std :: bind 사용

std::bind함수의 arity를 ​​줄입니다. 그러나 이로 인해 함수 포인터를 통해 간접 함수 호출이 발생할 수 있습니다.

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) 로 정의하지는 않습니다. 따라서 참조를 캡처하려고 시도하면 그대로 두는 것이 좋습니다.