typedef 说明符

来自cppreference.com
< cpp‎ | language
  • typedef - 创建能在任何位置替代(可能复杂的)类型名的别名。

解释

当在声明中使用 typedef 说明符时,指定该声明为 typedef 声明 而非变量或函数声明。 typedef 通常在声明的起始处出现,尽管它也可以出现在类型说明符后或两个类型说明符之间。

typedef 声明可以在同一行声明一个或多个标识符(例如 int 和指向 int 的指针),它可以声明数组和函数类型、指针和引用、类类型等。此声明中引入的每个标识符都成为 typedef 名,它是在假如关键词 typedef 被移除时标识符本应成为的对象或函数的类型的同义词。

typedef 说明符不能与类型说明符以外的其他说明符组合。

typedef 名是既存类型的别名,而非对新类型的声明。typedef 不能用于更改既存类型名(包含 typedef 名)的含义。一旦声明,则 typedef 名只能重声明为再次指代同一类型。typedef 名只会在它自身可见的作用域有效:可以在不同的函数或类声明中定义具有不同含义的同名类型。

typedef 说明符不能在函数形参声明中出现,也不能在函数定义中的 声明说明符序列 中出现:

void f1(typedef int param); // 非良构
typedef int f2() {}         // 非良构

typedef 说明符不能在不含声明符的声明中出现:

typedef struct X {}; // 非良构

链接目的的 typedef 名

正式而言,如果 typedef 声明定义了一个无名枚举,那么只有该声明声明的首个作为该类类型或枚举类型的 typedef 名用于代表类类型或枚举类型。例如在 typedef struct { /* ... */ } S; 中, S 是链接目的的 typedef 名。以此方式定义的类或枚举名拥有外部链接(除非它在无名命名空间中)。

以此方式定义的无名类应当仅含与 C 兼容的构造。具体而言,它必须不

而所有成员类也必须(递归地)满足这些要求。

(C++20 起)

关键词

typedef

注解

类型别名通过不同的语法提供与 typedef 相同的功能,而且也可以用于模板名。

示例

// 简单 typedef
typedef unsigned long ulong;
 
// 下面两个对象拥有同一类型
unsigned long l1;
ulong l2;
 
// 更复杂的 typedef
typedef int int_t, *intp_t, (&fp)(int, ulong), arr_t[10];
 
// 下面两个对象拥有同一类型
int a1[10];
arr_t a2;
 
// 避免必须写 "struct S" 的常见 C 手法
typedef struct {int a; int b;} S, *pS;
 
// 下面两个对象拥有相同类型
pS ps1;
S* ps2;
 
// 错误:存储类说明符不能出现于 typedef 声明中
// typedef static unsigned int uint;
 
// typedef 可用在 声明说明符序列 中的任何位置
long unsigned typedef int long ullong;
// 写作 "typedef unsigned long long int ullong;" 更符合惯例
 
// std::add_const,与许多其他元函数相似,使用了成员 typedef
template<class T>
struct add_const
{
    typedef const T type;
};
 
typedef struct Node
{
    struct listNode* next; // 声明名为 listNode 的新的(不完整)结构体类型
} listNode; // 错误:与先前声明的结构体名冲突

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
CWG 576 C++98 不能在函数定义中的任何地方使用 typedef 可以在函数体中使用
CWG 2071 C++98 typedef 可以在不含声明符的声明中出现 不能出现

参阅