为何Fortran中数组大小不能用变量定义？求原理解析

这个问题问到了Fortran编译模型和数组内存分配的核心点上，我来一步步给你解释清楚：

先看你的示例代码 #

无法运行的代码：

integer :: narr=100
integer, dimension(narr) :: Total

可以正常运行的代码：

integer, parameter :: narr=100
integer, dimension(narr) :: Total

核心原理：编译期 vs 运行期的内存分配逻辑 #

Fortran对静态数组（也就是你示例里直接声明的Total）的维度有严格要求：必须是编译期可确定的常量表达式。这里的关键在于parameter和普通变量的本质区别：

• 带parameter修饰的是命名常量：它的值在编译阶段就被完全固定下来，编译器会把它当成一个硬编码的数值处理，直接在编译时为数组Total分配好固定大小的内存空间（静态分配）。这种数组的大小从程序启动到结束都不会改变。
• 普通变量（哪怕你初始化了narr=100）：它的内存是在程序运行时才被分配的，初始化操作也是在运行阶段执行的。更重要的是，普通变量的值在运行过程中是可以被修改的——哪怕你没写修改的代码，编译器也不会假设它的值永远不变。因此，编译器在编译阶段无法确定数组Total的最终大小，自然就会报错。

如果你想用变量定义数组大小怎么办？ #

如果你的数组大小需要在运行时确定，Fortran提供了两种合法的解决方案：

1. 自动数组（Automatic Arrays）：在子程序或函数内部，使用哑元变量（必须是输入型，比如intent(in)）或者不可修改的局部变量来定义数组维度，这是Fortran 90及以后支持的特性：

subroutine calculate_data(narr)
    integer, intent(in) :: narr  ! 子程序的输入参数，运行时确定值
    integer, dimension(narr) :: Total  ! 自动数组，合法
    ! 这里可以正常使用Total数组进行计算
end subroutine calculate_data

2. 可分配数组（Allocatable Arrays）：先声明一个可分配的数组，然后在运行时用allocate语句动态分配内存，灵活性更高：

integer :: narr=100
integer, dimension(:), allocatable :: Total  ! 声明可分配数组

allocate(Total(narr))  ! 运行时根据narr的值分配内存
! 使用数组处理数据...
deallocate(Total)  ! 不需要时可以手动释放内存（程序结束时也会自动释放）

内容的提问来源于stack exchange，提问作者Ken T