这个 typedef 语句是什么意思？

Question

在 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) 是什么意思？

Answer 1

它一次声明多个 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

Answer 2

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 声明那样引入新类型。示例：之后

typedef int MILES , * KLICKSP ;

结构

MILES distance ;
extern KLICKSP metricp ;

都是正确的声明；距离的类型是 int，metricp 的类型是“指向int 的指针”。 ——结束示例

Answer 3

如果您有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）。

Answer 4

(&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)（在程序中编译，但行为未经测试）。

Answer 5

typedef 正在定义一个新类型以在您的代码中使用，就像简写一样。

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

这里的typename 是让编译器知道value_type 是一个类型而不是_MyBase 中的一个对象。

:: 是类型的范围。它有点像“在”所以 value_type “在”_MyBase。或者也可以认为是包含。

可能重复：C++ - meaning of a statement combining typedef and typename