11、数据类型与类型扩展：深入解析

数据类型与类型扩展：深入解析

1. 存储序列

对于数值和字符序列类型，其对象的组件必须按指定顺序存储，且无填充。而对于其他序列类型，虽然标准规定了组件的存储单元序列，但符合标准的程序无法检测，编译器可在保证类型等价规则有效的前提下，自由调整其内部存储。对于非序列类型，标准未暗示其内部存储顺序。

2. 过程类型绑定

过程类型绑定将派生类型与过程连接起来，有绑定的过程常被称为类型绑定过程，但这并非过程的固有属性，一个过程可绑定到多个类型，也可独立调用。类型绑定在派生类型定义的类型绑定部分指定。

2.1 特定绑定

特定绑定分为延迟和非延迟两种：
- 非延迟特定绑定形式：

PROCEDURE [ [ , NON_OVERRIDABLE ]  [ , binding-attribute-list ] :: ] &
      binding-name [ => procedure-name ]

• 延迟特定绑定形式：

PROCEDURE ( interface-name ) , DEFERRED [ , binding-attribute-list ] :: binding-name

绑定属性包括：
- PASS [ ( argument-name ) ]
- NOPASS <