Lambda-Erfassung als konstante Referenz?

Ist es möglich, durch konstante Referenz in einem Lambda-Ausdruck zu erfassen?

Ich möchte, dass die unten markierte Zuweisung fehlschlägt, zum Beispiel:

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

Update: Da dies eine alte Frage ist, kann es hilfreich sein, sie zu aktualisieren, wenn in C ++ 14 Funktionen vorhanden sind, die Ihnen dabei helfen. Ermöglichen die Erweiterungen in C ++ 14 das Erfassen eines Nicht-Const-Objekts als Const-Referenz? ( August 2015 )

const ist nicht in der Grammatik für Captures ab n3092:

capture:
  identifier
  & identifier
  this

Der Text erwähnt nur Capture-by-Copy und Capture-by-Reference und erwähnt keinerlei Konstanz.

Fühlt sich für mich wie ein Versehen an, aber ich habe den Standardisierungsprozess nicht sehr genau verfolgt.

Im c ++ 14mit static_cast/ const_cast:

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

DEMO

Im c ++ 17mit std::as_const:

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

DEMO 2

Ich denke, der Erfassungsteil sollte nicht angeben const, da die Erfassung bedeutet, dass er nur eine Möglichkeit benötigt, auf die äußere Bereichsvariable zuzugreifen.

Der Bezeichner wird im äußeren Bereich besser angegeben.

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

Die Lambda-Funktion ist const (kann den Wert in ihrem Bereich nicht ändern). Wenn Sie also eine Variable nach Wert erfassen, kann die Variable nicht geändert werden, aber die Referenz befindet sich nicht im Lambda-Bereich.

Ich denke, wenn Sie die Variable nicht als Parameter des Funktors verwenden, sollten Sie die Zugriffsebene der aktuellen Funktion verwenden. Wenn Sie denken, Sie sollten nicht, dann trennen Sie Ihr Lambda von dieser Funktion, es ist nicht Teil davon.

Auf jeden Fall können Sie auf einfache Weise dasselbe erreichen, was Sie möchten, indem Sie stattdessen eine andere const-Referenz verwenden:

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

Dies entspricht jedoch der Annahme, dass Ihr Lambda von der aktuellen Funktion isoliert werden muss, sodass es kein Lambda ist.

Ich denke, Sie haben drei verschiedene Möglichkeiten:

• Verwenden Sie keine const-Referenz, sondern eine Kopienerfassung
• ignorieren Sie die Tatsache, dass es modifizierbar ist
• Verwenden Sie std :: bind, um ein Argument einer Binärfunktion zu binden, die eine const-Referenz hat.

mit einer Kopie

Das Interessante an Lambdas mit Copy Captures ist, dass diese tatsächlich schreibgeschützt sind und daher genau das tun, was Sie möchten.

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

mit std :: bind

std::bindreduziert die Arität einer Funktion. Beachten Sie jedoch, dass dies über einen Funktionszeiger zu einem indirekten Funktionsaufruf führen kann / wird.

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

Es gibt einen kürzeren Weg.

Beachten Sie, dass vor "best_string" kein kaufmännisches Und steht.

Es wird vom Typ "const std :: reference_wrapper << T >>" sein.

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

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

Verwenden Sie clang oder warten Sie, bis dieser gcc-Fehler behoben ist: Fehler 70385: Lambda-Erfassung durch Referenz der const-Referenz schlägt fehl [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Wenn Sie eine Konstante verwenden, setzt der kaufmännische Und-Wert des Algorithmus die Zeichenfolge auf den ursprünglichen Wert. Mit anderen Worten, das Lambda definiert sich nicht wirklich als Parameter der Funktion, obwohl der umgebende Bereich eine zusätzliche Variable hat ... Ohne sie zu definieren Die Zeichenfolge wird jedoch nicht als typische [&, & best_string] (Zeichenfolgenkonstante) definiert. Daher ist es höchstwahrscheinlich besser, wenn wir sie einfach dabei belassen und versuchen, die Referenz zu erfassen.