Đang cố gắng để hiểu lambdas

Question

Đang cố gắng để hiểu lambdas trong C++, những gì tôi không hiểu điều này là:

int multiplier = 5; 
auto timesFive = [multiplier](int a) { return a * multiplier; }; 
std::cout << timesFive(2) << '\n'; // Prints 10 

multiplier = 15; 
std::cout << timesFive(2) << '\n'; // Still prints 2*5 == 10 (???) - Should it be 30? 

Khi chương trình gọi là timesFive() lần thứ hai, tôi mong đợi kết quả là 30. Nhưng tại sao là kết quả Still prints 2*5 == 10, không phải prints 2*15 == 30? Có lẽ chức năng lambda bằng cách nào đó không thể theo dõi giá trị của multiplier, mặc dù chúng tôi đã cố gắng nắm bắt nó?

Và cách để có được kết quả mong muốn là gì?

Answer 1

Bạn đã chụp multiplier theo giá trị, có nghĩa là nó đã được sao chép vào lambda. Bạn cần chụp ảnh bằng cách tham chiếu:

int multiplier = 5; 
auto timesFive = [&multiplier](int a) { return a * multiplier; }; 
std::cout << timesFive(2); 

multiplier = 15; 
std::cout << timesFive(2); 

Answer 2

Lambdas là đường cú pháp cho lớp không thể đặt tên và trường hợp của chúng. Đôi khi, mở rộng mã của bạn ra ngoài với những gì lớp học không thể đặt tên này có thể giúp hiểu những gì đang xảy ra.

[ capture_list ](arg_list) -> return_value_clause_opt { body }; 

trở nên rất gần (pseudo-code):

struct anonymous_type { 
    capture_list; 
    auto operator()(arg_list) const -> return_value_clause_opt { 
    body 
    } 
    anonymous_type(capture_list_in):capture_list(capture_list_in) {} 
}; 

Nếu bạn liệt kê một biến trong capture_list theo tên đơn giản của nó, nó là sao chép vào một bản sao trong lớp nặc danh.

Vì vậy timesFive của bạn trở thành

struct __secret_name__ { 
    int multiplier; 
    int operator()(int a) const { return a*multiplier; } 
}; 
int multiplier = 5; 
auto timesFive = __secret_name__{multiplier}; 

Nó nên được khá rõ ràng rằng việc thay đổi multiplier trong đoạn mã trên sẽ không thay đổi hành vi của timesFive.

Nếu bạn đặt & ở phía trước tên, tài khoản không consttham chiếu được đặt trong lớp ẩn danh.

struct __secret_name__ { 
    int& multiplier; 
    int operator()(int a) const { return a*multiplier; } 
}; 
int multiplier = 5; 
auto timesFive = __secret_name__{multiplier}; 

bây giờ, thay đổi multiplier sẽ thay đổi hành vi của timesFive, vì timesFive nắm giữ một tài liệu tham khảo để Multiplier, không phải là một bản sao của nó.

---

Một số chi tiết bỏ qua ở trên để ngắn gọn. Tên __secret_name__ chỉ dành cho giải trình. Các biến thành viên của lamba không thực sự là công khai. Các lambda được trivially constructible được thực hiện được xác định ngay cả khi dữ liệu của nó được. Vv