Question

我在这里有一个问题：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支持结构等价，那么上述三个问题的答案是什么？

Answer 1

这个常见问题旨在突出强类型语言（如Ada）中名称等效和结构等价之间的区别。有关参考，请参阅Ada Programming/Type System和Rationale for the Design of the Ada® Programming Language。