fortran - 覆盖不同模块中的私有(private)函数

Question

如果模块中私有(private)的类型绑定(bind)过程 foo被第二个模块中的类型覆盖(或试图被覆盖)bar ，这是如何解决的？标准中有规范吗？考虑到以下示例代码，取决于编译器，打印 FOO(intel fortan 19.1.1)或 BAR(gfortran 7.5，也许更新版本会给出不同的结果？)，我想知道哪个是正确的。

module foo

type :: foo_t
contains
    procedure, private :: foobar
    procedure :: exec
end type foo_t

contains

    subroutine exec(obj)
        class(foo_t) :: obj
        call obj%foobar()
    end subroutine exec

    subroutine foobar(this)
        class(foo_t) :: this
        print *, "FOO"
    end subroutine foobar
end module foo

module bar
    use foo

    type, extends(foo_t) :: bar_t
    contains
        procedure :: foobar => impl
    end type bar_t

contains

    subroutine impl(this)
        class(bar_t) :: this
        print *, "BAR"
    end subroutine impl
end module bar

program test
    use foo
    use bar

    class(foo_t), allocatable :: inst
    allocate( bar_t :: inst)
    call inst%exec()
end program test

此外，是否可以在不同的模块中使用私有(private)延迟方法扩展抽象类型，就像示例中的情况一样，如果 foobar被推迟了(它只用前面提到的 gfortran 编译器编译，然后产生预期的结果，但问题是这是否也是正确的行为)？

Answer 1

正确的结果是FOO .
这是 gfortran (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47805) 中的一个已知错误。
在另一个模块中无法访问私有(private)绑定(bind)。因为在模块 bar 中无法访问私有(private)绑定(bind)，它不会被覆盖 (F2018 7.5.7.3p1)。 bar_t 中的绑定(bind)定义与 foo_t 中的绑定(bind)无关。
(具有私有(private)延迟绑定(bind)的抽象类型在定义它的模块之外不可用。有关详细信息，请参阅解释 F08/0052。)