Re: Discriminants or Constructor Function for Limited Types

["Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>]

On 2022-05-04 11:02, R R wrote:
> There are two ways (to my knowledge) how to initialize objects of limited types. Either the limited type has some discriminants
> 
>     type DLT (Width, Length : Positive) is tagged limited private;
>     Obj : DLT (3, 5);
> 
> or I can provide a constructor function that takes corresponding parameters
> 
>     type LT (<>) is tagged limited private;
>     function Make (Width, Length : Positive) return LT;
>     Obj : LT := Make (3, 5);
> 
> Do you recommend one way over the other? Why? Is it possible to combine both methods (discriminants plus constructor)?

Just as you can do

    S : String := "Hello";

you can do

    Obj : DLT := New_DLT (3, 5);

-- 
Jeff Carter
"It has been my great privilege, many years ago,
whilst traveling through the mountains of Paraguay,
to find the Yack'Wee Indians drinking the juice of
the cacti."
The Old Fashioned Way
152