以种类参数作为子例程参数的参数化派生类型

Question

假设我们有以下代码：

module foo
use :: iso_fortran_env
implicit none

type :: bar (p, q)
    integer, kind :: p
    integer, len  :: q
    integer(kind = p), dimension(q) :: x
end type bar

contains

subroutine barsub (this)
    class(bar(*,*)), intent(in) :: this
    write (*,*) this%x
end subroutine barsub

end module foo

此代码不能使用 gfortran 8 或 pgfort 18.4 编译。 pgi 编译器说

非法选择器 - KIND 值必须为非负数 假定类型参数 (*) 不能与非长度类型参数一起使用 p

而 gfortran 产生

(1) 处的 KIND 参数 'p' 不能是 ASSUMED 或 DEFERRED

如果我把上面的代码改成

subroutine barsub (this)
    class(bar(INT32,*)), intent(in) :: this
    write (*,*) this%x
end subroutine barsub

两个编译器都能正常编译。

是否可以编写一个不需要明确指定种类参数的子程序？在上面的示例中，INT32、INT64、... 的代码是相同的，我不想为 kind 参数的每个可以想象的值复制粘贴它。它适用于 len 参数。为什么我不能对 kind 参数做同样的事情？

Answer 1

是否可以编写一个不需要明确指定种类参数的子程序？

不，kind 类型参数需要由常量表达式或默认值给出，例如，参见 Fortran 2008 标准，定义 1.3.147.12.3。

为什么我不能对 kind 参数做同样的事情？

len 和 kind 类型参数有不同的用途和要求这一事实是拥有两种类型参数的关键，如果它们的特性相同，我们就不需要其中的两个。

请注意，过程对参数化派生类型的伪参数的kind 参数的要求与对它们内部类型的伪参数的kind 的要求相同：在编译时定义它们的值。