输出错误的简单 Ada 程序

Question

这里是 Ada 的初学者。 我正在尝试从这里编译和运行一个简单的 Ada 程序：http://www.dwheeler.com/lovelace/s1sf.htm

代码如下：

-- Demonstrate a trivial procedure, with another nested inside.
with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure Compute is

 procedure Double(Item : in out Integer) is
 begin -- procedure Double.
   Item := Item * 2;
 end Double;

 X : Integer := 1;   -- Local variable X of type Integer.

begin -- procedure Compute
 loop
  Put(X);
  New_Line;
  Double(X);
 end loop;
end Compute;

我在 Linux 上，使用 gnat，所以我这样做了：

gnatmake -c compute.adb
gnatmake compute

这给了我可执行文件。运行可执行文件会给出一个零列表，因为它似乎将 X 初始化为 0，即使它说要将其初始化为 1，所以我应该得到一个列表 1,2,4,...

谁能解释我的代码或我的想法哪里有问题？哦，使用 gnat 有没有办法在单个命令中编译和创建可执行文件？

Answer 1

我只能猜测，当你添加“-gnato”时，gnatmake 只是简单地回复了gnatmake: "compute" up to date.，给你留下了相同的可执行文件。

brian@Gannet:~/Ada/Play$ gnatmake -gnato compute.adb
brian@Gannet:~/Ada/Play$ ./compute
          1
          2
...
  536870912
 1073741824
raised CONSTRAINT_ERROR : compute.adb:9 overflow check failed

然后没有 -gnato （我不得不触摸源或我得到“最新”消息）

brian@Gannet:~/Ada/Play$ gnatmake compute.adb
brian@Gannet:~/Ada/Play$ ./compute
          1
          2
...
  536870912
 1073741824
-2147483648
          0
          0
          0
          0

随后显示为一串零。添加额外的“if”语句触及文件，强制重新编译：“if”本身并不是绝对必要的（尽管测试和防止约束错误是一件好事！）

道德：没有 -gnato，或者更确切地说，没有标志 -gnataoE -fstack_check，Gnat 不是 Ada 编译器。

Answer 2

当你每次将整数值加倍时，循环中没有任何延迟，它会很快溢出。在 GNAT 中，溢出检查默认是关闭的，您可以使用-gnato 开关启用它。因此，当整数值溢出时，它最终会变为 0，这就是您所看到的（输出速度太快，无法看到初始数字）。

使用-gnato 编译应该会在执行时出现约束错误。您也可以通过执行生成一行可执行文件

gnatmake -gnato compute.adb