Fortran 2008中带有非多态过程的重载延迟过程

是否可以用非多态过程重载延迟过程?

我想创建一个抽象类( Parent )使用程序( foo )每个扩展的类都必须重载 父母亲 .当我想再次扩展时遇到问题,例如( Grandchild )扩展类( Child )它扩展了 父母亲 。

由于Child不是抽象的,它的foo( foo_Child )必须是多态的。但是后来 孙子 继承 foo\u儿童 ,而不是被迫定义 foo_Grandchild .更进一步,因为我不想 foo\u儿童 要实现多态性,我希望能够使用 小孩 -特定的非多态功能 foo\u儿童 。

module test_module

  type, abstract :: Parent
  contains
    procedure(foo_Parent), deferred :: foo
  end type

  abstract interface
    subroutine foo_Parent(this,input)
      import Parent
      class(Parent), intent(out) :: this
      character(*),  intent(in)  :: input
    end subroutine
  end interface

  type, extends(Parent) :: Child
  contains
    procedure :: foo => foo_Child
  end type

  type, extends(Child) :: Grandchild
    ! Is not required to define foo=>foo_Grandchild.
    ! This is not the behaviour I want.
  end type

  interface Child
    module procedure new_Child
  end interface
contains

function new_Child(input) result(this)
  character(*), intent(in) :: input
  type(Child)              :: this
end function

subroutine foo_Child(this,input)
  type(Child),  intent(out) :: this ! Fails: 'this' is not polymorphic.
  character(*), intent(in)  :: input

  this = Child(input) ! Fails if type(Child) is replaced by class(Child).
end subroutine
end module

program test
  use test_module
end program

总结如下:

有没有办法 foo\u儿童 非多态但也过载 foo_Parent ? 或者有没有一种方法可以调用非多态函数(至少 Child=Child 多态程序中非多态rhs的赋值?如果没有,是否有解决方法?

(我不想定义 class(Child)=type(Child) ,但如果这是唯一的选择,则会)。