8、数据类型详解

数据类型详解

1. 类型说明符

类型说明符用于指定特定的类型和类型参数值。它分为内在类型说明符和派生类型说明符。以下是类型说明符在类型声明语句、数组构造函数和分配语句中的使用示例：

integer :: i
type(patient) :: jane_doe
names = [character(16):: "Lisa", "Pam", "Julie"]
allocate (real_node_type:: node)

类型说明符中的类型参数值可以是种类值或长度值：
- 种类值的形式为：标量整数初始化表达式。
- 长度值的形式有：
- 标量整数表达式。
- * ：表示类型参数是假定的，其值从其他对应类型参数值复制而来。假定类型参数仅允许在 SELECT TYPE 构造的类型保护语句、虚拟参数的分配、虚拟参数的声明、命名字符常量或字符函数结果的声明中使用。
- : ：表示类型参数是延迟的，其值可以在执行期间设置和更改。延迟类型参数只能在指针或可分配实体或组件的声明中指定。

2. 类型值

每种类型都有一组有效值，这些值通常取决于类型参数值。

3. 类型操作和过程

3.1 运算符

运算符可以有一个或两个操作数，其定义取决于操作数的类型、类型参数和秩。对于内在类型，语言提供了一组带有相应运算符的操作。用户可以指定新的运算符并定义其操作，新运算符的形式是由用户选