function - ADA - 前后条件不起作用？

Question

我正在尝试在 ada 中学习自己的前后条件。

Answer 1

如果使用 GNAT（看起来像是 jdoodle 的默认设置），则需要启用断言。添加-gnata为命令行参数。

编辑：我对jdoodle了解不多，但它似乎不能将参数传递给编译器，只有在运行你的程序时......

相反，您可以将 a 添加pragma Assertion_Policy到您的程序中，如下所示：

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...