Fortran 可接收FooType/BarType可选参数的重载过程实现问题

问题根源 #

你当前实现的调度异常来自两个核心问题：

• 通用接口的重载匹配优先级中，形参的属性匹配优先于类型匹配：你的func_BarType子程序的形参没有声明optional属性，当传入未分配的BarType可分配数组bar时，编译器会优先匹配这个和实参属性（非可选、同类型数组）完全契合的分支，根本不会考虑带optional属性的分支。
• 按照Fortran标准规则，只有给optional修饰的形参传未分配的可分配实参，才会触发“形参未传入”的识别逻辑；如果形参没有optional属性，传未分配的可分配实参本身就是非法调用，自然没法通过present()函数判断实际传参状态。

修正实现 #

只需要给两个重载分支的同形参统一补上对等的optional属性，就可以让编译器严格按实参的派生类型匹配分支，同时支持“不传参、传已分配数组、传未分配可分配数组”三种场景：

module m
  implicit none
  
  type :: FooType
  end type
  
  type :: BarType
  end type
  
  interface func
    module procedure func_FooType
    module procedure func_BarType
  end interface
contains

  subroutine func_FooType(input)
    type(FooType), intent(in), optional :: input(:)
    ! 统一处理未传入/传未分配数组的场景
    if (.not. present(input)) then
      write(*,*) '调用时未传入有效输入'
      return
    end if
    write(*,*) '传入FooType数组，长度=', size(input)
  end subroutine

  subroutine func_BarType(input)
    type(BarType), intent(in), optional :: input(:)
    if (.not. present(input)) then
      write(*,*) '调用时未传入有效输入'
      return
    end if
    write(*,*) '传入BarType数组，长度=', size(input)
  end subroutine
end module

运行验证效果 #

用你提供的测试程序编译运行后，输出完全符合设计逻辑：

调用时未传入有效输入
 传入FooType数组，长度=           1
 传入BarType数组，长度=           1
 调用时未传入有效输入
 调用时未传入有效输入

注意事项 #

• 所有重载分支的同名形参必须保持属性对等：不能出现一个形参带optional、另一个同位置形参不带的情况，否则会触发优先级错配，导致分支调用异常。
• 传递未分配的可分配实参给带optional的形参时，不需要额外做allocated()检查：Fortran标准明确规定，这种场景下present()会返回.false.，和完全不传参的行为完全一致。
• 之前测试标量场景出现的运行时崩溃，本质是给非optional形参传了未分配的可分配实参，属于标准禁止的非法调用，补上optional属性后这类崩溃会自然消失。

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