Przechwytywanie lambda jako odniesienie do stałej?

Czy możliwe jest przechwycenie przez odwołanie do stałej w wyrażeniu lambda?

Chcę, aby zadanie zaznaczone poniżej zakończyło się niepowodzeniem, na przykład:

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

Aktualizacja: ponieważ jest to stare pytanie, warto je zaktualizować, jeśli w C ++ 14 są narzędzia, które mogą w tym pomóc. Czy rozszerzenia w C ++ 14 pozwalają nam przechwytywać obiekt inny niż const za pomocą odwołania do stałej? ( Sierpień 2015 )

const nie ma w gramatyce przechwytywania od n3092:

capture:
  identifier
  & identifier
  this

Tekst wspomina tylko o przechwytywaniu przez kopię i przechwytywaniu przez odniesienie i nie wspomina o żadnym rodzaju trwałości.

Wydaje mi się, że to przeoczenie, ale nie śledziłem zbyt dokładnie procesu normalizacji.

W c ++ 14używając static_cast/ const_cast:

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

PRÓBNY

W c ++ 17używając std::as_const:

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

DEMO 2

Myślę, że część przechwytywania nie powinna określać const, ponieważ przechwytywanie oznacza, że ​​potrzebuje tylko sposobu na dostęp do zmiennej zakresu zewnętrznego.

Specyfikator jest lepiej określony w zakresie zewnętrznym.

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

Funkcja lambda jest stała (nie można zmienić wartości w swoim zakresie), więc kiedy przechwytujesz zmienną według wartości, zmienna nie może zostać zmieniona, ale odwołanie nie znajduje się w zakresie lambda.

Wydaje mi się, że jeśli nie używasz zmiennej jako parametru funktora, powinieneś użyć poziomu dostępu bieżącej funkcji. Jeśli uważasz, że nie powinieneś, oddziel swoją lambdę od tej funkcji, nie jest jej częścią.

W każdym razie możesz łatwo osiągnąć to samo, co chcesz, używając zamiast tego innego odwołania do stałej:

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

Ale to to samo, co założenie, że twoja lambda musi być odizolowana od bieżącej funkcji, co czyni ją inną niż lambda.

Myślę, że masz trzy różne opcje:

• nie używaj odwołania do const, ale użyj przechwytywania kopii
• zignoruj ​​fakt, że można go modyfikować
• użyj std :: bind, aby powiązać jeden argument funkcji binarnej, która ma odwołanie do stałej.

za pomocą kopii

Ciekawą częścią lambd z przechwytywaniem kopii jest to, że są one w rzeczywistości tylko do odczytu i dlatego robią dokładnie to, czego chcesz.

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

używając std :: bind

std::bindzmniejsza liczbę funkcji. Należy jednak zauważyć, że może to / doprowadzi do pośredniego wywołania funkcji przez wskaźnik funkcji.

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

Jest krótszy sposób.

Zauważ, że przed „best_string” nie ma znaku ampersand.

Będzie to typ „const std :: reference_wrapper << T >>”.

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

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

Użyj clang lub poczekaj, aż ten błąd gcc zostanie naprawiony: błąd 70385: przechwytywanie Lambdy przez odniesienie do const nie powiedzie się [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Użycie stałej spowoduje po prostu, że algorytm ampersand ustawi ciąg na jego oryginalną wartość, innymi słowy, lambda nie będzie tak naprawdę definiować siebie jako parametru funkcji, chociaż otaczający zakres będzie miał dodatkową zmienną ... Bez jej definiowania chociaż nie zdefiniowałaby ciągu jako typowego [&, & best_string] (string const s) Dlatego najprawdopodobniej lepiej będzie, jeśli po prostu zostawimy go na tym, próbując przechwycić odniesienie.