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
next prev parent 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