Un typedef che si riferisce a se stesso

Question

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

Come si dichiara un puntatore a funzione che si accetta nei suoi parametri?

Answer 1

Indirettamente:

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

Non che io possa mai vedere qualsiasi uso in quanto, come si può vedere dal mio esempio.

Answer 2

Non è possibile esprimere questo nel sistema di tipi. Anche se non c'è nulla di fondamentalmente sbagliato in questo, semplifica le cose eliminando i cicli all'interno del sistema di tipi. Mi ricorda fortemente lo Axiom of Foundation.

Che cosa si può fare è passare un puntatore nullo e lo gettò al vostro tipo:

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

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