用Ada中的元素和重数对定义bag多集

我必须满足一个规范，它说我必须写一个包类型，这是一个带有判别的记录，它是记录中包的最大容量，我必须放一个包含元素和多重性对的数组，我已经写了一些代码并更新了它

类型TArray是Elem的数组（整数范围），Multi；
行李类型（最大值：正）记录
数据：TArray（1..Max）；
指针：自然：=0；
结束记录；

---

代码已经更新，请检查并建议

答案很简单：如果在编译阶段没有任何错误消息，就可以了

根据你的描述，你的代码看起来不错。我有个问题

您是否计划在您的TArray类型上使用负索引？如果不是，为什么不使用与鉴别器相同的类型

---

唯一的问题是，使用正数而不是整数时，只有一半的值，但在您的记录中，您已经从1开始，因此具有与正数相同的范围。

我已经编辑了您的问题，因此源文本是语法高亮显示的。你可能想看看我是怎么做到的。（比查找手册更容易。-）如果数组类型同时包含元素和多重性，则它看起来不完整。如果要发布代码，则应该尝试编译它！您需要一个记录类型的数组，其中记录类型包含一个元素和一个乘法器。请原谅，问题/编译错误/执行异常在哪里？仅编译成功并不表示正确！当然不是，但关于问题中包含的信息，这是第一步：）