更多關於包裹

Hello World 中 ,你瞭解了 Ada.Text_IO 包,以及如何使用它來執行程式中的 I / O 操作。可以進一步操作包以執行許多不同的操作。

重新命名 :要重新命名包,請在包宣告中使用關鍵字 renames,如下所示:

package IO renames Ada.Text_IO;

現在,使用新名稱,你可以對 Put_Line(即 IO.Put_Line)等功能使用相同的點分表示法,或者你可以使用 use IO 來實現它。當然,說 use IOIO.Put_Line 將使用包 Ada.Text_IO 中的功能。

可見性和隔離 :在 Hello World 示例中,我們使用 with 子句包含了 Ada.Text_IO 包。但我們也宣稱我們希望在同一條線上使用。use Ada.Text_IO 宣告可能已被移入過程的宣告部分:

with Ada.Text_IO;
 
procedure hello_world is
   use Ada.Text_IO;
begin
   Put_Line ("Hello, world!");
end hello_world;

在此版本中,Ada.Text_IO 的程式,功能和型別可直接在程式中使用。在宣告使用 Ada.Text_IO 的塊之外,我們必須使用點分表示法來呼叫,例如:

with Ada.Text_IO;
 
procedure hello_world is
begin
   Ada.Text_IO.Put ("Hello, ");       --  The Put function is not directly visible here
   declare
      use Ada.Text_IO;
   begin
      Put_Line ("world!");            --  But here Put_Line is, so no Ada.Text_IO. is needed
   end;
end hello_world;

這使我們能夠將 use …宣告隔離到必要的位置。