typedef 声明

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

声明

指针

数组

enum

struct

union

位域

原子类型 (C11)

const

volatile

restrict (C99)

对齐说明符 (C11)

存储期与链接

外部及试探性定义

typedef

静态断言 (C11)

属性 (C23)

 

typedef 声明提供一种声明标识符为类型别名的方式，以用于替换可能复杂的类型名。

关键词 typedef 在声明中处于存储类说明符的文法位置，只是它对存储和链接无影响：

typedef int int_t; // 声明 int_t 为类型 int 之别名
typedef char char_t, *char_p, (*fp)(void); // 声明 char_t 为类型 char 之别名
                                           // char_p 为 char* 之别名
                                           // fp 为 char(*)(void) 之别名

解释

若一个声明以 typedef 为存储类说明符，则其中每个声明符都会定义一个标识符为说明类型的别名。因为一个声明中仅允许一个存储类说明符，typedef 声明不能为 static 或 extern。

typedef 声明不引入另一种类型，它只会建立既存类型的同义词，故而 typedef 名与其所别名引用的类型兼容。typedef 名与如枚举项、变量或函数这样的通常标识符共享命名空间。

对 VLA 的 typedef 只能出现在块作用域内。与数组自身的声明不同，数组长度会在每次控制流经过 typedef 声明时求值： void copyt(int n) { typedef int B[n]; // B 是 VLA，其长度为 n，现在求值 n += 1; B a; // a 的长度是 +=1 前的 n int b[n]; // a 和 b 长度不同 for (int i = 1; i < n; i++) a[i-1] = b[i]; }

(C99 起)

注解

typedef 名可以是不完整类型，它会照常变得完整：

typedef int A[]; // A 是 int[]
A a = {1, 2}, b = {3,4,5}; // a 的类型是 int[2]，b 的类型是 int[3]

typedef 声明通常用于将名称从标签命名空间注入到通常命名空间：

typedef struct tnode tnode; // 通常命名空间的 tnode
                            // 为标签命名空间的 tnode 之别名
struct tnode {
    int count;
    tnode *left, *right; // 同 struct tnode *left, *right;
}; // 现在 tnode 也是完整类型
tnode s, *sp; // 同 struct tnode s, *sp;

它们可以完全避免使用标签命名空间：

typedef struct { double hi, lo; } range;
range z, *zp;

typedef 名亦常用来简化复杂声明的语法：

// 5 个函数指针的数组，函数返回指向 3 个 int 的数组的指针
int (*(*callbacks[5])(void))[3];
 
// 与 typedef 相同
typedef int arr_t[3]; // arr_t 是 3 个 int 的数组
typedef arr_t* (*fp)(void); // 指针指向的函数返回 arr_t*
fp callbacks[5];

库常常会将依赖系统或依赖配置的类型暴露成 typedef 名，以对用户或其他库组件提供统一接口：

#if defined(_LP64)
typedef int     wchar_t;
#else
typedef long    wchar_t;
#endif

引用

• C23 标准（ISO/IEC 9899:2024）：

• 6.7.8 Type definitions （第 TBD 页）

• C17 标准（ISO/IEC 9899:2018）：

• 6.7.8 Type definitions （第 TBD 页）

• C11 标准（ISO/IEC 9899:2011）：

• 6.7.8 Type definitions （第 137-138 页）

• C99 标准（ISO/IEC 9899:1999）：

• 6.7.7 Type definitions （第 123-124 页）

• C89/C90 标准（ISO/IEC 9899:1990）：

• 3.5.6 Type definitions

关键词

typedef