Fortran中，先use module再implicit none

在 Fortran 中，use module 语句必须出现在 implicit none 之前，因为 Fortran 语言规定了模块的导入顺序和作用域规则。在解析程序时，编译器需要首先知道模块中的内容，然后才能正确处理主程序或子程序中的其他声明，包括 implicit none。下面是详细的解释：

1. 模块的作用域

当你使用 use module 语句时，程序需要首先导入模块中的内容，特别是模块中的类型定义、全局变量、常量、子程序和函数。这些内容需要在 implicit none 之前导入，因为 implicit none 是用于控制当前作用域的变量隐式声明规则的，而模块中的内容有可能包含影响这一规则的内容。

例如，模块可能包含类型声明或接口，如果 use 在 implicit none 之后出现，编译器在处理当前作用域时并不知道模块中的内容，这会导致编译错误。

2. implicit none 的作用

implicit none 是 Fortran 中用来禁止隐式变量声明的语句，强制要求所有变量都必须显式声明。它的作用范围是当前的程序或子程序块。如果你在使用 use 语句之前写了 implicit none，编译器会首先处理当前作用域内的所有声明和规则，导致模块中的变量、类型或常量无法被正确识别。

3. 编译器的处理顺序

Fortran 编译器解析代码的顺序如下：

1. 解析模块导入（use）：编译器需要知道哪些模块被导入，以及这些模块中有哪些变量、常量、类型、子程序等内容。
2. 处理作用域规则（如 implicit none）：一旦模块导入完成，编译器才能正确地确定哪些变量是显式声明的，以及是否需要遵循隐式声明的规则。
3. 解析变量声明和其他语句：编译器会在确定了作用域规则之后，处理当前程序块中的变量声明和使用。

因此，use 必须出现在 implicit none 之前，以确保编译器在处理作用域时已经知道模块中的所有内容。

4. 示例：正确的顺序

module my_module
    implicit none
    real :: pi = 3.14159
end module my_module

program main
    use my_module          ! 首先导入模块
    implicit none          ! 然后声明禁止隐式变量
    real :: radius, area

    radius = 5.0
    area = pi * radius**2  ! 使用模块中的变量 pi
    print *, "Area of the circle: ", area
end program main

在这个例子中：

• use my_module 导入了模块中的 pi 常量。
• implicit none 确保后续的变量（如 radius 和 area）必须显式声明。
• 因为 pi 是从模块中导入的，编译器在执行 implicit none 之前就已经知道 pi 的定义。

5. 示例：错误的顺序

如果你将 implicit none 写在 use 语句之前，编译器将无法正确解析模块中的内容，可能导致编译错误。例如：

program main
    implicit none          ! 错误：在导入模块前使用 implicit none
    use my_module          ! 导入模块
    real :: radius, area

    radius = 5.0
    area = pi * radius**2  ! 使用模块中的变量 pi
    print *, "Area of the circle: ", area
end program main

在这个例子中，pi 在模块中定义，但因为 implicit none 出现在 use 之前，编译器在处理作用域规则时并不知道模块中的 pi，导致 pi 可能无法被识别，或者编译器会报错提示 pi 未声明。

6. 总结

• use module 必须出现在 implicit none 之前，因为编译器需要首先知道模块中定义的变量、类型和子程序等内容，才能正确应用到当前作用域。
• implicit none 是作用于当前程序块的，因此它必须在所有外部变量导入之后声明，以确保编译器知道所有可能影响作用域的声明。
• 这个顺序要求是 Fortran 语言的语法规则，遵循这个规则可以确保代码能够正确编译和运行。