comp.lang.ada
 help / color / mirror / Atom feed
From: Victor Porton <porton@narod.ru>
Subject: Re: Troubles with C strings
Date: Sat, 26 Jul 2014 22:09:53 +0300
Date: 2014-07-26T22:09:53+03:00	[thread overview]
Message-ID: <lr0udt$esj$1@speranza.aioe.org> (raw)
In-Reply-To: 3bOdnRP2NdykYU7ORVn_vwA@giganews.com

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. 
:-)

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


  reply	other threads:[~2014-07-26 19:09 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 [this message]
2014-08-01 22:16       ` Victor Porton
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