对 Fortran 数组边界检查的运行时检查未触发

Question

我制作了这个小型测试程序来"证明"在编译之前(或者如果您使它们可分配(之前，如果不指定向量的大小，就不能使用向量。不过我的观点失败了。我预计局部向量"num"会失败。在执行程序之前，程序无法知道它的大小。大小 nod 在执行时从用户读取。我使用以下命令编译：

gfortan -fcheck=all test.f90

"nod"的值在执行期间被赋予为5000000000

gfortran 的版本是 6.3.0

执行"正常"并返回以下答案：

7 9.9000000000000004 9.9000000000000004

500000000

所以我的问题是;为什么编译器不向我抛出错误，说我在(未定义的(向量之外编写？我想它看到了我的错误并拯救了我？？通过使其可分配？？还是我在这里完全错了？

MODULE globaldata
IMPLICIT NONE
INTEGER nod
END MODULE globaldata

<小时 />

MODULE modtest
USE globaldata
IMPLICIT NONE
CONTAINS
SUBROUTINE mysubtest(dummy)
IMPLICIT NONE
INTEGER :: dummy
REAL(kind=8) :: num(nod)
dummy = 7
num = 9.9d0
write(*,*) dummy,num(1),num(nod),size(num)
END SUBROUTINE mysubtest
END MODULE modtest

<小时 />

PROGRAM test
USE globaldata
USE modtest
IMPLICIT NONE
INTEGER dummy1
WRITE(*,*)"Give the value of nod:"
READ(*,*) nod
CALL mysubtest(dummy1)
END PROGRAM test

Answer 1

当然可以有显式形状数组，这些数组的大小在编译时未知(使用命名或文字常量/常量表达式(。 这些实体称为自动对象。 但是，它们在可能出现的地方受到限制。

显式形状数组可能出现在任何程序单元的规范部分中。 主程序或模块范围内的变量确实必须具有常量表达式的大小。 更一般地说，显式大小数组的数组大小表达式是规范表达式，对于局部变量，这些表达式不需要是常量表达式。

在您的测试用例中，数组num是mysubtest的局部变量。nod是一个模块变量，可通过主机关联(并在该主机中使用关联(访问，因此形成了一个非常有效的规范表达式：数组num的大小nodmysubtest，无论调用子例程时nod的值是多少。

有关规范表达式中允许的内容的详细信息，请参阅 Fortran 2018， 10.1.11。

自动对象可能出现在其他地方，或者由于数组大小以外的原因而自动出现，但这与问题的情况无关。