Re: Question about controlled types.

["Peter C. Chapin" <pchapin@sover.net>]

Adam Beneschan wrote:

> Did you read the rest of the paragraph?  "As explained below, the
> implementation may eliminate the intermediate anonymous object, so
> this description subsumes the one given in 5.2, 'Assignment
> Statements'".

Well the anonymous object, and its existence or lack thereof, is not 
what I'm worried about... I admit my earlier post may have been unclear 
on that point. My main concern was in how to use controlled types in an 
"exception safe" way.

However, it occurred to me today that if the implementation supports 
garbage collection my example would work fine. In that case Finalize 
wouldn't have to do anything. Adjust would still make a copy, but if 
creating that copied failed during the assignment to A (the final 
target), it would still be okay to share heap structures with the 
anonymous object. When the anonymous object vanished those structures 
would just be owned by A and not become garbage as they would have 
otherwise.

Anyway, thanks for your detailed reply!

Peter