60、Fortran 编程中的作用域、关联与定义解析

Fortran 编程中的作用域、关联与定义解析

在 Fortran 编程中，变量和过程的作用域、关联方式以及定义规则是非常重要的概念，它们直接影响着程序的正确性和可维护性。下面将详细介绍这些方面的内容。

1. 全局与局部标识符

在一个程序里，程序单元、外部过程或公共块的名称通常不能与其他同类实体的名称相同，但内部模块可以和程序单元、外部过程或公共块同名。同时，一个实体不能由多个绑定标签标识，且绑定标签也不能与其他实体的绑定标签相同。不过，忽略大小写的情况下，绑定标签可以和除内部模块之外的其他全局实体同名，前提是它们标识的是同一个实体。

需要注意的是，模块过程名并非全局的。不同模块可以包含同名的模块过程，不同宿主中的内部过程也是如此。如果要为这些实体分配全局标识符，处理器需要确保它们与外部过程、其他全局实体以及彼此之间都不相同。这可以通过在标识符中添加 Fortran 名称不允许的字符，或者结合实体所在程序单元的全局名称来实现。

1.1 局部标识符

局部标识符的作用域限定在一个作用域单元内。作用域单元包括派生类型定义、过程接口体（不包含其中的派生类型定义和过程接口体）、程序单元或子程序（不包含其中的派生类型定义、过程接口体和子程序）。

为了更好地理解作用域和作用域单元的概念，我们来看一个示例。假设有一个可执行的 Fortran 程序，用一个大矩形表示，它并非作用域单元，但代表全局作用域。在这个程序中，有四个矩形表示程序单元，分别是主程序、两个外部子程序单元和一个模块程序单元。这些程序单元矩形（不包含其中的矩形）都代表作用域单元。例如，主程序没有包含其他矩形，是一个完整的作用域单元；外部子程序 A 包含两个内部子程序，其