此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)意思？

它可以一次声明多个typedef，就像您可以一次声明多个变量一样。它们都是基于的类型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说明符

甲typedef-name不引入新类型的方式的class声明（9.1）或enum声明does.Example：后

typedef int MILES , * KLICKSP ;

建筑

MILES distance ;
extern KLICKSP metricp ;

都是正确的声明；距离的类型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;
}

按照Brian的评论进行编辑：

int(&name)(...)是一个称为的函数引用name（该函数返回一个int）

int &name(...)是一个称为返回对int的引用的函数name

对返回引用的函数的int引用将类似于以下内容：（typedef int &(&fp)(int, mylong)此代码可在程序中编译，但行为未经测试）。

typedef定义了一种在代码中使用的新类型，如简写形式。

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

这里的typename让编译器知道value_type是类型，而不是_MyBase内部的对象。

::是类型的范围。它有点像“在”中，因此value_type“在” _MyBase中。或也可以视为包含。

可能重复：C ++-结合了typedef和typename的语句的含义