5

当使用 GNU Fortran (v4.4.3) 或 Sun Studio F95 (v8.3) 编译并且没有数组边界时，检查以下程序运行时没有错误。但是，当打开数组边界检查时（gfortran -fbounds-check和f95 -C，分别）GNU编译的可执行文件再次运行而没有错误，而Sun Studio编译的可执行文件给出了运行时错误，

 ******  FORTRAN RUN-TIME SYSTEM  ******
Subscript out of range. Location:  line 44 column 20 of 'nosize.f90'
Subscript number 2 has value 1 in array 't$27'

这是对 的调用中的错误sub2()，它使用自动数组虚拟参数x. 使用sub1()编译器和任何标志调用都可以正常运行。

据我所知，这个程序是“合法的”，因为零大小的数组可以像非零大小的数组一样被引用，并且没有对x. 但是我在这里缺少一些零大小的数组切片或自动数组的细微之处吗？我应该期望数组边界检查在不同的编译器中表现相同，还是应该将其视为特定于供应商的扩展？

MODULE subs
  IMPLICIT NONE
CONTAINS    
  SUBROUTINE sub1(x)
    IMPLICIT NONE
    REAL :: x(:,:)
    PRINT*,'------------------------------------'
    PRINT*,SHAPE(x)
    PRINT*,SIZE(x)
  END SUBROUTINE sub1

  SUBROUTINE sub2(n1,n3,x)
    IMPLICIT NONE
    INTEGER,INTENT(in) :: n1, n3
    REAL :: x(n1,n3)
    PRINT*,'------------------------------------'
    PRINT*,SHAPE(x)
    PRINT*,SIZE(x)
  END SUBROUTINE sub2
END MODULE subs


PROGRAM nosize
  USE subs
  IMPLICIT NONE    
  INTEGER :: n1 = 2, n2 = 2, n3 = 0
  REAL,ALLOCATABLE :: x(:,:,:)

  ALLOCATE(x(n1,n2,n3))
  x(:,:,:) = -99.9

  PRINT*,'ALLOCATED? ',ALLOCATED(x)
  PRINT*,'SHAPE =',SHAPE(x)
  PRINT*,'SIZE  =',SIZE(x)
  PRINT*,'X     =',x

  CALL sub1(x(:,1,:))
  CALL sub2(n1,n3,x(:,1,:))

END PROGRAM nosize
4

1 回答 1

4

它不会给带有 -check 边界的 intel 的 fortran 编译器带来任何问题；而根据我的经验，IBM 的 xlf 非常严格，也没有抱怨 -qcheck。

但更广泛地说，是的，没有关于边界检查应该或不应该做什么的标准。我当然可以理解为什么有些编译器会将零长度数组的赋值标记为坏/错误/奇怪；这是一个奇怪的极端情况。

于 2011-04-12T14:16:12.503 回答