Що означає цей вислів typedef?

На довідковій сторінці C ++ вони містять кілька прикладів typedef, і я намагаюся зрозуміти, що вони означають.

// simple typedef
typedef unsigned long mylong;


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

Тож простий typedef (перше оголошення) я розумію.

Але що вони заявляють з другим (повторене нижче)?

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

Що саме (&fp)(int, mylong)означає?

Це оголошення декількох typedefs одночасно, так само, як ви можете оголосити кілька змінних одночасно. Усі вони засновані на int, але деякі модифікуються на складові типи.

Розділимо це на окремі декларації:

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];

еквівалентно:

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

Насправді є подібний приклад у стандарті C ++ 11:

C ++ 11 7.1.3 специфікаторtypedef

A typedef-name не вводить новий тип так, як це робить classдекларація (9.1) або enumдекларація. Приклад: after

typedef int MILES , * KLICKSP ;

конструкцій

MILES distance ;
extern KLICKSP metricp ;

всі правильні декларації; тип відстані - це int, який - metricpце “вказівник на int”. —Кінцевий приклад

Якщо у вас є cdeclкоманда, ви можете використовувати її для демістифікації цих оголошень.

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

Якщо у вас цього немає cdecl, ви зможете встановити його звичайним способом (наприклад, у системах типу Debian, використовуючи sudo apt-get install cdecl).

(&fp)(int, mylong)Частина є посилання на функцію. Не рекомендується, щоб програмісти використовували функції саме typedefз тієї причини, з якої ви задаєте це питання. Це бентежить інших людей, які дивляться на код.

Я здогадуюсь, що вони використовують typedefщось приблизно так:

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

Відредаговано відповідно до коментаря Брайана:

int(&name)(...)є функцією опорного називається name(функція повертає Int)

int &name(...)- це функція, що називається name поверненням посилання на int

Посилання на функцію, яка повертає intпосилання, виглядатиме приблизно так: typedef int &(&fp)(int, mylong)(це компілюється в програмі, але поведінка не перевірена).

typedef визначає новий тип для використання у вашому коді, як скорочення.

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

typename тут повідомляє компілятору, що value_type - це тип, а не об’єкт усередині _MyBase.

the :: - область дії типу. Це щось на зразок "є в", тому value_type "є в" _MyBase. або також може розглядатися як містить.

Можливий дублікат: C ++ - значення виразу, що поєднує typedef та typename