자체를 참조하는 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); 
}