16、Fortran变量属性与模块实体属性详解

Fortran变量属性与模块实体属性详解

1. 异步输入输出相关变量属性

1.1 异步属性（ASYNCHRONOUS）

在异步输入输出中，涉及的变量数量通常较少。通过识别这些变量，编译器在对其他变量进行优化时会有更多的自由度。

一个在多个作用域单元中可访问的变量，可能在某些作用域单元中具有 ASYNCHRONOUS 属性，而在其他作用域单元中不一定有。这是因为该属性并非变量本身的基本属性，而是与变量和当前执行代码（输入输出）的关系有关。在异步输入输出期间，可能存在一些作用域单元可以执行，而其他作用域单元则不能。 ASYNCHRONOUS 属性是同一变量在不同作用域单元中可能不同的少数属性之一。

如果一个对象具有 ASYNCHRONOUS 属性，那么它的所有子对象也具有该属性。

ASYNCHRONOUS 属性可以在类型声明语句或 ASYNCHRONOUS 语句中指定。 ASYNCHRONOUS 语句的形式为：

ASYNCHRONOUS [ [ :: ] variable-name-list ]

规则和限制

1. 如果同时满足以下两个条件，则变量在作用域单元中必须具有 ASYNCHRONOUS 属性：
   • 变量出现在作用域单元的任何可执行语句或规范表达式中