Re: Correct use of variants

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

Stephen Leake wrote:

>>but I might have difficulty deciding which value is better than the
>>others for this role. 
> 
> It makes absolutely no difference. The syntax makes it look like you
> are giving a default value to the discriminant, but it doesn't matter
> what value you put; it will never be used.

Yes, it will be used:

type Discriminated(Which : Chooser := First) is -- ...

A : Discriminated;

-- later:

Put(A.X); -- OK, because the First part is in use,
           -- even though X is not initialized (you get garbage)

Put(A.Y); -- CONSTRAINT_ERROR at run-time


> I usually use:
> 
> type Foo_Type (descrim : Descrim_Type := Descrim_Type'first) is ...;
> 
> to indicate that I don't care what the default descriminant is.

Indeed, looks to be self-documenting.


Thank you for this and other responses.

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