Lambda chụp như tham chiếu const?

Có thể chụp bằng tham chiếu const trong biểu thức lambda không?

Tôi muốn bài tập được đánh dấu bên dưới không thành công, ví dụ:

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

Cập nhật: Vì đây là một câu hỏi cũ, có thể tốt để cập nhật nó nếu có các phương tiện trong C ++ 14 để trợ giúp điều này. Các phần mở rộng trong C ++ 14 có cho phép chúng tôi chụp một đối tượng không phải là const bằng tham chiếu const không? ( Tháng 8 năm 2015 )

const không có trong ngữ pháp để chụp vào lúc n3092:

capture:
  identifier
  & identifier
  this

Văn bản chỉ đề cập đến bản sao chụp và bản sao lưu của tài liệu tham khảo và không đề cập đến bất kỳ loại hình nào.

Cảm thấy như một sự giám sát đối với tôi, nhưng tôi đã không theo dõi quá trình tiêu chuẩn hóa rất chặt chẽ.

Trong c ++ 14sử dụng static_cast/ const_cast:

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

BẢN GIỚI THIỆU

Trong c ++ 17sử dụng std::as_const:

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

DEMO 2

Tôi nghĩ rằng phần chụp không nên chỉ định const, vì phần chụp có nghĩa, nó chỉ cần một cách để truy cập biến phạm vi bên ngoài.

Các specifier được chỉ định tốt hơn trong phạm vi bên ngoài.

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

Hàm lambda là const (không thể thay đổi giá trị trong phạm vi của nó), vì vậy khi bạn nắm bắt biến theo giá trị, biến không thể thay đổi, nhưng tham chiếu không nằm trong phạm vi lambda.

Tôi đoán nếu bạn không sử dụng biến làm tham số của functor, thì bạn nên sử dụng mức truy cập của hàm hiện tại. Nếu bạn nghĩ rằng bạn không nên, thì hãy tách lambda của bạn khỏi chức năng này, nó không phải là một phần của nó.

Dù sao, bạn có thể dễ dàng đạt được điều tương tự mà bạn muốn bằng cách sử dụng tham chiếu const khác thay thế:

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

Nhưng điều đó cũng giống như giả sử rằng lambda của bạn phải được cách ly khỏi chức năng hiện tại, làm cho nó không phải là lambda.

Tôi nghĩ bạn có ba lựa chọn khác nhau:

• không sử dụng tham chiếu const, nhưng sử dụng một bản sao chụp
• bỏ qua thực tế rằng nó có thể sửa đổi
• sử dụng std :: bind để liên kết một đối số của hàm nhị phân có tham chiếu const.

sử dụng một bản sao

Phần thú vị về lambdas với các bản sao chụp là những cái đó thực sự chỉ được đọc và do đó làm chính xác những gì bạn muốn chúng.

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

sử dụng std :: bind

std::bindlàm giảm tính tự nhiên của một chức năng. Tuy nhiên, lưu ý rằng điều này có thể / sẽ dẫn đến một cuộc gọi chức năng gián tiếp thông qua một con trỏ hàm.

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

Có một cách ngắn hơn.

Lưu ý rằng không có dấu và trước "best_ chuỗi".

Nó sẽ thuộc loại "const std :: Reference_wrapper << T >>".

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

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

Sử dụng tiếng kêu hoặc đợi cho đến khi lỗi gcc này được sửa: bug 70385: Việc bắt Lambda bằng cách tham chiếu tham chiếu const không thành công [ https://gcc.gnu.org/ormszilla/show_orms.cgi?id=70385 ]

Sử dụng một const sẽ chỉ đơn giản là có các bộ giải thuật toán và đặt chuỗi thành giá trị ban đầu của nó, nói cách khác, lambda sẽ không thực sự tự xác định là tham số của hàm, mặc dù phạm vi xung quanh sẽ có thêm một biến ... Không cần xác định nó mặc dù vậy, nó sẽ không định nghĩa chuỗi là [&, & best_ chuỗi] (chuỗi const s) điển hình . Do đó , rất có thể sẽ tốt hơn nếu chúng ta chỉ để nó ở đó, cố gắng nắm bắt tham chiếu.