typedef cơ bản toán hạng cú pháp

Question

Given:

typedef type-declaration synonym; 

tôi có thể xem như thế nào:

typedef long unsigned int size_t; 

tuyên bố size_t như một từ đồng nghĩa với long unsigned int, tuy nhiên tôi (biết nó nhưng) không thể nhìn thấy chính xác cách thực hiện:

typedef int (*F)(size_t, size_t); 

tuyên bố F như một từ đồng nghĩa với pointer to function (size_t, size_t) returning int

hai toán hạng typedef của (type-declaration, synonym) trong ví dụ đầu tiên là long unsigned int và size_t.

Hai đối số để nhập typedef trong khai báo F hoặc có thể là phiên bản quá tải của typedef?

Nếu có sự khác biệt có liên quan giữa C và C++, vui lòng giải thích nếu không, tôi chủ yếu quan tâm đến C++ nếu điều đó hữu ích.

Answer 1

Khai báo kiểu bằng cách sử dụng typedef giống như khai báo biến tương ứng, chỉ với typedef được thêm vào trước. Vì vậy,

 int x; // declares a variable named 'x' of type 'int' 
typedef int x; // declares a type named 'x' that is 'int' 

Đó là giống hệt nhau với các loại con trỏ hàm:

 int(*F)(size_t); // declares a variable named F of type 'int(*)(size_t)' 
typedef int(*F)(size_t); // declares a type named 'F' that is 'int(*)(size_t)' 

Nó không phải là một "trường hợp đặc biệt;" đó chỉ là những gì một loại con trỏ chức năng trông giống như.

Answer 2

typedef đang sử dụng cú pháp khai báo.

Con trỏ hàm typedef giống như bạn sử dụng để khai báo con trỏ hàm. Ngoại trừ trong trường hợp đó bạn đang khai báo một loại, không phải là biến.

Answer 3

Thay vì nghĩ đến typedef là một hoạt động có hai tham số (loại và từ đồng nghĩa), hãy coi đó là loại vòng loại. Để khai báo một biến có tên F đó là một con trỏ hàm chấp nhận hai size_t thông số và trở int bạn sẽ phải chỉ:

int (*F)(size_t, size_t); 

Thêm kiểu vòng loại typedef và thay vì khai báo một biến, bạn đã tuyên bố một loại bí danh thay vì .

Answer 4

Đó không phải là cú pháp chính thức của typedef, nó chỉ là một trong những mẫu mà nó có thể thực hiện. Trong tiêu chuẩn C 6.7.1, typedef được định nghĩa cú pháp như một bộ định danh lớp lưu trữ (như extern hoặc static). Nó sửa đổi một khai báo, để khai báo khai báo một loại bí danh thay vì một đối tượng.

typedef không phải là chức năng hoặc toán tử, vì vậy khái niệm "đối số", "toán hạng" hoặc "quá tải" không áp dụng cho nó. Nó chỉ cho trình biên dịch biết bạn đang khai báo loại gì.

Trong C++, typedef được cú pháp định nghĩa là một decl-specifier, nó không phải là một lưu trữ-lớp-specifier. bộ lưu trữ-class-specifiers cũng là từ chối thông số và do đó là friend. Tôi không nghĩ rằng điều này làm cho bất kỳ sự khác biệt thực tế, đó là một cách khác để nói cùng một điều C nói, nhưng đó là 7,1 của tiêu chuẩn C++ nếu bạn muốn có một cái nhìn cho chính mình. Tôi thú nhận điều đó khiến tôi bối rối trong thời gian này.

Answer 5

giả định ban đầu của bạn về cú pháp typedef có cấu trúc

typedef type-declaration synonym; 

là hoàn toàn không chính xác. Cú pháp Typedef không có cấu trúc đó và không bao giờ có.

Cú pháp typedef là một khai báo thông thường, giống như bất kỳ khai báo nào khác trong ngôn ngữ C. Từ khóa typedef chỉ đơn giản là một bộ khai báo khai báo cho biết rằng tên được khai báo là một tên typedef và không phải là một biến, hàm thiết kế hoặc cái gì khác.

Bạn có thể sử dụng nhiều declarators trong khai báo typedef cùng, ví dụ

typedef int TInt, *TIntPtr, (*TIntFuncPtr)(void), TIntArr10[10];