在Ada中，Unconstrained arrays指的是数组大小未提前定义的数组。虽然在某些情况下使用不受限制的数组可以提高灵活性和可读性，但它们可能会导致运行时错误。但是，可以通过使用许多技巧来确保使用不受限制的数组的安全性。

以下是使用不受限制的数组的安全示例：

with Ada.Text_IO; use Ada.Text_IO;

procedure Unconstrained_Arrays is
  type Generic_Array is array (Integer range <>) of Integer;
  --^ Here we define a unconstrained integer array, which is parameterized
  --by a subtype of Integer (the <>) meaning 'unconstrained”).
  
  Array_1 : Generic_Array (0 .. 4) := (1, 5, 2, 4, 3);
  --^ Here we initialize a constrained array with 5 elements (0 .. 4).
  
  Array_2 : Generic_Array;
  --^ Here we declare an unconstrained array.

  procedure Print_Array (A : in Generic_Array) is
  begin
    for I in A'Range loop
      Put (A (I)'Img & " ");
    end loop;
    New_Line;
  end Print_Array;
begin
  Put_Line("Constrained array:");
  Print_Array(Array_1);
  
  Put_Line("Unconstrained array:");
  --^ if this array is initialized to an empty array, it will cause an array
  --index exception when accessed.
  Print_Array(Array_2);

end Unconstrained_Arrays;

在上面的示例中，我们在声明数组时使用了一个'范型类型”，这是一个没有指定大小的类型。我们可以使用一个范型数组类型定义一个有限制的数组（如Array_1）或一个未初始化的数组（如Array_2）。

需要注意的是，如果未初始化的不受限制的数组访问，会导致错误，因此需要确保始终为其分配正确的大小。在本例中，若未初始化的不受限制的数组访问，会导致数组索引异常。