当使用 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