Vorhandensein optionaler abgeleiteter Datentyp-Komponenten

Question

Ist das Präsenz-Attribut auf Komponenten abgeleiteter Datenstrukturen "geerbt"? Der Standard sagt, ein Dummy-Argument ist nicht vorhanden, wenn das entsprechende tatsächliche Argument nicht vorhanden ist. Aber ich bin nicht sicher, wie dies zu Komponenten von abgeleiteten Datentypen gilt, wie im folgende Beispiel:

program test 
    implicit none 

    type some_type 
    integer :: acomponent 
    end type some_type 

    type(some_type) :: testval 

    testval%acomponent = 42 

    call outer() 

    call outer(testval) 

contains 

    subroutine outer(me) 
    type(some_type), optional :: me 

    call inner(me%acomponent) 
    end subroutine outer 

    subroutine inner(simple) 
    integer, optional :: simple 

    if (present(simple)) then 
     write(*,*) 'simple present:', simple 
    else 
     write(*,*) 'simple not present...' 
    end if 
    end subroutine inner 

end program test 

Das obige Beispiel kompiliert und läuft gut mit gfortran-5, aber ist es Standard konforme? Irgendwie kann ich es nicht herausfinden, indem ich auf den Standard schaue.

Answer 1

Der Beispielcode stimmt nicht überein. Der relevante Teil des Fortran 2008-Standards ist in 12.5.2.12p3 (5) - "Ein Bezeichner mit [ein optionales Dummy-Argument, das nicht vorhanden ist] als das Basisobjekt und mit einem oder mehreren Unterobjekterkennungselementen nicht" () als ein tatsächliches Argument geliefert werden. "

Die Komponentenreferenz in me%acomponent ist ein Subobjektselektor. Wenn me ein Array ist, wäre ein Array-Index eines beliebigen Formulars ebenfalls ein Subobjekt-Selektor.