ada - 如何传递判别式 ada 的持续时间？

Question

我正在研究 ADA，试图掌握它。不过，我仍然很难弄清楚判别部分。我有一个判别式的任务，我正在尝试将持续时间传递给它。然而它告诉我:

package Procedures is
   task type WhatchDog(dur : Duration := 1.0) is
      entry Reset(start : in Time);
      entry Sync(timedOut : out Boolean);
   end WhatchDog;
end Procedures;

with Procedures;
procedure Main is
   watch : Procedures.WhatchDog(dur => 0.5);
begin
   null;
end Main;

Discriminants must have a discrete or access type.

当我将判别类型更改为访问类型时，

task type WhatchDog(dur : access Duration := 1.0) is

它给了我以下警告:

Expected an access type with designated type "Standard Duration"

Found type universal real

我知道还有其他方法可以实现构造函数，例如创建入口点。但我想知道我在这里做错了什么，并了解我正在犯的错误。到目前为止我所做的谷歌工作并没有真正阐明这一点，并且只使用了看起来工作正常的真实类型。这里例如: http://www.adaic.org/resources/add_content/docs/95style/html/sec_6/6-1-3.html

Answer 1

在您尝试的解决方法中，您试图为访问分配持续时间。如果那样做，正确的分配是:

task type WatchDog (Dur : access Duration := new Duration'(1.0)) is

以永远不会释放的分配为代价，即轻微的内存泄漏。如果您在长期程序中创建/销毁任务类型的许多实例，那可能会出现问题，但在这种情况下，您还必须注意收割任务(至少在 Gnat 中)。

在这种情况下，我要么有第一个条目将 Duration 值传递给任务，要么有一个以毫秒为单位的值(或任何合适的值)，使用 Natural 作为判别式，并将其转换到任务中。这当然是语言中的痒。