Печать массива целых чисел приводит к странному выводу в Аде

В mkarr вы используете 0 или отрицательное значение, чтобы отметить конец ввода, но вы не сохраняете это значение в массиве. Если какой-либо мусор, хранящийся в массиве после окончания введенных вами значений, оказывается положительным, нет никакого способа сказать, что это недопустимое значение.

В printarr, если вы встречаете 0 или отрицательное значение, вы не печатаете его, но продолжаете печатать оставшиеся положительные значения (которые являются мусором).

Если вы сохраните значение дозорного в mkarr и прекратите печать в printarr, когда встретите дозорный, программа должна работать.

Некоторые другие примечания:

A и K используются только внутри mkarr. Они должны быть локальными для mkarr.

Вы никогда не используете Ada.Containers.Vectors. Вы можете удалить соответствующие директивы with и use.

Для более продвинутого использования вы можете заставить mkarr возвращать массив, содержащий только введенные данные, сделав Vector неограниченным типом массива и возвращая срез. Еще проще определить массив фиксированной длины внутри mkarr. Разрешить произвольное количество входных данных сложнее, но Ada.Containers, вероятно, хороший способ сделать это. (Отказ от ответственности: я не смотрел на Ada.Containers.)

Расширение ответа Кейта: вам нужен результат переменной длины, поэтому более похожий на Ada способ - использовать "неограниченный множество":

type Vector is array (Positive range <>) of Integer;

Это означает, что вы можете создавать экземпляры массива любого размера, если границы положительны: 1 .. 100, 42 .. 43 и т. д. Вы даже можете создать массив нулевой длины, указав последнюю границу ( называется ’Last) меньше первого (называется ’First). В этом особом случае вам разрешено использовать ’Last за пределами диапазона типа индекса (в данном случае 0 или даже -42, если вы хотите запутать людей!).

function mkarr return Vector is

У нас должен быть фактический массив для накопления значений, поэтому установите верхний предел 100.

   Result : Vector (1 .. 100);

Нам нужно знать, сколько элементов.

   Last : Natural := Result'First - 1;

Более или менее, как прежде,

   K : Integer;
begin
   Ada.Text_IO.Put
     ("enter numbers to fill array, negative or 0 will stop process: ");
   for I in Result'Range loop

Мы можем вернуть массив, содержащий не более Result’Length элементов.

      Ada.Integer_Text_IO.Get (K);
      if K > 0 then

Мы можем добавить еще один элемент.

         Last := Last + 1;
         Result (Last) := K;
      else

Элементов меньше 100, поэтому верните только этот фрагмент.

         return Result (Result'First .. Last);
      end if;
   end loop;

Мы накопили 100 результатов, поэтому верните их все.

   return Result;
end mkarr;

Как отмечено здесь, в вашем примере упоминается Ada.Containers.Vectors без дополнительной ссылки на пакет. Если вы ищете такое решение, обсуждайте его здесь, вы можете сначала создать универсальный пакет Vectors, чтобы получить изменяемый размер контейнера целых чисел:

package Integer_Container is new Vectors (Natural, Integer);

Ваша функция для создания массива может затем объявить Vector с именем A и инициализировать его элементы и длину определенными значениями:

function Make_Array (Size : Count_Type) return Vector is
A : Vector := To_Vector (New_Item => -1, Length => Size);
…

Вы можете использовать итерацию< /a> в Ada 2012, чтобы упростить сбор данных в Make_Array:

for E of A loop
   Get (K);
   if K > 0 then
      E := K;
   else
      exit;
   end if;
end loop;

for E of A loop
   Put (E, 4);
end loop;

Print_Array (Make_Array (42));

Дополнительную информацию можно найти здесь и < href="https://stackoverflow.com/search?tab=votes&q=%5Bada%5D%20Ada.Containers.Vectors">здесь.