Un typedef que se refiere a sí mismo

Question

typedef bool (*Foo)(Foo a, Foo b); 

¿Cómo se declara un puntero de función que se acepta a sí mismo en sus parámetros?

Answer 1

Indirectamente:

struct Foo{ 
    typedef bool (*FooPtr)(Foo a, Foo b); 
    Foo(FooPtr p) 
     : p(p) 
    {} 

    bool operator()(Foo a, Foo b) const{ 
    return p(a,b); 
    } 

    FooPtr p; 
}; 

struct Bar{ 
    Bar(Foo f) 
     : some_callback(f) 
    {} 

    Foo some_callback; 
}; 

bool a_callback(Foo a, Foo b){ 
    return false; 
} 

int main() { 
    Bar b(a_callback); 
    b.some_callback(Foo(a_callback), Foo(a_callback)); 
} 

No es que alguna vez podría ver cualquier uso en que, como se puede ver en mi ejemplo.

Answer 2

No puede expresar esto en el sistema de tipos. Aunque no hay nada fundamentalmente erróneo en esto, simplifica las cosas al eliminar los ciclos dentro del sistema de tipos. Me recuerda mucho al Axiom of Foundation.

Lo que puede hacer es pasar un puntero nulo y lo echó a su tipo:

typedef bool (*Foo)(void* a, void* b); 

bool f(void* a, void* b) 
{ 
    return ((Foo)a)(a,b); 
}