[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