Re: Problem Eliminating constructors

["Rodrigo García" <rodrigo.garcia@epfl.ch>]

Victor Porton wrote:
> In article <3E2D3245.2060903@epfl.ch>,
> 	Rodrigo Garc�a <rodrigo.garcia@epfl.ch> writes:
> 
>>>>Victor Porton wrote:
>>>>
>>>
>>>Oh, Rodrigo, I oversimplified the real situation. Initialization with
>>>just aggregates is possible only in the example, really I need namely
>>>constructor functions.
>>
>>   I see... Have you tried with controlled types?
> 
> 
> Do you mean to use type discriminants by Initialize procedure?

   Yes, that's the idea.

> I suspect this is a size overhead in current compilers (Gnat 3.14/3.15 
> for me).

   Well, I implemented our simple example with and without controlled 
types and it is not a significant overhead.

   In my opinion, the use of controlled types is the only "standard" 
(and the cleanest) way that Ada proposes for constructors/destructors.

Rodrigo