Re: Community Input for the Maintenance and Revision of the Ada Programming Language

["G.B." <bauhaus@notmyhomepage.invalid>]

On 03.10.17 09:48, Simon Wright wrote:

> I have a requirement (based on an interface to an external entity) to
> store quite a few names of length no more than 14 characters. It seems
> reasonable to implement the storage using Bounded_Strings (unless of
> course the GNAT overhead gets too much).

GNAT sources say that the compiler "special cases" Bounded_String,
referring to its own Ada.Strings.Superbounded.

In this package, the type Super_String is a discriminated record,
and then

    type Bounded_String is
      new Superbounded.Super_String (Max_Length);

where

    type Super_String (Max_Length : Positive) is record
       Current_Length : Natural := 0;
       Data           : String (1 .. Max_Length);
       --  ... comments only ...
    end record;


Is it really possible to create less overhead? E.g., by using
allocators, storage pools, and adding string operations as
necessary?

(But, still, predefined string types from the Ada library
depend on types Positive and Natural with their implementation
defined ranges. I understand that the 'Size of these types
is 16 in Janus/Ada?)