Modern Fortran中多态派生类型指针传递至泛型类的实现问题

问题场景 #

• 定义基类base_a，包含通用函数Write1
• 派生类class_a继承自base_a，重写Write1为Write_a
• 泛型类class_b需要存储任意继承自base_a的派生类型指针，且避免依赖具体派生类（如class_a）

原代码尝试将class_a指针传递给class_b的Set_class子程序时编译失败，移除指针声明可正常运行，但无法实现多态存储需求。

原错误代码 #

type, public :: base_a
contains 
    procedure, public :: Write1
! ... 其他成员
end type base_a

type, public, extends(base_a) :: class_a
contains 
    procedure, public :: Write1 => Write_a
! ... 其他成员
end type class_a


type, public :: class_b
    type(base_a), pointer :: really_class_a  ! 错误：具体类型指针无法指向派生类
 contains
     procedure, public :: Set_class
! ... 其他成员
end type class_b

subroutine Set_class(this, some_class)
     type(class_b), intent(inout) :: this
     type(base_a) , pointer(inout) :: some_class  ! 错误：无法接收派生类指针

     this%really_class_a => some_class
end subroutine Set_class

! ... 主程序中调用
type(class_a), pointer :: class_a_inst
type(class_b), pointer :: class_b_inst
! ... 初始化指针
call class_b_inst%Set_class(class_a_inst)  ! 编译失败：类型不匹配

解决方案 #

1. 核心问题：具体类型 vs 多态类型 #

Fortran中，具体类型指针（type(base_a), pointer）只能指向同类型实例，无法指向派生类型。要实现多态存储，必须使用多态指针（class(base_a), pointer），它可以指向任何继承自base_a的派生类型实例。

2. 修正后的代码 #

type, public :: base_a
contains 
    procedure, public :: Write1
! ... 其他成员
end type base_a

type, public, extends(base_a) :: class_a
contains 
    procedure, public :: Write1 => Write_a
! ... 其他成员
end type class_a


type, public :: class_b
    class(base_a), pointer :: really_class_a  ! 改为多态指针
 contains
     procedure, public :: Set_class
! ... 其他成员
end type class_b

subroutine Set_class(this, some_class)
     type(class_b), intent(inout) :: this
     class(base_a), intent(in), pointer :: some_class  ! 改为多态指针

     this%really_class_a => some_class  ! 现在可以赋值派生类指针
end subroutine Set_class

! ... 主程序中调用
type(class_a), pointer :: class_a_inst
type(class_b), pointer :: class_b_inst
! ... 初始化指针（确保class_a_inst指向有效实例）
call class_b_inst%Set_class(class_a_inst)  ! 编译通过

3. 关于指针的必要性 #

• 如果需要class_b共享外部实例的状态（而非拷贝），指针是必要的。多态变量（class(base_a) :: ...）会触发对象拷贝，无法保持引用关系，仅适合存储独立副本。
• 若使用多态变量，需注意派生类对象的切片问题（默认仅拷贝基类部分），此时需要通过select type等语法确保完整拷贝。

4. 解耦依赖 #

修正后的代码中，class_b仅依赖基类base_a，不需要包含任何派生类的定义，完全支持后续新增其他继承自base_a的类型。

内容的提问来源于stack exchange，提问作者Re'em