Câu lệnh typedef này có nghĩa là gì?

Trong trang tham chiếu C ++, họ cung cấp một số ví dụ về typedef và tôi đang cố gắng hiểu ý nghĩa của chúng.

// simple typedef
typedef unsigned long mylong;


// more complicated typedef
typedef int int_t, *intp_t, (&fp)(int, mylong), arr_t[10];

Vì vậy, typedef đơn giản (khai báo đầu tiên) tôi hiểu.

Nhưng họ đang khai báo điều gì với điều thứ hai (lặp lại bên dưới)?

typedef int int_t, *intp_t, (&fp)(int, ulong), arr_t[10];

Đặc biệt (&fp)(int, mylong)nghĩa là gì?

Nó khai báo một số typedef cùng một lúc, cũng như bạn có thể khai báo nhiều biến cùng một lúc. Chúng là tất cả các loại dựa trênint , nhưng một số được biến đổi thành các loại hợp chất.

Hãy chia nó thành các khai báo riêng biệt:

typedef int int_t;              // simple int
typedef int *intp_t;            // pointer to int
typedef int (&fp)(int, ulong);  // reference to function returning int
typedef int arr_t[10];          // array of 10 ints

typedef int int_t, *intp_t, (&fp)(int, mylong), arr_t[10];

tương đương với:

typedef int int_t;
typedef int *intp_t;
typedef int (&fp)(int, mylong);
typedef int arr_t[10];

Trên thực tế, có một ví dụ tương tự trong tiêu chuẩn C ++ 11:

C ++ 11 7.1.3 Bộ typedefđịnh nghĩa

A typedef-name không giới thiệu một kiểu mới như cách classkhai báo (9.1) hoặc enumkhai báo. Ví dụ: after

typedef int MILES , * KLICKSP ;

công trình xây dựng

MILES distance ;
extern KLICKSP metricp ;

là tất cả các khai báo đúng; loại khoảng cách là int mà metricplà "con trỏ tới int". —Gửi ví dụ

Nếu bạn có cdecllệnh, bạn có thể sử dụng nó để làm sáng tỏ các khai báo này.

cdecl> explain int (&fp)(int, char)
declare fp as reference to function (int, char) returning int
cdecl> explain int (*fp)(int, char)
declare fp as pointer to function (int, char) returning int

Nếu chưa có cdecl, bạn có thể cài đặt nó theo cách thông thường (ví dụ như trên hệ thống kiểu Debian, bằng cách sử dụng sudo apt-get install cdecl).

Phần (&fp)(int, mylong)đại diện cho một tham chiếu đến một hàm. Các lập trình viên không nên sử dụng các hàm typedefvì lý do bạn đang hỏi câu hỏi này. Nó gây nhầm lẫn cho những người khác khi nhìn vào mã.

Tôi đoán họ sử dụng typedeftrong một cái gì đó như thế này:

typedef unsigned long mylong; //for completeness
typedef int (&fp)(int, mylong);
int example(int param1, mylong param2);

int main() {
     fp fp_function = example;
     int x = fp_function(0, 1);
     return 0;
}

int example(int param1, mylong param2) {
     // does stuff here and returns reference
     int x = param1;
     return x;
}

Đã chỉnh sửa theo nhận xét của Brian:

int(&name)(...)là một tham chiếu hàm được gọi name(hàm trả về một int)

int &name(...)là một hàm được gọi là name trả về một tham chiếu đến một int

Tham chiếu đến một hàm trả về inttham chiếu sẽ trông giống như sau: typedef int &(&fp)(int, mylong)(điều này biên dịch trong một chương trình, nhưng hành vi chưa được kiểm tra).

typedef đang xác định một kiểu mới để sử dụng trong mã của bạn, giống như cách viết tắt.

typedef typename _MyBase::value_type value_type;
value_type v;
//use v

typename ở đây là cho trình biên dịch biết rằng value_type là một kiểu chứ không phải một đối tượng bên trong _MyBase.

:: là phạm vi của kiểu. Nó giống như "is in" nên value_type "nằm trong" _MyBase. hoặc cũng có thể được coi là chứa.

Có thể trùng lặp: C ++ - nghĩa của một câu lệnh kết hợp typedef và typename