Typedef per lambda ricorsiva

Question

C'è un modo per creare un typedef tale che la seguente (un'implementazione "pura" di base del combinatore y) venga compilata?

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

Questo ha l'effetto di creare un "lambda ricorsivo", cioè uno che si definisce utilizzando un secondo lambda per ottenere un riferimento a se stessa. x nel primo lambda è un riferimento al secondo lambda, quindi x(x) chiama il secondo lambda con un riferimento a se stesso. Successivamente, la seconda lambda ricorre chiamando x(x). Questo codice, quando viene eseguito, dovrebbe produrre un ciclo infinito fino a quando non raggiunge l'overflow dello stack. Implementazioni più sofisticate della seconda funzione possono produrre un comportamento ricorsivo arbitrario.

Ho provato typedef varie versioni di void(*)(...) ma non credo che possa riuscire. La metaprogrammazione del mio modello non è abbastanza forte per gestire questo tipo di cose.

Answer 1

Che ne dici di questo?

#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);}); 
}