trả lại một lambda không std :: chức năng

Question

Hãy xem xét các chức năng sau đó được trả lại một lambda:

std::function<int()> make_counter() 
{ 
    int i = 0; 
    return [=]() mutable { return i++; }; 
} 

Có thể trả về kiểu lambda thực tế, không có gói nó vào một std::function?

Answer 1

C++ 11: Số Mỗi biểu thức lambda có, tôi trích dẫn (§5.1.2/3):

[...] một độc đáo, chưa đặt tên lớp phi đoàn loại [ ...]

Điều này có nghĩa là bạn không thể biết loại lambda mà không biết biểu thức tương ứng trước.

Bây giờ, nếu bạn không nắm bắt bất cứ điều gì, bạn có thể sử dụng chuyển đổi thành con trỏ hàm và trả về (kiểu con trỏ hàm), nhưng điều đó khá hạn chế.

Như @Luc lưu ý trong Lounge, nếu bạn sẵn sàng để thay thế bạn make_counter (và nếu nó không phải là một mẫu, hoặc quá tải, hoặc một cái gì đó), sau đây sẽ làm việc:

auto const make_counter = [](int i = 0) { 
    return [i]() mutable { return i++; }; 
}; 

---

C++ 1y: Có, thông qua khấu trừ loại trả lại cho các chức năng thông thường (N3582).

Answer 2

Nếu bạn ăn gian và sử dụng khấu trừ loại trả lại, yes you can (Link). Lưu ý rằng điều này chỉ có thể vượt ra ngoài C++ 11, mặc dù nó có thể được thực hiện bằng C++ 11 thông thường, không cảnh báo bằng lambdas (có nghĩa là, một lambda bên trong một lambda trả về lamba đó). .