Hàm trả về một biểu thức lambda

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

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

Cũng không phải cái này:

int(int) retFun();

Tôi không biết về bất kỳ chuyển đổi tự động nào từ lambdas thành, chẳng hạn, con trỏ đến các hàm hoặc một số chuyển đổi tương tự. Giải pháp duy nhất có phải là tạo thủ công một đối tượng hàm và trả lại nó không?

Bạn không cần một đối tượng hàm được tạo thủ công, chỉ cần sử dụng std::function, các hàm lambda có thể chuyển đổi được:

Ví dụ này trả về hàm nhận dạng số nguyên:

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

Đối với ví dụ đơn giản này, bạn không cần std::function.

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

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

Bởi vì hàm của bạn không có chức năng chụp, điều đó có nghĩa là lambda có thể được chuyển đổi thành một con trỏ thành hàm kiểu 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, hãy sửa cho tôi nếu tôi sai.

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ư vậy trong phạm vi toàn cầu:

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

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 tình cờ gặp phải điều này và có quyền truy cập vào trình biên dịch C ++ 14, C ++ 14 hiện cho phép các kiểu trả về được suy diễn cho các hàm thông thường. Vì vậy, ví dụ trong câu hỏi có thể được điều chỉnh để hoạt động như mong muốn chỉ đơn giản bằng cách bỏ -> decltypemệnh đề ... sau danh sách tham số hàm:

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

Tuy nhiên, lưu ý rằng điều này sẽ không hoạt động nếu nhiều hơn một return <lambda>;xuất hiện trong hàm. Điều này là do một hạn chế trong việc 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 kiểu, nhưng mọi đối tượng lambda đều được trình biên dịch cung cấp kiểu duy nhất của riêng nó, vì vậy mỗi return <lambda>;biểu thức sẽ có một kiểu khác nhau.

Bạn nên viết như thế này:

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

để lấy trả về của bạn dưới dạng một hàm và sử dụng nó như:

int val = returnFunction(someNumber);

Ví dụ: nếu bạn không có c ++ 11 và đang chạy mã c ++ trên bộ điều khiển vi mô. Bạn có thể trả về một con trỏ void và sau đó thực hiện ép kiểu.

void* functionThatReturnsLambda()
{
    void(*someMethod)();

    // your lambda
    someMethod = []() {

        // code of lambda

    };

    return someMethod;
}


int main(int argc, char* argv[])
{

    void* myLambdaRaw = functionThatReturnsLambda();

    // cast it
    auto myLambda = (void(*)())myLambdaRaw;

    // execute lambda
    myLambda();
}