Ada 程式設計/關鍵字/use

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

Use 子句

Use 子句有兩種版本：use_package_clause 和 use_type_clause。

在庫級別

此 use_package_clause 使 包 的內容直接可見。如果應用在庫級別，它的作用範圍是整個庫單元。

Use 子句不會隱藏任何原本無需它就能直接可見的內容。在某個範圍內生效的所有 use 子句都處於同一級別：來自不同包的兩個同音異義詞仍然必須作為選定元件進行命名。

with Ada.Text_IO;   use Ada.Text_IO;

procedure Hello is
begin
   Put_Line("Hello, world!");
   New_Line;
   Put_Line("I am an Ada program with package use.");
end Hello;

如果可讀性是你的主要關注點，那麼你應該避免使用這種 use 子句。要麼使它更區域性化，要麼使用 use_type_clause。

在宣告級別

效果與上面相同，但作用範圍是直接包含的宣告區域。

檔案：hello_world_3.adb (檢視, 純文字, 下載頁面, 瀏覽所有)

with Ada.Text_IO;

procedure Hello is
   use Ada.Text_IO;
begin
   Put_Line("Hello, world!");
   New_Line;
   Put_Line("I am an Ada program with package use.");
end Hello;

對於型別

Use 型別子句有兩種版本。

use type Type_Name;

使型別的運算子直接可見。

use all type Type_Name;

使型別的基本操作直接可見。

表示子句

關鍵字for, use 和at 用於表示子句。

記錄表示子句指定記錄的 佈局 方面。

列舉表示子句指定列舉型別的 編碼 方面。

參見 Ada 程式設計/表示子句。

參見

華夏公益教科書

• Ada 程式設計
• Ada 程式設計/關鍵字

Ada 參考手冊

• 2.9: 保留字 ^[註釋]
• 附錄 P:（資訊性）語法摘要 ^[註釋]

• 8.3: 可見性 ^[註釋]
• 8.4: Use 子句 ^[註釋]
• 13.3: 操作和表示屬性 ^[註釋]
• 13.4: 列舉表示子句 ^[註釋]
• 13.5.1: 記錄表示子句 ^[註釋]

Ada 質量和風格指南

• 3.1.3 大寫