Re: Base64-Encoding

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

> Stefan Bellon wrote:
>> On Mon, 15 Oct, Jacob Sparre Andersen wrote:
>
>>>    Padded_Data : String (1 .. Padded_Length) := Data & (others =>
>>> ASCII.NUL);
>>> 
>>> would work fine.
>>
>> This results in:
>>
>>    error: "others" choice not allowed here
>
> I can't figure out why, ...

Because Ada allows "others" only when the context determines the bounds
of the array:

    X : String (1..10) := (others => '*'); -- OK, bounds of others come from X
    Y : String := (1..10 => '*'); -- OK, bounds of Y come from aggregate
    Z : String := (others => '*'); -- Illegal (what is Z'Length?)

The right-hand parameter of the "&" function is of subtype String,
which is unconstrained, so you can't pass an others-aggregate to it.

I suppose the language COULD have been defined to allow it,
by special-casing the predefined "&".  Allow one (but not both)
parameters of "&" to have others, but only if the "&" operator
appears in an appropriate context:

    A : String := "Hello";
    function F(X : Integer) return String;
    B : String (1..100) := A & (others => '*') & F(123); -- Illegal.

Requiring the generated code to calculate the bounds
of others as B'First + A'Length .. B'Last - <result-of-F>'Length.
Yuck -- that works for "&", but not for user-defined functions.
Sounds like a complicated rule, for little benefit, since as you point
out, it's not that hard to calculate the bounds explicitly:

>... but here's something which does work:
>
>       Padded_Data : String (1 .. Padded_Length) := 
>                       Data & (Data'Length + 1 .. Padded_Length => ASCII.NUL);

- Bob