类型、参数和形状

确定主数据库的类型，类型参数和形状如下所示:
  • 数据对象或函数引用分别获取对象或函数引用的类型，类型参数和形状。 通用函数引用的类型，参数和形状由其实际自变量的类型，参数和秩确定。
  • 类型参数查询或类型参数名称是具有类型参数类型的标量整数。
  • 结构构造函数是标量，其类型和参数由结构构造函数的 derived_type_spec 确定。
  • 数组构造函数的形状由构造函数表达式的数目确定，其类型和参数由构造函数表达式的类型和参数确定。
  • 括在括号内的表达式获取表达式的类型，参数和形状。

如果指针在与非指针虚参数相关联的操作中显示为主指针，那么将引用目标。 主项的类型，参数和形状是目标项的类型，参数和形状。 如果指针未与目标关联，那么它只能作为过程引用中的实际自变量 (其对应的哑元自变量是指针) 或作为指针赋值语句中的目标。 解除关联的指针也可以显示为 ASSOCIATED 内部查询函数的实际自变量。

给定内部操作 [ expr1] op expr2，如果 op 为一元或如果 expr1 为标量，那么该操作的形状为 expr2 的形状。 否则，其形状为 expr1的形状。

表达式的类型和形状由运算符以及表达式的主项的类型和形状确定。 表达式的类型可以是内在的或派生的。 内部类型的表达式具有类型参数，如果它是类型字符，那么它还具有长度参数。 派生类型的表达式可以同时具有类型和长度参数。