다른 엔티티 정의되지 않은 동작을 가진 인수에 동일한 엔티티가 전달되고 있습니까?

Question

module foo 
contains 
    subroutine bar() 
     integer :: i(3) 

     i(1) = 1 
     i(2) = 2 
     i(3) = 3 
     call baz(i, i) 
    end subroutine 

    subroutine baz(a,b) 
     integer, intent(in) :: a(:) 
     integer, intent(inout) :: b(:) 

     b(2) = 5 
     print *, a 
     print *, b 
    end subroutine 

end module 
program xx 
    use foo 
    call bar() 
end program 

이 코드에서는 동일한 배열 을 baz에 전달하고 다른 인 텐트가있는 인수에 바인딩합니다. 물론 a을 인쇄하면 변경됩니다. 이것은 정의되지 않은 동작입니까, 아니면 사양에 맞습니까?

나는 이것이 완전히 일어날 것을 기대한다. 나는 행동에 의아해하지 않는다, 나는 그것이 유효한지 아닌지 이해하고 싶다.

Answer 1

이것은 정의되지 않은 동작입니다. 인수에 POINTER 또는 TARGET 특성이없는 경우 일반적으로 Fortran은 인수 별칭 (즉, 동일한 실제 데이터를 가리키는 여러 인수)을 금지합니다.