Kendisine başvuran bir yazım hatası

Question

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

Kendi parametrelerinde kendini kabul eden bir işlev işaretçisini nasıl bildiriyorsunuz? Dolaylı olarak

Answer 1

: Benim örnek gördüğünüz gibi

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

Ben asla o herhangi kullanımını görebiliyordu değil.

Answer 2

Bunu tür sistemde ifade edemezsiniz. Bu konuda temel olarak yanlış bir şey olmamasına rağmen, tip sistemi içindeki döngüleri ortadan kaldırarak işleri kolaylaştırır. Bu bana Axiom of Foundation'u hatırlatıyor. Yapamazsınız

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

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