Constructor functions and extension aggregate

Constructor functions and extension aggregate

[Maciej Sobczak]

Consider:

http://www.adacore.com/2007/10/01/ada-gem-11/

The constructor function P.Make_T has:

   return (Name => To_Unbounded_String (Name), others => <>);

Shouldn't it be rather:

   return (Ada.Finalization.Limited_Controlled with
      Name => To_Unbounded_String (Name));

?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com

Re: Constructor functions and extension aggregate

[christoph.grein]

On 12 Mrz., 14:37, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> Consider:
>
> http://www.adacore.com/2007/10/01/ada-gem-11/
>
> The constructor function P.Make_T has:
>
>    return (Name => To_Unbounded_String (Name), others => <>);
>
> Shouldn't it be rather:
>
>    return (Ada.Finalization.Limited_Controlled with
>       Name => To_Unbounded_String (Name));

Most probably you're right. However the theme of this gem was how to
use constructor functions for limited type, not how to implement them.
Thus this must be an oversight of the author. I guess he even should
have said:

    return (Ada.Finalization.Limited_Controlled with
            Name => To_Unbounded_String (Name), others => <>);

Re: Constructor functions and extension aggregate

[Robert A Duff]

christoph.grein@eurocopter.com writes:

> On 12 Mrz., 14:37, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
>> Consider:
>>
>> http://www.adacore.com/2007/10/01/ada-gem-11/
>>
>> The constructor function P.Make_T has:
>>
>> � �return (Name => To_Unbounded_String (Name), others => <>);
>>
>> Shouldn't it be rather:
>>
>> � �return (Ada.Finalization.Limited_Controlled with
>> � � � Name => To_Unbounded_String (Name));
>
> Most probably you're right. However the theme of this gem was how to
> use constructor functions for limited type, not how to implement them.
> Thus this must be an oversight of the author. I guess he even should
> have said:
>
>     return (Ada.Finalization.Limited_Controlled with
>             Name => To_Unbounded_String (Name), others => <>);

Yes, that's what I meant.

- Bob