13、Fortran 声明：类型、多态与隐式类型的全面解析

Fortran 声明：类型、多态与隐式类型的全面解析

1. 声明概述

声明在程序中用于指定实体的属性和关系。变量、函数或命名常量的声明类型可以通过类型声明显式指定，也可以根据实体名称的首字母隐式指定。IMPLICIT 语句可将类型与特定字母关联，或禁用隐式类型。

多态实体在程序执行过程中动态类型可以改变，其动态类型可能与声明类型不同。非多态实体的动态类型始终与其声明类型相同。

DIMENSION 属性用于指定数组，数组可以有显式形状（指定所有边界）、延迟形状（如果具有 ALLOCATABLE 或 POINTER 属性）或假定形状/大小（如果是虚拟参数）。

ALLOCATABLE 或 POINTER 属性指定可在程序执行期间动态分配的实体。指针变量可以与现有目标关联，TARGET 属性指定变量可以作为指针的目标。

变量的初始化可以在类型声明或 DATA 语句中指定，指针可以初始化为未关联。

EXTERNAL 或 INTRINSIC 属性指定过程的性质，INTENT、VALUE 或 OPTIONAL 属性指定虚拟参数的属性，PARAMETER 属性指定命名常量，PUBLIC、PRIVATE 或 PROTECTED 属性允许程序员控制模块中指定实体的可访问性和使用，BIND(C) 属性便于与 C 数据和函数互操作，ASYNCHRONOUS 或 VOLATILE 属性指定变量的值可能在程序执行的正常流程之外被引用或重新定义。

声明用于指定程序实体的类型和其他属性，实体的属性决定了它在程序中的使用方式。属性可以在类型声明或过程声明语句（面向实体的形式）、单独的属性声明语句（面向属性的形式）或混合形式中指定。过程