来自关联的非一个索引数组

Question

我希望有一个指向数组（或其部分）并且不是索引的关联。 下面的程序说明了这个问题：

program test_associate
    implicit none(type, external)
    integer, parameter :: N = 10
    integer :: i, A(0 : N - 1)

    A = [(i, i = lbound(A, 1), ubound(A, 1))]
    write(*, *) A(0), A(9)

    associate(B => A(0 : N - 1))
        write(*, *) B(9)    ! This writes 8 but should write 9
    end associate
end program

我试过了

    associate(B(0 : N - 1) => A(0 : N - 1))
        write(*, *) B(9)
    end associate

但这是无效的语法。 （至少在我的 gfortran 9.3 编译器中）

Answer 1

语法

associate (B(0:N-1) => ...)
end associate

在 Fortran 中无效：关联项的左侧必须是 名称。仅使用名称（此处为 B）无法指定诸如边界之类的属性。

关联实体数组的边界（同样，这里是 B）由在右侧使用 LBOUND 的结果（选择器）给出（Fortran 2018， 11.1.3.3 第 1 页）：

每个维度的下界是内在函数LBOUND(16.9.109)应用于选择器的对应维度的结果

LBOUND 的引用描述解释了在这种情况下如何计算边界。

因为A(0:N-1) 不是一个完整的数组，所以LBOUND 返回1，因此在这种情况下B 的下限本身就是1。

B 的下限可能不是1：选择器是一个完整的数组。在

associate(B => A)
end associate

B 将具有A 的下限。

结论：关联实体可能具有除1 之外的下限，但仅当它关联的事物是整个数组时。特别是，在与数组的一部分（并且可以包括数组的所有，例如B => A(:)、A(:) 不是整个数组）关联时，关联实体始终具有下限@ 987654340@.

正如 Vladimir F 在另一个答案中所说，指针的边界可以作为指针分配的一部分进行控制。

Answer 2

我认为这是不可能的。 A(0 : N - 1) 是一个子数组，它是一个表达式，不再是原来的数组。 A(0 : N - 1) 的下限是 1，而不是 0。

你可以试试

dimension A(0:9)
print *,lbound(A(0:8))
end

它将打印1。

请注意，您的同事可能会将数组部分复制并存储在临时数组中。

如果你关联到=> B，A 会正确写成9。

您可以使用指针指向这些部分

program test_associate
    implicit none(type, external)
    integer, parameter :: N = 10
    integer, target :: A(0 : N - 1)
    integer, pointer :: B(:)
    integer :: i

    A = [(i, i = lbound(A, 1), ubound(A, 1))]
    write(*, *) A(0), A(9)
    
    B(0:N-1) => A(0:N-1)
    write(*, *) B(9)    ! This writes 9

end program