Fortran 派生类型的“初始”语句/自动构造函数

Question

我想知道 Fortran 中是否有类似构造函数的派生类型机制，这样，无论何时创建类型的实例，都会自动调用构造函数。我读这个问题，但对我来说并不满意。

完整性的示意图示例：

module mod
integer :: n=5

type array
    real, dimension(:), allocatable :: val
  contains
    procedure :: array()
end type 

subroutine array(this)
  allocate(this%val(n))
end subroutine

end module

现在，当我创建一个实例时，type(array) :: instance我想要构造函数array(instance)自动调用，而无需call array(instance)在手动添加的代码中添加任何额外内容。

我在这个站点上找到了一些有希望的信息，但在其他地方找不到：它指定了一个类似构造函数的机制，并声明了类型绑定过程initial,pass :: classname_ctor0。这是什么标准？ifort在版本 16 中不会编译发布在那里的示例，而且我没有可用的标准。

Answer 1

与最终子程序不同，“初始”子程序不是 Fortran 标准的一部分。

在派生类型中，某些组件可能具有初始值，默认设置为初始化，例如

type t
  integer :: i=5
end type t
type(t) :: x  ! x%i has value 5 at this point

但是，可分配的数组组件（以及其他一些东西）可能没有默认初始化，并且总是以未分配的状态开始。如果您希望组件被分配，您将需要有一个构造函数或某种其他方式来设置这样的对象。

对于这个问题，需要考虑的一件事是 Fortran 2003+ 参数化类型：

type t(n)
  integer, len :: n
  integer val(n)
end type
type(t(5)) :: x  ! x%val is an array of shape [5]

这自然与具有“初始”形状的可分配数组组件不同，但如果您只是希望组件是运行时初始可自定义形状，这可能就足够了。