自定义类型数组的类虚拟参数卡在 -fcheck=bounds 上

Question

我有以下简单的 Fortran 代码

program test

    type vec
        integer :: x(3)
    end type

    type(vec) :: v(2)

    call sub(v)

contains

    subroutine sub (v)

        class(vec), intent(in) :: v(:)

        integer :: k, q(3)

        q = [ (v(1)%x(k), k = 1, 3) ]   ! <-- fails here

   end subroutine

end program

，当由 GNU Fortran 11（但不是其他版本）使用 -fcheck=bounds 编译时，会失败并显示错误

At line 19 of file test.f90
Fortran runtime error: Index '3' of dimension 1 of array 'v%_data%x' above upper bound of 2

它看起来好像编译器只是交换了 < 的长度code>x 和 v 这可以通过更改数字来确认。

当单词 class 替换为 type 时，问题就消失了。

我相信该代码是有效的。或者是否违反了某些 Fortran 语言限制导致了这种令人惊讶的行为？