Typedef für rekursives Lambda

Question

Gibt es eine Möglichkeit, ein typedef so zu erstellen, dass das folgende (eine grundlegende "reine" Implementierung des y-Kombinator) kompilieren würde?

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

Dies hat den Effekt eines „rekursive lambda“ erstellen, das heißt eine, die sich selbst aufruft, indem eine zweite Lambda unter Verwendung an sich selbst eine Referenz zu erhalten. x im ersten Lambda ist ein Verweis auf das zweite Lambda, so x(x) nennt das zweite Lambda mit einem Verweis auf sich. Danach rekursiert das zweite Lambda durch Aufruf x(x). Dieser Code sollte, wenn er ausgeführt wird, eine Endlosschleife erzeugen, bis er den Stapelüberlauf erreicht. Komplexere Implementierungen der zweiten Funktion können willkürliches rekursives Verhalten erzeugen.

Ich habe versucht typedef ing verschiedene Versionen von void(*)(...), aber ich glaube nicht, dass dies gelingen kann. Meine Template-Metaprogrammierung ist nicht stark genug, um mit so etwas fertig zu werden.

Answer 1

Wie wäre es mit diesem?

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