Re: Controlled types and exception safety

Jeffrey R. Carter wrote:
1. An intermediate object of the type is created.
2. Y's bit pattern is copied into the intermediate object.
3. The intermediate object is adjusted.
4. X is finalized.
5. The intermediate object's bit pattern is copied into X.
6. X is adjusted.
7. The intermediate object is finalized.

Can't Maciej's concerns be applied to step 6? What to do about exceptions that happen while the new X is being adjusted, after the old X has been finalized?

Björn Persson                              PGP key A88682FD
                   omb jor ers @sv ge.
                   r o.b n.p son eri nu