Một typedef đề cập đến chính nó

Question

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

Làm thế nào để bạn khai báo một con trỏ hàm chấp nhận chính nó trong các tham số của nó?

Answer 1

Gián tiếp:

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

Không phải là tôi đã từng nhìn thấy bất kỳ sử dụng trong đó, như bạn có thể nhìn thấy từ ví dụ của tôi.

Answer 2

Bạn không thể diễn tả điều này trong hệ thống kiểu. Mặc dù không có gì sai về cơ bản trong điều này, nó đơn giản hoá mọi thứ bằng cách loại bỏ các chu kỳ trong hệ thống kiểu. Nó mạnh mẽ nhắc tôi về Axiom of Foundation.

Những gì bạn có thể làm là vượt qua một con trỏ void và đúc nó vào loại bạn:

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

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