From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: String_Access in unbounded string handling?
Date: Sun, 14 Jan 2024 16:12:31 +0100 [thread overview]
Message-ID: <uo0tkt$g6av$1@dont-email.me> (raw)
In-Reply-To: <uo0fs5$dja6$1@dont-email.me>
On 2024-01-14 12:17, Jeffrey R.Carter wrote:
> On 2024-01-14 12:05, Blady wrote:
>>
>> String_Access is defined in A.4.5 Unbounded-Length String Handling:
>> 7 type String_Access is access all String;
>>
>> and note:
>> 75 The type String_Access provides a (nonprivate) access type for
>> explicit processing of unbounded-length strings.
>>
>> I wonder what String_Access is for and what could be "explicit
>> processing"?
>
> String_Access is a mistake that should not exist.
Well, from one point of view, surely.
However I frequently need such a type because I in general refrain from
using Unbounded_String. Now, would be no problem to declare it as
needed, except for generics! If you have generic packages like:
generic
type Object_Type (<>) is private;
type Object_Access_Type is access all Object_Type;
You want all instances to share the same String_Access. So it is
conflicting. One is true, it has no place there. It should have been the
package Standard or none.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2024-01-14 15:12 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-14 11:05 String_Access in unbounded string handling? Blady
2024-01-14 11:17 ` Jeffrey R.Carter
2024-01-14 15:12 ` Dmitry A. Kazakov [this message]
2024-01-17 1:30 ` Randy Brukardt
2024-01-17 1:24 ` Randy Brukardt
2024-01-17 9:54 ` Blady
2024-01-17 13:34 ` Tucker Taft
2024-01-19 1:36 ` Randy Brukardt
2024-01-30 15:53 ` Blady
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox