Question

我在Ada并发编程中遇到问题。我必须在Ada中编写一个简单的程序来创建N个相同类型的任务，其中N是键盘的输入。问题是我必须在编译之前知道N ... 我试图声明一个单独的类型：

TYPE my_arr IS ARRAY(INTEGER RANGE <>) OF some_task;

以及稍后在主要程序的BEGIN部分：

DECLARE arr: my_arr(1 .. N);

但我收到了错误

数组声明中的无约束元素类型

其中（我认为）意味着任务类型some_task的大小未知。有人可以帮忙吗？

Answer 1

这是对原始答案的重写，现在我们知道了任务类型问题是有区别的。

您通过没有默认值的'discriminant'将值传递给每个任务，这使得任务类型不受约束;如果没有为判别式提供值，则不能声明该类型的对象（并且提供默认值将无济于事，因为一旦创建了对象，则无法更改判别式。）

一种常见的方法是使用访问类型：

with Ada.Integer_Text_IO;
with Ada.Text_IO;
procedure Maciek is
   task type T (Param : Integer);
   type T_P is access T;
   type My_Arr is array (Integer range <>) of T_P;
   task body T is
   begin
      Ada.Text_IO.Put_Line ("t" & Param'Img);
   end T;
   N, M : Integer;
begin
   Ada.Text_IO.Put ("number of tasks: ");
   Ada.Integer_Text_IO.Get (N);
   Ada.Text_IO.Put ("parameter: ");
   Ada.Integer_Text_IO.Get (M);
   declare
      --  Create an array of the required size and populate it with
      --  newly allocated T's, each constrained by the input
      --  parameter.
      Arr : My_Arr (1 .. N) := (others => new T (Param => M));
   begin
      null;
   end;
end Maciek;

完成后，您可能需要取消分配new个任务;在上面的代码中，任务的内存在从declare块退出时泄露。

Answer 2

在'declare block'中分配它们，或者动态分配它们：

   type My_Arr is array (Integer range <>) of Some_Task;

   type My_Arr_Ptr is access My_Arr;

   Arr : My_Arr_Ptr;

begin
   -- Get the value of N

   -- Dynamic allocation
   Arr := new My_Arr(1 .. N);

   declare
      Arr_On_Stack : My_Arr(1 .. N);

   begin
      -- Do stuff
   end;

end;

Answer 3

如果在运行时确定要执行多少任务，则可以将其作为命令行参数传递。

with Ada.Text_IO; use ADA.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Command_Line;
with Ada.Strings;

procedure multiple_task is

    No_of_tasks : Integer := Integer'Value(Ada.Command_Line.Argument(1));

    task type Simple_tasks;

    task body Simple_tasks is
    begin
        Put_Line("I'm a simple task");
    end Simple_tasks;

    type task_array is array (Integer range <>) of Simple_tasks;

    Array_1 : task_array(1 .. No_of_tasks);

begin
   null;

end multiple_task;

并以

运行

> multiple_task.exe 3
I'm a simple task
I'm a simple task
I'm a simple task

ADA：多项任务

3 个答案: