23、C语言声明、语句及作用域与链接性详解

C语言声明、语句及作用域与链接性详解

1. Typedef声明

typedef声明用于定义类型的别名，而非声明对象。这些别名被称为typedef名称。例如：

typedef long Blockno, *Blockptr;
typedef struct { double r, theta; } Complex;

之后，以下声明是合法的：

extern Blockptr bp;
extern Blockno;
Blockno b;
Complex z, *zp;

这里， b 的类型是 long ， bp 是指向 long 的指针， z 是指定的结构体类型， zp 是指向该结构体的指针。

typedef 不会引入新的类型，只是为已有类型创建同义词。此外，typedef 名称可以在内部作用域中重新声明，但必须提供非空的类型说明符集合。

2. 类型等价性

两个类型说明符列表等价的条件是它们包含相同的类型说明符集合，同时要考虑到某些说明符可以由其他说明符隐含（例如，单独的 long 意味着 long int ）。具有不同标签的结构体、联合体和枚举是不同的，无标签的联合体、结构体或枚举指定唯一的类型。

<