Re: Default value for a record component

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 22 Lip, 10:08, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>

> > I would like extend it and do this:
>
> > package P is
> >    type T is record
> >       V : Integer := Get_Default_Value;
> >    end record;
> > private
> >    function Get_Default_Value return Integer;
> > end P;
>
> > without losing any of the properties of the original solution and
> > without "leaking" any implementation detail to the public view.

> Yes:
>
> package P is
>    function Get_Default_Value return Integer;
>    type T is record
>       V : Integer := Get_Default_Value;
>    end record;
> end P;

No, this leaks the implementation detail (the Get_Default function) to
the public view and pollutes it. I don't want my users to even see it.

Ada needs real constructors, not just initial values.

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