Re: Controlled types and exception safety

[Stephen Leake <stephen_leake@acm.org>]

Maciej Sobczak <no.spam@no.spam.com> writes:

> When I said "copy" above (C++), I meant create a new object as a copy.
> This involves copy constructor. The point is that this new object is
> *separate* from the destination object (from what's on the left side
> of assignment operator), so even if there are errors, they do not
> influence any of the two objects which were originally involved. After
> this new helper object is constructed (which means: *successfully*
> constructed), it's "injected" in the destination object by means of
> swapping the bowels.

If you want this semantics in Ada, you can program it yourself; it's
just not what is defined for Controlled types.


-- 
-- Stephe