为什么typedef声明不被称为typedef定义？

我偶尔会看到一些问题,例如“声明和定义之间有什么区别”：

What is the difference between a definition and a declaration?
区别很重要,在理智上它实现了两个重要的事情：

>它突出了参考和指称之间的差异
>这就是C如何在参考和引用之间实现连接的时间分离.

那么为什么C typedef声明不被称为typedef定义？

首先,它显然是一个定义.它定义了一个别名.新名称应被视为指现有的东西.但它肯定会将对特定参照物的引用联系起来,毫无疑问是一个明确的陈述.

其次,如果它是一个声明,它不会被称为typedec吗？

第三,当他们尝试使用typedef进行前瞻性声明时,难道不会避免人们提出的所有令人困惑的问题吗？

解决方法

typedef声明是一个定义.

N1570 6.7p5：

声明指定一组标识符的解释和属性.标识符的定义是该标识符的声明：

>对于一个对象,导致为该对象保留存储;
>对于一个函数,包括函数体;
>对于枚举常量,是标识符的(唯一)声明;
>对于typedef名称,是标识符的第一个(或唯一)声明.

在C99中,最后两个要点合并在一起; C11引入了两次声明相同typedef的能力.

请注意,只有对象,函数,枚举常量和typedef名称可以具有定义.有人可能会说：

enum foo { zero,one};

认为这是零和一的定义,而不是foo或enum foo的定义没有多大意义.另一方面,枚举,结构或联合声明虽然创建了以前不存在的类型,但是没有定义该类型名称的标识符 – 对于结构和联合,标记名称可以是在定义类型之前使用(作为不完整类型).定义定义标识符,而不是(必然)定义它们所引用的实体.

至于为什么它在定义它的小节中不被称为“定义”,它是第6.7节“声明”的一部分,它涵盖了所有类型的声明(其中一些也是定义).术语定义在6.7的介绍部分中定义.

至于名称typedef,它多年来引起了相当多的混淆,因为它没有真正定义类型.也许typename可能是更好的选择,甚至是typealias.但由于它确实定义了标识符,因此typedef并不完全是误导性的.

原文地址：https://www.jb51.cc/c/118883.html