task - Ada 左手赋值不能是受限类型

Question

花了几个小时在这上面后我感到不知所措。

protected 类型声明:

   protected type AdditionMachine is
      procedure setTask (Item : in WorkerTask);
      procedure getTask (Item : out WorkerTask);
      procedure calculate;
   private
      machineType : String (1 .. 1) := "A";
      job : workerTask;
   end AdditionMachine;

任务:

   task body SimpleTask1 is 
     Available     : Natural := ADDITION_MACHINES;
      Elements      : array (1 .. ADDITION_MACHINES) of AdditionMachine;
   begin
     loop
        select
           when Available > 0 =>
              accept getMachine (machine : out AdditionMachine) do
                  machine := Elements(Available);
                  Available := Available - 1;
              end getMachine;
        or
            accept addMachine (machine : in AdditionMachine) do
                 Available := Available + 1;
                 Elements(Available) := machine;
              end addMachine;
        end select;
     end loop;
   end  SimpleTask1;

在 Elements(Available) := machine; 和 machine := Elements(Available); 行，我得到“左手分配不得限制类型”

我不知道如何解决这个问题，我在谷歌搜索时什么也没找到，有人可以帮忙吗？

编辑:我现在知道 protected 类型是有限的，但是如何在没有上述内容的情况下完成 protected 对象池？

Answer 1

来自 ARM 7.5 ，有限类型，

A limited type is (a view of) a type for which copying (such as for an assignment_statement) is not allowed. A nonlimited type is a (view of a) type for which copying is allowed.

但是，您可以复制对有限对象的访问权限。

所以，如果您已声明

protected type AdditionMachine is
   ...
end AdditionMachine;
type AdditionMachine_Access is access AdditionMachine;

你可以写这样的东西(我没有测试过):

task body SimpleTask1 is 
   Available : Natural := ADDITION_MACHINES;
   Elements  : array (1 .. ADDITION_MACHINES) of AdditionMachine_Access
     := (others => new AdditionMachine);
begin

当你使用完分配的对象后，你需要负责释放它们(如果程序需要无限期地运行的话)。我认为 protected 对象不会有问题(但是如果任务正在等待您解除分配的 PO 会发生什么？)，并且最近的 GNAT 可以处理解除分配任务，前提是任务具有开放的终止替代方案 ARM 9.7.1 ，或者已经终止 - 也许是被中止)。