Types 声明变量的兼容性

我有一个问题：6。Ada支持命名等价。鉴于宣言：

A: array(1..10) of integer;
B: array(1..10) of integer;

A和B兼容吗？如果我们将其声明为

A, B: array(1..10) of integer;

A和B兼容吗？另一种说法是

Type array10 is array(1..10) of integer;
A, B: array 10;

---

A和B兼容吗？如果Ada支持结构对等，那么上述三个问题的答案是什么？

这个常见问题旨在强调强类型语言（如Ada）中名称对等和结构对等之间的区别。作为参考，请参阅和。

我们可以很好地回答Ada问题。然而，这似乎是一个伪装成Ada问题的章节材料理解问题。特别是，很大程度上取决于他们如何准确定义“兼容”、“命名等价”和“结构等价”。（尽管后两种方法确实有一个合理的解释）问题的一部分甚至是基于Ada没有的设施的理论。没有这样的背景，很难回答

---

答案不是在Ada LRM的任何地方，而是在你的书中。阅读本章，你应该会有所启发。

使用SO问题格式工具，即编辑框顶部的图标/按钮。让我们更容易帮助你。此外，如果你的第一个问题以数字6开头，一些愤世嫉俗者会认为你是在要求我们为你做家庭作业。如果是，请将您的问题贴上标签。无论你做什么，正确地标记你的问题，你的问题没有任何算法；如果不正确，请回复。添加了家庭作业标签，因为这看起来像是直接出自教科书，Ada只是作为一个具体的例子。该类型的系统链接正好适合这个问题。如果艾薇的问题是，她的问题的支持材料令人困惑（或不知何故无法获得），这可能会有所帮助。