Chức năng trả về biểu thức lambda

Question

Tôi tự hỏi liệu có thể viết một hàm trả về hàm lambda trong C++ 11 hay không. Tất nhiên một vấn đề là làm thế nào để khai báo chức năng như vậy. Mỗi lambda có một kiểu, nhưng kiểu đó không thể hiện rõ trong C++. Tôi không nghĩ rằng điều này sẽ làm việc:

auto retFun() -> decltype ([](int x) -> int) 
{ 
    return [](int x) { return x; } 
} 

Cũng không này:

int(int) retFun(); 

Tôi không nhận thấy bất kỳ chuyển đổi tự động từ lambdas đến, nói rằng, con trỏ đến chức năng, hoặc một số ví dụ. Là giải pháp duy nhất thủ công một đối tượng chức năng và trả lại nó?

Answer 1

Bạn không cần một đối tượng chức năng làm thủ công, chỉ cần sử dụng std::function, mà hàm lambda là mui trần:

std::function<int (int)> retFun() { 
    return [](int x) { return x; }; 
} 

Answer 2

Ví dụ đơn giản này, bạn không cần phải std::function.

Từ tiêu chuẩn §5.1.2/6:

Kiểu đóng cửa cho một lambda-biểu không có lambda-chụp có chức năng chuyển đổi nào không ảo không rõ ràng const để con trỏ có chức năng có cùng tham số và kiểu trả về như toán tử gọi hàm của loại đóng. Giá trị trả về bởi hàm chuyển đổi này sẽ là địa chỉ của hàm mà khi được gọi, có cùng tác dụng như gọi toán tử gọi hàm của loại đóng.

Bởi vì chức năng của bạn không có một nắm bắt, nó có nghĩa là lambda có thể được chuyển đổi sang một con trỏ đến chức năng của loại int (*)(int):

typedef int (*identity_t)(int); // works with gcc 
identity_t retFun() { 
    return [](int x) { return x; }; 
} 

Đó là sự hiểu biết của tôi, chính xác cho tôi nếu tôi sai rồi.

Answer 3

Bạn có thể trả về hàm lambda từ hàm lambda khác, vì bạn không nên chỉ định rõ ràng kiểu trả về của hàm lambda. Chỉ cần viết một cái gì đó như thế trong phạm vi toàn cầu:

auto retFun = []() { 
    return [](int x) {return x;}; 
}; 

Answer 4

Mặc dù câu hỏi đặc biệt hỏi về C++ 11, vì lợi ích của những người khác sau khi vấp ngã này và được tiếp cận với một trình biên dịch C++ 14, C++ 14 giờ đây cho phép loại bỏ các kiểu trả về cho các hàm bình thường. Vì vậy, ví dụ trong câu hỏi có thể được điều chỉnh chỉ để làm việc như mong muốn chỉ đơn giản bằng cách thả các -> decltype ... khoản sau khi danh sách tham số chức năng:

auto retFun() 
{ 
    return [](int x) { return x; } 
} 

Lưu ý, tuy nhiên, điều này sẽ không làm việc nếu có nhiều hơn một return <lambda>; xuất hiện trong hàm. Điều này là do hạn chế về khấu trừ kiểu trả về là tất cả các câu lệnh trả về phải trả về các biểu thức cùng loại, nhưng mọi đối tượng lambda đều được trình biên dịch cung cấp, do đó, mỗi biểu thức có một kiểu khác nhau.