在Ada中初始化固定长度字符串的最佳方法是什么？

作者: LOGO
发布时间: 2024-10-31 10:16:52 (10天前)
转自：

3 条回复

0#
回复此人
v-star*위위 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 您的代码无法编译的原因是String是一个Character数组，因此等效 </p> <pre class="lang-ada prettyprint-override"> <code> s : String(1..256) := (1 => 'H', 2 => 'e', 3 => 'l', 4 => 'l', 5=> 'o', others => Character'Val(0)); </code> </pre> <P> 这显然远非理想。 </p> <P> 另一种方法是使用Move过程 <a href="http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-4-3.html" rel="noreferrer"> Ada.Strings.Fixed </A> 。 </p> <pre class="lang-ada prettyprint-override"> <code> Move(Target => s, Source => "Hello", Pad => Character'Val(0)); </code> </pre> <P> 但这不能在宣言中完成。 </p> <P> 最后，这编译： </p> <pre class="lang-ada prettyprint-override"> <code> s : String(1..256) := "Hello" & (6..256 => Character'Val(0)); </code> </pre> <P> 但我发现它不太清楚 </p> </DIV>

编辑
1#
回复此人
不见你 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 我通常会这样做 </p> <pre> <code> Hello : constant String := "Hello"; Desired_Length : constant := 256; S : String := Hello & (1 .. Desired_Length - Hello'Length => Character'Val (0) ); </code> </pre> <P> 要么 </p> <pre> <code> (Hello'Length + 1 .. Desired_Length => ...); </code> </pre> </DIV>

编辑

登录后才能参与评论