comp.lang.ada
 help / color / mirror / Atom feed
From: Victor Porton <porton@narod.ru>
Subject: Re: Troubles with C strings
Date: Sat, 02 Aug 2014 01:16:25 +0300
Date: 2014-08-02T01:16:25+03:00	[thread overview]
Message-ID: <lrh3jp$ans$1@speranza.aioe.org> (raw)
In-Reply-To: lr0udt$esj$1@speranza.aioe.org

Victor Porton wrote:

> Peter Chapin wrote:
> 
>> On 2014-07-26 11:15, Shark8 wrote:
>> 
>>> On 26-Jul-14 08:13, Victor Porton wrote:
>>>> Also: It seems that in Interfaces.C.Strings there is no function which
>>>> creates an Ada string of specified length from a chars_ptr (without
>>>> checking for NUL).
>>> 
>>> Such a function cannot exist: to determine the length of a C-style
>>> string you *must* scan through it for the terminating NULL. What you
>>> describe would be a "substring" method that can read beyond the
>>> string-bounds without raising an error... and I see no way that would
>>> end well.
>> 
>> Well the function could exist; it would just require an additional
>> parameter to specify how much should be copied. While such an approach
>> might be contrary to the sensibilities of Ada programmers, I don't think
>> C programmers would find it shocking.
>> 
>> Of course we are talking about an Ada interface here so adding a
>> function that by its nature could easily lead to undefined behave...
>> er... erroneous execution probably wouldn't be great.
> 
> Jut call this function *_Unchecked or *_Unsafe and it would turn it safe.
> :-)

Hey, anyone!

Could we add this *_Unchecked or *_Unsafe to Ada202x?

-- 
Victor Porton - http://portonvictor.org

  reply	other threads:[~2014-08-01 22:16 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-07-26 14:13 Troubles with C strings Victor Porton
2014-07-26 15:15 ` Shark8
2014-07-26 15:52   ` Victor Porton
2014-07-26 17:09     ` Shark8
2014-07-26 19:06   ` Peter Chapin
2014-07-26 19:09     ` Victor Porton
2014-08-01 22:16       ` Victor Porton [this message]
2014-07-26 18:41 ` Niklas Holsti
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox