typedef, который относится к самому себе

Question

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

Как вы объявляете указатель функции, который принимает себя по своим параметрам?

Answer 1

Косвенно:

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

Не то, чтобы я мог видеть любое использование в том, что, как вы можете видеть из моего примера.

Answer 2

Вы не можете выразить это в системе типов. Хотя в этом нет ничего принципиально неправильного, это упрощает вещи, устраняя циклы в системе типов. Это сильно напоминает мне Axiom of Foundation.

Что вы можете сделать, это передать указатель недействительным и приведения его к вашему типу:

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

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