[J3] Question about C760

Van Snyder Van.Snyder at jpl.nasa.gov
Wed Nov 7 16:15:58 EST 2018


I'm curious why C760 prohibits the allocatable attribute for the
passed-object dummy argument.  This makes it impossible to have a
type-bound procedure whose job is to allocate the object, check status,
etc.

I can see the possibility that if a procedure that has an allocatable
passed-object dummy argument were inherited into an extension type, and
the declared type of the actual argument associated to the passed-object
dummy argument were an extension of the dummy argument type, allocating
it with the correct type would not be possible (or at least not easy).

A constraint that requires a procedure with an allocatable passed-object
dummy argument to be overridden in extensions would be more useful.

I think the same argument applies to pointer.




More information about the J3 mailing list