Tangkapan Lambda sebagai referensi const?

Apakah mungkin untuk menangkap dengan referensi const dalam ekspresi lambda?

Saya ingin tugas yang ditandai di bawah gagal, misalnya:

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

Pembaruan: Karena ini adalah pertanyaan lama, mungkin baik untuk memperbaruinya jika ada fasilitas di C ++ 14 untuk membantu dengan ini. Apakah ekstensi dalam C ++ 14 memungkinkan kita untuk menangkap objek non-const dengan referensi const? ( Agustus 2015 )

const tidak ada dalam tata bahasa untuk menangkap pada n3092:

capture:
  identifier
  & identifier
  this

Teks hanya menyebutkan capture-by-copy dan capture-by-reference dan tidak menyebutkan jenis ketegasan.

Rasanya seperti kekeliruan bagi saya, tetapi saya belum mengikuti proses standardisasi dengan sangat cermat.

Di c ++ 14menggunakan static_cast/ const_cast:

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

DEMO

Di c ++ 17menggunakan std::as_const:

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

DEMO 2

Saya pikir bagian penangkapan seharusnya tidak menentukan const, karena artinya penangkapan, itu hanya perlu cara untuk mengakses variabel lingkup luar.

Specifier lebih baik ditentukan dalam lingkup luar.

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

fungsi lambda adalah const (tidak dapat mengubah nilai dalam cakupannya), jadi ketika Anda menangkap variabel dengan nilai, variabel tidak dapat diubah, tetapi referensi tidak dalam cakupan lambda.

Saya kira jika Anda tidak menggunakan variabel sebagai parameter dari functor, maka Anda harus menggunakan level akses dari fungsi saat ini. Jika Anda merasa tidak seharusnya, maka pisahkan lambda Anda dari fungsi ini, itu bukan bagian darinya.

Bagaimanapun, Anda dapat dengan mudah mencapai hal yang sama yang Anda inginkan dengan menggunakan referensi const lain:

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

Tapi itu sama dengan mengasumsikan bahwa lambda Anda harus diisolasi dari fungsi saat ini, menjadikannya non-lambda.

Saya pikir Anda memiliki tiga opsi berbeda:

• jangan gunakan referensi const, tetapi gunakan capture copy
• abaikan fakta bahwa itu dapat dimodifikasi
• gunakan std :: bind untuk mengikat satu argumen dari fungsi biner yang memiliki referensi const.

menggunakan salinan

Bagian yang menarik tentang lambda dengan salinan salinan adalah bahwa itu sebenarnya hanya dibaca dan karena itu lakukan persis apa yang Anda inginkan.

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

menggunakan std :: bind

std::bindmengurangi arity dari suatu fungsi. Namun perlu dicatat bahwa ini mungkin / akan menyebabkan panggilan fungsi tidak langsung melalui pointer fungsi.

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

Ada cara yang lebih pendek.

Perhatikan bahwa tidak ada tanda dan sebelum "best_string".

Ini akan menjadi tipe "const std :: reference_wrapper << T >>".

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

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

Gunakan dentang atau tunggu sampai bug gcc ini diperbaiki: bug 70385: Lambda capture dengan referensi referensi const gagal [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

Menggunakan const hanya akan memiliki algoritma ampersand mengatur string ke nilai aslinya, Dengan kata lain, lambda tidak akan benar-benar mendefinisikan dirinya sebagai parameter fungsi, meskipun lingkup sekitarnya akan memiliki variabel tambahan ... Tanpa mendefinisikannya meskipun, itu tidak akan mendefinisikan string sebagai khas [&, & best_string] (string const s) Oleh karena itu , kemungkinan besar lebih baik jika kita membiarkannya, mencoba menangkap referensi.