Re: Constructing an object

[Maciej Sobczak <no.spam@no.spam.com>]

Maciej Sobczak wrote:

>> 3. The default values:
> 
> OK, this solves some of the cases. In general, however, by 
> "initialization" I mean performing some actions (not just inventing 
> values), like acquire on external resources.

And I just realized that I don't have to use constants as default 
values, thay can come from functions...

>> 4. Initialization enforcement via discriminants:
>>
>> 4.a. Discriminants as members:

... and here those functions could even take the discriminant as a 
parameter:


function Get_New(Param : in SomeType) returns OtherType is
begin
     -- ...
end Get_Value;

type Record (Param : SomeType) is record
     X : OtherType := Get_New(Param);
end record;

A : Record(7);

This way, I can execute some action in order to initialize the object, 
and even use some parameters.

Further questions: Are there any restrictions on SomeType?


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/