From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: Victor Porton Newsgroups: comp.lang.ada Subject: Re: Troubles with C strings Date: Sat, 02 Aug 2014 01:16:25 +0300 Organization: Aioe.org NNTP Server Message-ID: References: <3bOdnRP2NdykYU7ORVn_vwA@giganews.com> NNTP-Posting-Host: AnnUDmZwVERVUXyHDyOl5A.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@aioe.org User-Agent: KNode/4.12.4 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:21391 Date: 2014-08-02T01:16:25+03:00 List-Id: 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