Лямбда-захват как постоянная ссылка?

Можно ли захватить константной ссылкой в ​​лямбда-выражении?

Я хочу, чтобы назначение, отмеченное ниже, не сработало, например:

#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 захватывать неконстантный объект по константной ссылке? ( Август 2015 г. )

const отсутствует в грамматике для захватов с n3092:

capture:
  identifier
  & identifier
  this

В тексте упоминается только «захват за копией» и «захват по ссылке», и не упоминается никакой константности.

Для меня это похоже на недосмотр, но я не очень внимательно следил за процессом стандартизации.

В C ++ 14используя static_cast/ const_cast:

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

DEMO

В 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:

#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;
}

Но это то же самое, что предположить, что ваша лямбда должна быть изолирована от текущей функции, что делает ее не лямбда.

Я думаю, у вас есть три разных варианта:

• не используйте константную ссылку, но используйте захват копии
• игнорировать тот факт, что это модифицируемо
• используйте std :: bind для привязки одного аргумента двоичной функции, которая имеет ссылку на const.

используя копию

Интересная часть о лямбдах с захватами копий заключается в том, что они на самом деле только для чтения и, следовательно, делают именно то, что вам нужно.

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: лямбда-захват по ссылке на константную ссылку завершается неудачей [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Использование const просто приведет к тому, что алгоритм ampersand установит строку в исходное значение. Другими словами, лямбда не будет определять себя как параметр функции, хотя окружающая область будет иметь дополнительную переменную ... Без ее определения тем не менее, она не будет определять строку как типичную [&, & best_string] (string const s). Поэтому , скорее всего, лучше, если мы просто оставим ее при этом, пытаясь захватить ссылку.