Ada类型声明语义

Question

我正在上大学的Ada。 今天，我的教授向我们提出了一个问题。 在下面的代码中，有三个类型声明。 第三个没有编译错误“缺少新内容”。

我假设关键字'Type'让编译器知道我们即将定义存储类，所以我的问题是：

声明之间的语义差异是什么？
如果省略关键字Integer，则在指定范围时Ada会采用通用整数类型吗？ 这似乎是显而易见的合乎逻辑的结果。 此外，如果关键字“整数”在“范围”之前是新的，那么是否需要？

我希望这不是模棱两可的，我进行了一些研究，但似乎找不到确切的答案，或者也许我想和Ada接触很多新手，以了解我的发现。 我真的很想了解下面发生了什么。

with Ada.Text_IO; use ada.Text_IO;
    procedure any is
    type abc is new Integer range 1..10;
    num : abc;
    type def is range 1..10;
    num2 : def;
    type xyz is Integer range 1..10;
    num3 : xyz;
      begin
      num := 5;
      num2 := 6;
      num3 := 7;
 end any;

Answer 1

在第一个声明中，您要声明一个不同于Integer的新类型，但是要从中继承一些属性（例如，原始函数和运算符并不重要）。

对于每个实际问题，在这种情况下，类型abc和def在语义上都是等效的。 但是，如果您对基本类型进行了基本操作，则将有所不同。

在这种情况下，您不能真正考虑范围的边界是否具有类型，但是，如果存在基类型，则它们必须满足位于基类型范围内的约束。

现在xyz是不正确的，并且Integer在这里并不意味着任何东西。 这可能意味着两件事：

• 您确实想声明一个从整数派生的新类型。 在这种情况下，您会丢失新关键字。
• 您想声明整数的子类型。 就名称解析和静态类型匹配而言，子类型基本上等同于其基本类型，但是在执行时将具有不同的约束。

此外，如果关键字“整数”在“范围”之前是新的，那么是否需要？

Integer不是关键字，它是标准包中定义的类型。 在此声明中

type A is Integer range 1 .. 10;

Integer是对Ada不期望的类型的引用。 它期望一个类型定义，一个基本类型。