function - 延迟绑定(bind)过程的 Fortran 2003 实现是否需要相同的参数？

Question

我试图在模块内部创建一个抽象类型

type, abstract :: AbsType
    contains
     procedure (Compute_AbsSize), deferred :: AbsSize
end type AbsType
abstract interface
    function Compute_AbsSize(this)
        import AbsType
        double precision Compute_AbsSize
        class(AbsType)::this
    end function Compute_AbsSize
end interface

type, extends(AbsType) :: ConcrType
     type(Var), dimension(4) :: Nodes ! coming from a module
    contains
     procedure :: AbsSize => ConcrTypeSize
end type ConcrType

contains

function ConcrTypeSize(this)
        double precision ConcrTypeSize
        class (ConcrType):: this        ! 
end function ConcrTypeSize

事实证明，如果我写

function ConcrTypeSize(TheConcrType)
        double precision ConcrTypeSize
        class (ConcrType):: TheConcrType        ! 
end function ConcrTypeSize

编译器 (gcc) 提示 TheConcrType 应该与延迟函数的变量同名。我找不到此信息，有谁知道我为什么必须这样做，这是正确的吗？

编辑:我把问题的最后一部分移到了 this new question

Answer 1

覆盖父类型中特定绑定(bind)的扩展中的特定绑定(bind)必须具有名称和特征匹配的虚拟参数，禁止传递参数的类型(如果有)。这在F2008标准的4.5.7.3节中有解释(F2003中的类似词)。

因此，编译器的提示是正确的。请记住，在引用过程时可以使用伪参数的名称，也可以在绑定(bind)的 PASS 属性中使用。在这些上下文中，参数名称的不匹配没有意义。

关于你的最后一段，我不清楚你到底想要什么，或者这与问题的前一部分有什么关系。但是，请注意组件可以分配。每个具有可分配组件的类型对象都可以将组件分配给不同的大小。类似地，虽然绑定(bind)过程中的伪参数必须具有匹配的特征，而伪参数的特征是它的形状，但该形状可以假定为形状。