(j3.2006) Implicit assignment of objects of extended types

Tom Clune Thomas.L.Clune
Tue Nov 17 19:13:44 EST 2015


All,

Apologies for the extra bandwidth, but I never saw any responses to my email to the list on Oct. 16th.   Granted, it was poorly timed  as it coincided with the meeting wrapping up in  Las Vegas.    

I?m specifically interested in whether my point (1) below carries any weight with regard to how we should proceed with the interp request.

Cheers,

- Tom



> On Oct 16, 2015, at 9:41 AM, Tom Clune <Thomas.L.Clune at nasa.gov> wrote:
> 
> Attached below is a motivating example of my objection to the interp we discussed on Tuesday. (Paper 218 I think.)
> 
> I also have a few additional arguments to bolster my case.
> 
> 1)  If I understand correctly, the semantics of finalization work on the base object, not on the components of the base object.  In 15-007r2.pdf  4.5.6.2 The finalization process (78:19), we have:  
> 
> ?If the entity is of extended type and the parent type is finalizable, the parent component is finalized.?
> 
> The proposed interp seems to run contrary to this treatment of the base as a coherent entity.
> 
> 2) Not that it really matters, but C++ implicit copy/assignment semantics also use the copy/assignment operator for the base object, not its components.
> 
> 3) Just to reiterate my point on Tuesday.   The proposed interp in 218 adds considerable burden to implementors of type extensions.   If a base type overrides default assignment, then the type extension almost certainly must as well, or risk ruining some invariant property that the base otherwise preserves.  Further, this burden propagates down the inheritance hierarchy.  Perhaps on some occasions, the implementor may find that default assignment is actually ok, but it would require looking ?inside? the base type implementation.  (And I cannot construct a plausible motivating example of this situation, though I?ve also not tried very hard.)
> 
> 
> 
> 
> Thomas Clune, Ph. D. 
> <Thomas.L.Clune at nasa.gov <mailto:Thomas.L.Clune at nasa.gov>>
> Software Infrastructure Team Lead
> Global Modeling and Assimilation Office, Code 610.1
> NASA GSFC 
> MS 610.1 B33-C128
> Greenbelt, MD 20771
> 301-286-4635
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> <intrinsic_assignment.F90>

Thomas Clune, Ph. D. 	<Thomas.L.Clune at nasa.gov>
Software Infrastructure Team Lead
Global Modeling and Assimilation Office, Code 610.1
NASA GSFC		
MS 610.1 B33-C128
Greenbelt, MD 20771
301-286-4635













-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.j3-fortran.org/pipermail/j3/attachments/20151117/19a9754a/attachment.html 



More information about the J3 mailing list