Re: Question on Controlled types

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 4 Jun 2009 05:32:59 -0700 (PDT), Hibou57 (Yannick Duch�ne) wrote:

> On 30 mai, 15:27, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> The formula is I + A = F, where I is the number of calls to Initialize, A
>> is the number of calls to Adjust and F is the number of calls to Finalize.
>>
>> Note that the compiler has right to optimize some pairs Adjust/Finalize
>> away or add new ones.
> 
> So this means that if there was a second assignation of Delay1,
> Finalize would be invoked before the copy and the Adjust which will
> follow the copy ?

Yes.

Initialization contains a call to either Initialize or Adjust
Assignment contains one call to Finalize and next to Adjust
Finalization contains a call to Finalize

In C++ terms:

Initialize is a part of the "default constructor". Adjust is a part of the
"copy constructor". ":=" is composed out of the "destructor", bitwise copy
and a call to Adjust. The "destructor" calls to Finalize.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de