用于初始化动态分配数组的 Ada 语法

Question

在 Ada 中初始化动态分配数组的正确语法是什么？我试过这个:

type Short_Array is array (Natural range <>) of Short;
Items : access Short_Array;
Items := new Short_Array(1..UpperBound)'(others => 0);

这会导致编译器错误 - “应为二元运算符”。还有这个:

type Short_Array is array (Natural range <>) of Short;
Items : access Short_Array;
Items := new Short_Array(1..UpperBound);
Items.all := (others => 0);

这似乎令人惊讶地引发了 SEGFAULT。不确定那里发生了什么，但想在开始追尾之前弄清楚语法。

Answer 1

如果您使用的是 Ada2012，您可以执行以下操作:

type Short_Array is array(Natural range <>) of Short with
   Default_Component_Value => 0;
Items : access Short_Array := new Short_Array(1..UpperBound);

Ada 2012 基本原理 http://www.ada-auth.org/standards/12rat/html/Rat12-2-6.html 的第 2.6 节解释了数组默认初始值的使用。