6.2.5.20 的标准(好吧,草案;万岁:)免除了派生类型:
20可以从对象,函数和不完整类型构造任意数量的派生类型,如下所示:
- 数组类型描述具有特定成员对象类型的连续分配的非空对象集,称为元素类型.数组类型的特征在于它们的元素类型和数组中的元素数.数组类型据说是从其元素类型派生的,如果它的元素类型是T,则数组类型有时称为数组T.从元素类型构造数组类型称为数组类型派生.
- 结构类型描述顺序分配的非空成员对象集(并且在某些情况下,是不完整的数组),每个成员对象具有可选的指定名称和可能不同的类型.
- 联合类型描述了一组重叠的非成员对象,每个成员对象都有一个可选的指定名称,可能还有不同的类型.
- 函数类型描述具有指定返回类型的函数.函数类型的特征在于其返回类型以及其参数的数量和类型.函数类型被称为从其返回类型派生,如果它的返回类型是T,函数类型有时被称为函数返回T.从返回类型构造函数类型称为函数类型派生.
- 指针类型可以从函数类型,对象类型或不完整类型派生,称为引用类型.指针类型描述一个对象,其值提供对引用类型的实体的引用.从引用类型派生的指针类型T有时称为指向T.从引用类型构造指针类型称为指针类型派生.构造派生类型的这些方法可以递归地应用.