如何为Fortran多类型函数接口创建过程指针？

错误原因分析 #

你遇到的编译错误，本质是通用接口名称不是具体的函数实体：greater_than_zero是用来封装两个函数的通用接口，它本身不是可直接绑定的函数，而过程指针只能指向具体的、符合抽象接口定义的函数实现。

直接修正方案 #

只需要将过程指针直接绑定到具体的函数（gt0_int或gt0_real）即可，同时要确保这些具体函数在主程序中可见。

修正后的完整代码：

module validation_module
  implicit none

  type func_ptr
    procedure (validation_integer), pointer, nopass :: ptr_int
    procedure (validation_real), pointer, nopass :: ptr_real
  end type

  abstract interface
    function validation_integer(i)
      logical :: validation_integer
      integer :: i
    end function
  end interface

  abstract interface
    function validation_real(r)
      logical :: validation_real
      real :: r
    end function
  end interface

  interface greater_than_zero
    procedure :: gt0_int, gt0_real
  end interface

  contains

    function gt0_int(i)
      logical :: gt0_int
      integer :: i

      gt0_int = i > 0
    end function

    function gt0_real(r)
      logical :: gt0_real
      real :: r

      gt0_real = r > 0
    end function

end module

program main
  use :: validation_module, only : func_ptr, gt0_int, gt0_real
  implicit none

  type(func_ptr) :: ptr

  ! 绑定具体函数到对应类型的过程指针
  ptr%ptr_int => gt0_int
  ptr%ptr_real => gt0_real

  ! 测试调用
  print *, ptr%ptr_int(5)       ! 输出 .TRUE.
  print *, ptr%ptr_real(-2.5)   ! 输出 .FALSE.
end program

进阶：实现统一调用方式 #

如果希望保留类似通用接口的统一调用体验，可以在func_ptr类型中封装通用的调用接口，避免直接操作指针成员：

修改validation_module中的func_ptr定义，并添加通用调用的实现：

module validation_module
  implicit none

  type func_ptr
    procedure (validation_integer), pointer, nopass :: ptr_int
    procedure (validation_real), pointer, nopass :: ptr_real
    ! 定义通用调用接口
    interface call
      module procedure call_int, call_real
    end interface
  end type

  abstract interface
    function validation_integer(i)
      logical :: validation_integer
      integer :: i
    end function
  end interface

  abstract interface
    function validation_real(r)
      logical :: validation_real
      real :: r
    end function
  end interface

  interface greater_than_zero
    procedure :: gt0_int, gt0_real
  end interface

  contains

    function gt0_int(i)
      logical :: gt0_int
      integer :: i
      gt0_int = i > 0
    end function

    function gt0_real(r)
      logical :: gt0_real
      real :: r
      gt0_real = r > 0
    end function

    ! 整数类型调用实现
    function call_int(this, i) result(res)
      type(func_ptr), intent(in) :: this
      integer, intent(in) :: i
      logical :: res
      if (associated(this%ptr_int)) then
        res = this%ptr_int(i)
      else
        res = .false.
      end if
    end function

    ! 实数类型调用实现
    function call_real(this, r) result(res)
      type(func_ptr), intent(in) :: this
      real, intent(in) :: r
      logical :: res
      if (associated(this%ptr_real)) then
        res = this%ptr_real(r)
      else
        res = .false.
      end if
    end function

end module

program main
  use :: validation_module, only : func_ptr, gt0_int, gt0_real
  implicit none

  type(func_ptr) :: ptr

  ptr%ptr_int => gt0_int
  ptr%ptr_real => gt0_real

  ! 统一方式调用，无需区分指针类型
  print *, ptr%call(5)         ! 自动匹配整数版本
  print *, ptr%call(-2.5)      ! 自动匹配实数版本
end program

关键要点 #

• Fortran的过程指针是强类型的，必须绑定到符合抽象接口定义的具体函数，不能直接绑定通用接口
• 若需要处理多类型输入，可通过封装多个过程指针+通用调用接口的方式实现类似通用接口的效果

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