Question

我正在努力在Ada中实现一个主要的分解函数。我需要从calc_prime_numbers返回一个Vector。我正试图将该矢量存储在Y中。但是，每当我编译时，编译器都会说prime.adb:40:07: subtype mark required in this context。我不确定这意味着什么。子类型需要什么意思？我该如何解决？

with Ada.Text_IO, Ada.Integer_Text_IO, Ada.Containers.Vectors;
use Ada.Text_IO, Ada.Integer_Text_IO, Ada.Containers;

procedure Prime is
   package Integer_Vectors is new Vectors(Natural, Integer);

   function Is_Prime(I : Integer) return Boolean is
      J : Integer := 2;
   begin
      for J in 2 .. I-1 loop
         if I mod J = 0 then
            return False;
         end if;
      end loop;
      return True;
   end Is_Prime;

   function calc_prime_numbers(n : Integer) return Integer_Vectors.Vector is
      i : Integer := 0;
      m : Integer;
      Numbers : Integer_Vectors.Vector;
   begin
      m := n + 1;
      while (true) loop
         i:=i + 1;
         if Is_Prime(i) then
            Integer_Vectors.Append(Numbers, i);
            Put(Integer'Image(i) & " + ");
         end if;
         if i = m then
            exit;
         end if;
      end loop;
      New_Line;
      return Numbers;
   end calc_prime_numbers;

   X : Integer;
   Y : Integer_Vectors; — line 40

begin
   while (true) loop
      Get(X);
      if Is_Prime(X) then
         Put(Integer'Image(X) & " is prime.");
      else
         Put(Integer'Image(X) & " is not prime.");
      end if;
      New_Line;
      Y := calc_prime_numbers(X); — line 40

   end loop;
end Prime;

Answer 1

错误消息中的行号与您粘贴的代码不符，并且您没有指明第40行的位置，因此我不得不猜测：

您实例化一个名为Integer_Vectors的包。稍后您声明变量Y : Integer_Vectors;。因此，编译器会抱怨，因为它需要变量的类型，而您提供了包的名称。

子类型标记在此上下文中是必需的 - Ada

1 个答案: