Typedef для рекурсивной лямбда

Question

Есть ли способ создать typedef так, что будет скомпилирована следующая (базовая «чистая» реализация y-комбинатора)?

typedef ??? f; 
[](f x){x(x);} ([](f x){x(x);}); 

Это имеет эффект создания «рекурсивную лямбды», то есть один, который вызывает себя с помощью второго лямбды, чтобы получить ссылку на себя. x в первой лямбда является ссылкой на вторую лямбду, поэтому x(x) вызывает вторую лямбду со ссылкой на себя. После этого вторая лямбда рекурсирует, вызывая x(x). Этот код при выполнении должен создавать бесконечный цикл до тех пор, пока он не достигнет переполнения стека. Более сложные реализации второй функции могут приводить к произвольному рекурсивному поведению.

Я пробовал typedef различные версии void(*)(...), но я не верю, что это удастся. Мое метапрограммирование шаблона недостаточно сильное, чтобы справляться с такими вещами.

Answer 1

Как насчет этого?

#include <functional> 
#include <iostream> 

struct X 
{ 
    template<typename F> 
    X(F f) : _f(f) 
    { } 

    void operator() (std::function<void(X)> f) 
    { 
     std::cout << "Calling myself..." << std::endl; 
     _f(f); 
    } 

    std::function<void(X)> _f; 
}; 

int main() 
{ 
    typedef X f; 
    [](f x){x(x);} ([](f x){x(x);}); 
}