Fortran本地数组内存管理最佳实践：动态分配与固定大小选型咨询

核心优选方案 #

针对该场景，最优解是将工作数组的内存管理逻辑封装在计算子程序内部，完全不需要修改上层主程序的调用逻辑，同时实现内存优化目标，不会引入代码冗余或者可读性下降的问题。
核心实现思路是在子程序中使用带save属性的可分配数组，由子程序自行判断是否需要重分配工作内存，状态完全保存在子程序内部，上层调用方无感知。

最优实现代码 #

program name
    implicit none
    integer, parameter:: n = 10**8
    complex(kind=8) :: x(n)
    integer :: i, nVal 

    nVal = 30
    do i =1,1000
        call test(x,nVal)
        ! 其余主程序计算逻辑完全保留，无需修改
    enddo

contains
    subroutine test(arr,m)
        integer , intent(inout) :: m 
        complex(kind=8), intent(inout) :: arr(n)
        ! 带save属性的可分配工作数组：子程序退出后分配状态保留，不会自动释放
        complex(kind=8), allocatable, save :: workarray(:,:)
        ! 保存上一次调用的m值，初始值设为不可能的负数确保首次调用正常分配
        integer, save :: last_m = -1

        ! 仅当m发生变化时重分配工作数组
        if (m /= last_m) then
            if (allocated(workarray)) deallocate(workarray)
            allocate(workarray(n, m))
            last_m = m
        end if

        ! 原有计算逻辑、m收敛判断逻辑完全保留，无需修改

    end subroutine test
end program name

方案优势 #

• 内存优化效果和现有修改方案完全一致，收敛后内存占用可稳定降至19%
• 主程序逻辑与原始实现完全一致，没有代码冗余，可读性不受任何影响
• 内存管理逻辑与计算逻辑高度内聚，都封装在test子程序内部，后续修改计算规则或内存策略仅需调整子程序，可维护性远高于将逻辑搬入主程序的方案

内存优化与可读性平衡的通用原则 #

• 封装优先：与特定计算逻辑绑定的工作内存，其管理逻辑必须和计算逻辑放在一起，不要将实现细节泄露到上层调用方，避免上层代码出现冗余
• 优先使用语言原生特性：Fortran的save属性、可分配数组都是标准原生特性，代码意图明确，不需要引入额外的全局变量或者复杂的跨模块交互
• 多线程场景适配：如果需要在多线程环境下调用该子程序，可以将工作数组和状态变量封装为派生类型，调用时传递派生类型实例即可保证线程安全，同时依然保留封装性

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