抽象类型与同名泛型接口的关系

Question

考虑下面的代码。

MODULE a


TYPE:: concrete

END TYPE concrete


INTERFACE concrete

PROCEDURE constructor

END INTERFACE concrete


CONTAINS


SUBROUTINE constructor

END SUBROUTINE constructor


END MODULE a

据我了解，在这种情况下，通用接口concrete 将concrete 类型的构造函数声明为子例程constructor（这是我知道的唯一声明构造函数的方法）。现在考虑下面的代码。

MODULE a


TYPE, ABSTRACT:: abstract

END TYPE abstract


INTERFACE abstract

PROCEDURE what_am_i

END INTERFACE abstract


CONTAINS


SUBROUTINE what_am_i

END SUBROUTINE what_am_i


END MODULE a

这里，我有一个 abstract 类型和一个同名的泛型接口，但根据定义，抽象类型 abstract 不能有构造函数。

所以我的问题是：抽象类型、同名泛型接口和该接口内的过程（在示例中为子例程what_am_i）之间是否有任何关系？如果有，是什么？

Answer 1

类型 abstract 和泛型 abstract 之间的关系与类型 concrete 和泛型 concrete 之间的关系完全相同。

这种关系简单来说就是“他们有相同的名字”。虽然可以将与类型同名的泛型函数视为构造函数，但它并没有真正的特权地位。

派生类型的定义意味着默认的结构构造函数与派生类型同名，因此

type t
  integer i
end type t

type(t) x

x = t(1)

end

为我们提供了该类型的对象 x 以及预期值。

如果相反，我们有 x=t(1) 可以解析为特定函数 f，如果函数结果为 t 类型的对象，我们可以将该函数 f 称为构造函数。

但是完全没有理由为什么f 必须返回t 类型的对象。考虑

module mod
  implicit none

  type t
  end type t

  interface t
     module procedure f
  end interface t

contains

  function f()
    integer f
    f = 1
  end function f

end module mod

use mod
implicit none

print *, t()

end

这里很难将f 称为构造函数。

就是这样：通用abstract 下没有特定函数可以返回构造的abstract 对象，但每个函数都可以返回其他内容。正如通用 concrete 下的特定函数可以返回非 concrete 类型的东西。