fortran - dinamica - Arrays de tamaño cero y verificación de límites de matriz

integer allocatable fortran

Question

Cuando se compila con GNU Fortran (v4.4.3) o Sun Studio F95 (v8.3) y sin límites de matriz verificando que el siguiente programa se ejecute sin error. Sin embargo, cuando la verificación de límites de matriz está activada ( gfortran -fbounds-check y f95 -C , respectivamente) el ejecutable compilado de GNU se ejecuta nuevamente sin error, mientras que el ejecutable compilado Sun Studio da el error de tiempo de ejecución,

 ****** 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''

Eso es un error en la llamada a sub2() , que utiliza un argumento ficticio automático de matriz para x . Las llamadas a sub1() se ejecutan bien con el compilador y cualquier indicador.

Que yo sepa este programa es "legal", en que una matriz de tamaño cero puede ser referenciada como una matriz de tamaño no cero, y no hay una indexación explícita de la dimensión de longitud cero de x . ¿Pero hay algún tipo de corte de matriz de tamaño cero o sutileza de matriz automática que me falta aquí? ¿Y debería esperar que la comprobación de límites de matriz se comporte igual en diferentes compiladores, o debería considerar una extensión específica del proveedor?

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

Answer 1

No da ningún problema con el compilador fortran de Intel con -marques de comprobación; y el xlf de IBM, que en mi experiencia es extremadamente estricto, tampoco se quejó con -qcheck.

Pero en términos más generales, sí, no existe un estándar sobre lo que la verificación de límites debería o no debería hacer. Ciertamente puedo ver por qué algunos compiladores marcarían una asignación a una matriz de longitud cero como mala / incorrecta / extraña; es un extraño caso de esquina.