Re: Inherited Methods and such

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

> On 28 Wrz, 21:42, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
>
>> Here's an example.  What do you think?
>
> Perfect! I wasn't aware of the possibility to use return to achieve
> this "progressive" construction process.
> I knew this form of return, but not the gory details of how tags are
> assigned.
>
>> Do you revise your opinion that
>> Ada doesn't properly support constructors?
>
> Yes, this example is convincing.

Good to hear.  :-)

> How would you recommend using this pattern with controlled types?
>
> I might need controlled for the finalization part - do you recommend
> ignoring the Initialize operation in this case?

Not sure.  Probably ignorable in most cases.
Note that Initialize defers abort, which might be
interesting in some programs.

As for finalization, I'm not sure it's exactly the reverse of
initialization.  For initialization, you're creating something
out of whole cloth ("raw bits").  But for finalization, you're
not turning anything into raw bits, and you can program defensively
(e.g. make sure Finalize works when called twice on the same
object).

- Bob