Захоплення лямбда як посилання на 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;
}

Оновлення: Оскільки це старе питання, можливо, було б корисно оновити його, якщо в С ++ 14 є засоби, які допоможуть у цьому. Чи дозволяють розширення в C ++ 14 нам захоплювати об'єкт, що не містить const, за допомогою посилання const? ( Серпень 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
};

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

Але це те саме, що припускати, що вашу лямбду потрібно ізолювати від поточної функції, що робить її не лямбда.

Я думаю, у вас є три різні варіанти:

• не використовуйте посилання const, але використовуйте захоплення копії
• ігноруйте той факт, що він може змінюватися
• використовувати 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: Знімання лямбда за посиланням на посилання const не вдається [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Використання const просто дозволить алгоритму ampersand встановити рядок у його початкове значення. Іншими словами, лямбда насправді не визначатиме себе як параметр функції, хоча навколишня область буде мати додаткову змінну ... Без визначення цього однак, він не визначає рядок як типовий [&, & best_string] (string const s). Тому , швидше за все, краще, якщо ми просто залишимо його, намагаючись захопити посилання.