fortran - 为什么在明确写入数组边界时没有运行时错误？

Question

我有一个程序，它分配的数组超出了它的范围，我预计会抛出运行时错误。然而，根本没有引发任何错误，并且程序继续写入未声明的内存。是否有一些编译器选项可以防止这种情况？通过显示的内存转储，可以清楚地看出这种越界是真实存在的。有没有办法声明变量或参数规范来捕获这个问题？显然，这是一个明显的情况，但当负责维护数千行 F77 派生代码时，(对我来说)并不总是清楚这种情况是否会发生。

PROGRAM TEST_CODE
IMPLICIT NONE

INTEGER*4 :: R(5)           ! Array of 5

    CALL R_TEST(R, 10)

END PROGRAM

SUBROUTINE R_TEST(R, J)
IMPLICIT NONE

INTEGER*4, INTENT(INOUT) :: R(1)    ! Dummy is array of 1
INTEGER*4, INTENT(IN) :: J
INTEGER*4 :: K

DO K=J-5,J+5            ! K=5..15
    R(K) = K            ! No Runtime Error
END DO

END SUBROUTINE

编译器是 Intel Fortran 2011 XE，是的，我使用字节规范 INTEGER*4 因为我知道我会得到什么。

以下是用于运行时检查的编译器选项。

Answer 1

英特尔编译器在指针和可分配数组的边界检查方面做得非常好。如果您稍微修改代码(如下)并使用类似以下内容进行编译:

$ ifort -O0 -debug -traceback -check -ftrapuv TEST_CODE.f90

您将收到运行时错误。但对于假定大小的数组，英特尔编译器无法检查边界。特别是对于具有隐式类型等的 F77 代码，查找内存泄漏并不容易。另一个小事情是，在 Fortran 中你的程序必须做一些有意义的事情；否则编译器将忽略您的代码，因为它什么也不做!这就是我最后添加打印的原因。

R(:) 的一个小问题是编译器不能假设它在内存中是连续的；因此它不能进行一些编译器优化。那么最好使用可分配数组或使用连续属性(F2008 标准)。

PROGRAM TEST_CODE
IMPLICIT NONE

INTEGER*4 :: R(5)           ! Array of 5

    CALL R_TEST(R, 10)
    print *,R

END PROGRAM

SUBROUTINE R_TEST(R, J)
IMPLICIT NONE

INTEGER*4, INTENT(INOUT) :: R(:)    ! Dummy is array of 1
INTEGER*4, INTENT(IN) :: J
INTEGER*4 :: K

DO K=J-5,J+5            ! K=5..15
    R(K) = K            ! No Runtime Error
END DO

END SUBROUTINE