gfortan 模糊接口的问题

Question

我的情况类似于以下代码被剪断（保存在 test.f90 中）：

module interfaces_mod

    private
    
    public :: interf

    interface interf
        module procedure interf1
        module procedure interf2
    end interface

    contains
        subroutine interf1(&
                        numbers,&
                        num_numbers,&
                        dense_ranks&
                        )
            Implicit None
            integer, dimension(:), intent(in) :: numbers
            integer, intent(in) :: num_numbers
            integer, dimension(:), intent(out), optional :: dense_ranks
        end subroutine interf1

        subroutine interf2(&
                        degeneracies,&
                        numbers,&
                        num_numbers,&
                        dense_ranks&
                        )
            Implicit None
            Integer, dimension(:), intent(inout) :: degeneracies
            integer, dimension(:), intent(in) :: numbers
            integer, intent(in) :: num_numbers
            Integer, dimension(:), intent(out), optional :: dense_ranks
        end subroutine interf2
end module interfaces_mod

因此，该模块定义了具有两种可能实现的通用接口。

这个片段可以使用 ifort 编译

ifort -c -o "test.o" "test.f90"

创建一个模块。 但是尝试使用 gfortran 编译相同的代码：

gfortran -c -o "test.o" "test.f90"

导致错误：

   15 |         subroutine interf1(&
      |                          1
......
   32 |         subroutine interf2(&
      |                          2
Error: Ambiguous interfaces in generic interface 'interf' for ‘interf1’ at (1) and ‘interf2’ at (2)

现在查看实现的虚拟参数，使用 Integer 数组调用 interf1，然后是 Integer 和可选的 Integer 数组。 而是使用两个 Integer arrays 后跟 Integer 和可选的 ZA0FAEF0851B4294C06F2B49 数组调用 interf2。 所以我不明白歧义来自哪里，以及为什么 ifort 可以编译这个片段而 gfortran 无法编译它。

gfortran 版本是 9.3.0，ifort 版本是 19.0.5.281

Answer 1

您的程序不符合具有相同通用标识符的规则，并且 gfortran 有权拒绝该通用。

要考虑的约束是Fortran 2018的C1514。我们来详细看看。 没有虚拟过程或传递对象虚拟 arguments，所以我们只需要该约束的 (1) 和 (4)。 这些条件之一必须通过。

对于 (1)：

• 我们在每个过程中都有一个标量参数，每个过程中称为num_numbers 。 标量参数不能用于消除歧义。

• 在interf1中，两个阵列假人 arguments 的 (1a) 得分为 1，而每个的 (1b) 得分为 3。对于interf2 ，三个阵列假人的 (1a) 得分为 2，而 (1b) 得分每个也是 2。

(1) 不满足。

对于 (4)：

• 一个过程中的哑元不能与另一个过程中的同名哑元区分开来。
• interf1没有名称未出现在interf2中的虚拟参数。
• interf2在 position 1 处具有名称消歧参数degeneracies ，而其第一个位置消歧参数在 position 2 处。

(4) 不满足。

虽然不满足 (4)，但很容易修改过程定义，使其成为：在参数列表中稍后移动degeneracies 。

Fortran 标准本身有一个重要说明，在您尝试准确计算如何创建模棱两可的参考之前：

这些规则足以确保对符合它们的程序的引用是明确的，但仍有一些例子不符合这些规则，但可以证明是明确的 [...] 涵盖所有情况的规则太复杂，无法有用。