Làm cách nào để tạo 'tham chiếu' cho lambda?

Question

Tôi muốn chụp một 'tham khảo' để một lambda, và tôi nghĩ rằng một con trỏ hàm sẽ làm các trick, như trong:

int (*factorial)(int) = [&](int x){ 
    return (x < 2) 
     ? 1 
     : x * factorial(x - 1); 
}; 

nhưng tôi nhận cannot convert from main::lambda<......> to int(_cdecl *)(int).

Cách thích hợp để trỏ đến một lambda sau đó là gì?

Answer 1

Kể từ khi lambda không phải là không quốc tịch, nó không thể được chuyển đổi thành một con trỏ hàm. Sử dụng std::function để thay thế.

std::function<int(int)> factorial = [&](int x){ 
    return (x < 2) 
     ? 1 
     : x * factorial(x - 1); 
}; 

Answer 2

Đây sẽ là gần nhất với những gì bạn đã:

std::function<int (int)> factorial = [&](int x){ 
    return (x < 2) 
     ? 1 
     : x * factorial(x - 1); 
}; 

thông thường bạn cũng có thể sử dụng auto, nhưng trong trường hợp này nó không hoạt động vì chức năng là đệ quy.

Answer 3

Bạn đã có câu trả lời hay. Sau đây chỉ là một sự tò mò nhưng tôi sẽ không đề nghị bạn sử dụng nó.

Khi người khác trả lời, lambda factorial cố gắng chụp chính nó và do đó nó không phải là không trạng thái. Do đó, nó không thể chuyển đổi thành con trỏ hàm.

Lambdas không cần phải nắm bắt đối tượng toàn cầu hoặc static, vì vậy nếu bạn thực hiện factorial một biến toàn cầu hoặc static sau đó bạn không cần phải nắm bắt nó và làm việc này tốt (gcc 4.7.2)

#include <iostream> 

    typedef int (*function)(int); 

    int main() { 
     static function factorial = [](int x){ 
      return (x < 2) ? 1 : x * factorial(x - 1); 
     }; 
     std::cout << factorial(5) << '\n'; 
    } 

bạn cũng có thể tạo một nhà máy như thế này:

#include <iostream> 

    typedef int (*function)(int); 

    function make_factorial() { 
     static function factorial = [](int x){ 
      return (x < 2) ? 1 : x * factorial(x - 1); 
     }; 
     return factorial; 
    } 

    int main() { 
     auto factorial = make_factorial(); 
     std::cout << factorial(5) << '\n'; 
    } 

Nếu bạn muốn xáo trộn nhiều hơn :-) sau đó loại bỏ typedef:

// This is a function returning a pointer to a function taking an int and returning an int. 
    int (*(make_factorial)())(int) { 
     static int (*factorial)(int) = [](int x){ 
      return (x < 2) ? 1 : x * factorial(x - 1); 
     }; 
     return factorial; 
    }