为什么在清楚地写入数组边界时没有运行时错误？

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

编译器是英特尔Fortran 2011 XE,是的我使用字节规范,INTEGER*4因为我知道我得到它.

以下是运行时检查的编译器选项.

Answer 1

英特尔编译器在检查指针和可分配数组的边界方面做得非常好。如果您稍稍修改了代码（如下），并使用类似的代码进行编译：

$ ifort -O0-调试-traceback -check -ftrapuv TEST_CODE.f90

您将收到运行时错误。但是对于假定的大小数组，intel编译器无法检查范围。尤其是对于带有隐式类型的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