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 大写