如何传递判别式 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

我知道还有其他方法可以实现构造函数，例如创建入口点。但我想知道我在这里做错了什么，并了解我正在犯的错误。 google 到目前为止我所做的工作并没有真正阐明这一点，并且只使用了看起来工作正常的真实类型。这里例如： 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

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

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

Answer 2

我不确定这是判别式的预期用途。在这里，duration 实际上是您的实例的配置，但不会影响内存中类型的布局。所以我认为最好（当然更常见）有一个可以调用的 Configure 条目来进行初始设置，或者如果确实需要在创建实例时给出它，你可以尝试使用正式的 Duration 参数创建 generic。

Answer 3

不能将1.0赋值给dur（访问判别式）是因为dur是指针类型（匿名，访问Duration）而 1.0 是数字文字。简而言之，你不能给指针变量赋一个真正的值，只能给指针变量赋一个指针值。请参阅获取一种方法。

类型Duration不是离散类型，即既不是整数也不是枚举。但是，如果判别式不是访问类型，则判别式必须是离散的，因为 .

概述了判别式的初衷。

因此，要通过为 dur 传递值来初始化任务对象的某些方面，您需要指针。下面的小重写不使用分配器 (new)，它使用持续时间值的名称，然后使用 'Access.

获取指针

package Procedures is

   Duration_By_Default : aliased constant Duration := 1.0;

   task type Whatchdog
     (dur : access constant Duration := Duration_By_Default'Access)
   is
      entry Reset(start : in Time);
      entry Sync(timedOut : out Boolean);
   end WhatchDog;
end Procedures;

with Procedures;
procedure Main is
   Desired_Duration : aliased constant Duration := 0.5;

   watch : Procedures.WhatchDog(dur => Desired_Duration'Access);
begin
   null;
end Main;

请注意将访问值指向可变持续时间而不是此处所示的恒定持续时间的含义。

或者，执行一个计算，根据某个整数判别式生成 Duration 值，例如 dur_in_msec。

task body Whatchdog is
   dur : constant Duration := Duration(Float(dur_in_msec) / 1_000.0);

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

How to pass duration for discriminant ada?

duration

ada