参数化类型如何绑定

楚香饭

kind的参数必须要编译时确定，不能假定
len的参数可以假定。
所以，多个kind，就要写多个函数。

[Fortran] 纯文本查看 复制代码

module m_a
  implicit none
  type :: bar(p, q)
    integer, kind :: p=4
    integer, len  :: q=10
    real(kind=p),dimension(q) :: x
  contains
    procedure:: barsub => barsub4 , barsub8
  end type bar

contains

  subroutine barsub4(this)
    type(bar(p=4,q=*)), intent(in) :: this
    write (*,*) this%q , this%p
  end subroutine barsub4
  
  subroutine barsub8(this)
    type(bar(p=8,q=*)), intent(in) :: this
    write (*,*) this%q , this%p
  end subroutine barsub8
  
end module

Program Main
  use m_a
  type(bar(4,30)) :: x4_30
  type(bar(4,20)) :: x4_20
  type(bar(8,30)) :: x8_30
  type(bar(8,20)) :: x8_20
  call x4_30%barsub()
  call x4_20%barsub()
  call x8_30%barsub()
  call x8_20%barsub()
End Program Main  

楚香饭

不同的kind，需要用不同的函数。这是肯定的，毕竟二进制代码（指令）完全不同。
如果你有很高的通用编程需求，可以考虑用C++，模板会让通用编程更方便。
（事实上，模板也是产生了多个目标代码的函数的）

Fortran在OOP方面还刚刚起步，尚需时间和契机来成熟。
这主要还是取决于需求，至少，我还没有太多这方面的需求。

至于哪个合适，就要自己斟酌了。写成不同type，可能在维护性上会有欠缺。
PS：我在实际应用中，参数化type也很少使用。