为什么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并不完全是误导性的.

相关文章

/** C+⬑ * 默认成员函数 原来C++类中,有6个默认成员函数: 构造函数 析构函数 拷贝...
#pragma once // 1. 设计一个不能被拷贝的类/* 解析:拷贝只会放生在两个场景中:拷贝构造函数以及赋值运...
C类型转换 C语言:显式和隐式类型转换 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译...
//异常的概念/*抛出异常后必须要捕获,否则终止程序(到最外层后会交给main管理,main的行为就是终止) try...
#pragma once /*Smart pointer 智能指针;灵巧指针 智能指针三大件//1.RAII//2.像指针一样使用//3.拷贝问...
目录<future>future模板类成员函数:promise类promise的使用例程:packaged_task模板类例程...