From: Bob Duff <bobduff@theworld.com>
Subject: Re: Bounded String question
Date: Wed, 11 Nov 2015 10:34:53 -0500
Date: 2015-11-11T10:34:53-05:00 [thread overview]
Message-ID: <87egfw7dnm.fsf@theworld.com> (raw)
In-Reply-To: n1u7dq$tcf$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
> On 11/10/2015 05:48 PM, Bob Duff wrote:
>>
>> I suggest rolling your own. No need for generics.
>>
>> type Bounded_String (Max_Length : Natural := ...) is limited record
>> Length : Natural := 0;
>> Chars : String (1 .. Max_Length);
>> end record;
>
> Except that using Natural for Max_Length results in GNAT allocating Integer'Last
> characters for Chars, which is unlikely to fit on the stack.
No, the type is limited, so GNAT will allocate space for Max_Length
characters, not Natural'Last characters.
- Bob
next prev parent reply other threads:[~2015-11-11 15:34 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-10 22:00 Bounded String question Serge Robyns
2015-11-11 0:48 ` Bob Duff
2015-11-11 2:01 ` Jeffrey R. Carter
2015-11-11 15:34 ` Bob Duff [this message]
2015-11-11 17:36 ` Jeffrey R. Carter
2015-11-11 19:22 ` Bob Duff
2016-03-06 18:59 ` Xavier Petit
2016-03-07 23:16 ` Randy Brukardt
2016-03-08 0:08 ` Jeffrey R. Carter
2016-03-09 1:18 ` Randy Brukardt
2015-11-11 10:52 ` Serge Robyns
2015-11-11 13:43 ` Serge Robyns
2015-11-11 14:32 ` brbarkstrom
2015-11-11 16:08 ` Serge Robyns
2015-11-11 17:27 ` Jeffrey R. Carter
2015-11-11 20:06 ` Serge Robyns
2015-11-11 20:23 ` AdaMagica
2015-11-11 20:27 ` AdaMagica
2015-11-11 20:32 ` Serge Robyns
2015-11-11 20:40 ` AdaMagica
2015-11-12 17:31 ` Serge Robyns
2015-11-12 19:10 ` AdaMagica
2015-11-12 21:29 ` Randy Brukardt
2015-11-12 18:03 ` G.B.
2015-11-12 18:13 ` Serge Robyns
2015-11-12 18:14 ` Serge Robyns
2015-11-12 19:37 ` Randy Brukardt
2015-11-11 20:42 ` Jeffrey R. Carter
2015-11-12 16:59 ` Serge Robyns
2015-11-12 18:39 ` Jeffrey R. Carter
2015-11-12 21:19 ` Randy Brukardt
2015-11-12 21:27 ` Randy Brukardt
2015-11-12 22:32 ` Jeffrey R. Carter
2015-11-13 0:07 ` Randy Brukardt
2015-11-13 1:01 ` Jeffrey R. Carter
2015-11-11 15:41 ` Bob Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox