Cách hiểu "typedef int (xxx) (int yyy);"?

Question

typedef int (xxx)(int yyy); dường như xác định con trỏ hàm có tên xxx trỏ đến hàm có tham số nguyên yyy.

Nhưng tôi không thể hiểu cú pháp đó ... Có thể ai giải thích tốt không?

---

Tôi tìm thấy typedef int xxx(int yyy); vẫn hoạt động. Bất kỳ sự khác biệt nào giữa chúng?

Answer 1

Điều này xác định loại hàm, không phải là loại con trỏ hàm.

Mẫu với typedef là mẫu sửa đổi bất kỳ tuyên bố nào thay vì khai báo một đối tượng, nó khai báo một bí danh cho loại đối tượng sẽ có.

này là hoàn toàn hợp lệ:

typedef int (xxx)(int yyy); // Note, yyy is just an unused identifier. 
// The parens around xxx are also optional and unused. 

xxx func; // Declare a function 

int func(int arg) { // Define the function 
    return arg; 
} 

C và C++ ngôn ngữ cụ thể, và thương xót, không cho phép sử dụng một tên typedef như toàn bộ gõ một định nghĩa hàm.

Answer 2

Có, typedef int (xxx)(int yyy); giống với typedef int xxx(int yyy); xác định loại chức năng. Bạn có thể tìm thấy một ví dụ từ trang 156 C 11 dự thảo tiêu chuẩn N1570. Trích từ trang đó,

All three of the following declarations of the signal function specify exactly the same type, the first without making use of any typedef names.

typedef void fv(int), (*pfv)(int); 
    void (*signal(int, void (*)(int)))(int); 
    fv *signal(int, fv *); 
    pfv signal(int, pfv); 

Answer 3

Nếu bạn có một số declarator x trong khai T x, sau đó T x(t1 p1, t2 p2) nghĩa chức năng với params p1, p2, trở về cùng loại như declarator x đã có trước khi .

Dấu ngoặc đơn xung quanh người khai báo có nghĩa là áp dụng các công cụ sửa đổi bên trong dấu ngoặc đơn đầu tiên.

Trong trường hợp của bạn, không có công cụ sửa đổi nào bên trong dấu ngoặc đơn. Điều này có nghĩa là không cần chúng.

Nguyên mẫu hàm có nghĩa là Có một hàm ở đâu đó có chữ ký này và tên của nó là Blah.

Typedef với nguyên mẫu của hàm có nghĩa là Cho phép đặt tên blah thành chữ ký hàm. Điều này không ngụ ý rằng bất kỳ chức năng nào có chữ ký này đều tồn tại. Tên này có thể được sử dụng làm loại. Ví dụ:

typedef int xxx(int yyy); 

xxx *func_ptr;  // Declaration of a variable that is a pointer to a function. 
xxx *func2(int p1); // Function that returns a pointer to a function.