Sabit referans olarak Lambda yakalama?

Lambda ifadesinde const referansı ile yakalamak mümkün müdür?

Aşağıda işaretlenen atamanın başarısız olmasını istiyorum, örneğin:

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

Güncelleme: Bu eski bir soru olduğundan, C ++ 14'te bu konuda yardımcı olacak tesisler varsa güncellemek iyi olabilir. C ++ 14'teki uzantılar const referansı ile const olmayan bir nesneyi yakalamamıza izin veriyor mu? ( Ağustos 2015 )

const n3092'den itibaren yakalamaların gramerinde değil:

capture:
  identifier
  & identifier
  this

Metin yalnızca kopyala yakalama ve referansla yakalamadan bahseder ve herhangi bir sabitlikten bahsetmez.

Bana bir gözetim gibi geliyor, ama standardizasyon sürecini çok yakından takip etmedim.

İçinde c ++ 14static_cast/ kullanarak const_cast:

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

DEMO

İçinde c ++ 17kullanarak std::as_const:

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

DEMO 2

Bence yakalama kısmı const, yakalama aracı olarak sadece dış kapsam değişkenine erişmenin bir yolunu belirtmemelidir.

Belirtici dış kapsamda daha iyi belirtilir.

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

lambda işlevi const (kapsamındaki değeri değiştiremez), bu nedenle değişkeni değere göre yakaladığınızda, değişken değiştirilemez, ancak başvuru lambda kapsamında değildir.

Değişkeni functor parametresi olarak kullanmıyorsanız, o zaman geçerli işlevin erişim düzeyini kullanmalısınız. Yapmamanız gerektiğini düşünüyorsanız, lambda'nızı bu işlevden ayırın, bunun bir parçası değildir.

Her neyse, bunun yerine başka bir const referansı kullanarak istediğiniz şeyi kolayca elde edebilirsiniz:

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

Ancak bu, lambda'nızın mevcut işlevden izole edilmesi gerektiğini varsaymakla aynıdır ve lambda olmayan bir hale getirir.

Üç farklı seçeneğiniz olduğunu düşünüyorum:

• const başvurusu kullanmayın, ancak kopya yakalama kullanın
• değiştirilebilir olduğu gerçeğini görmezden gel
• consd referansı olan bir ikili işlevin bir argümanını bağlamak için std :: bind kullanın.

bir kopyasını kullanma

Kopya yakalamalı lambdalarla ilgili ilginç kısım, bunların aslında salt okunur olması ve bu nedenle tam olarak ne yapmak istediğinizi yapmasıdır.

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

std :: bind kullanarak

std::bindbir fonksiyonun bütünlüğünü azaltır. Ancak bunun bir işlev işaretçisi aracılığıyla dolaylı bir işlev çağrısına yol açabileceğini / bulacağını unutmayın.

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

Daha kısa bir yol var.

"Best_string" den önce ve işareti olmadığını unutmayın.

Bir "const std :: reference_wrapper << T >>" türünde olacaktır.

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

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

Clang kullanın veya bu gcc hatası giderilene kadar bekleyin: hata 70385: const referansı referansı ile Lambda yakalama başarısız oluyor [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Bir const kullanmak sadece algoritma ampers'ına sahip olacak ve dizeyi orijinal değerine ayarlayacaktır. Bununla birlikte, dizeyi tipik [&, & best_string] (string const s) olarak tanımlamaz. Bu nedenle , referansı yakalamaya çalışırken onu bırakmamız daha olasıdır.