Ada 编程/Ada 2005

这是对Ada 2005主要功能的概述，Ada 2005 是 Ada 标准的版本，于 2007 年 1 月由 ISO 接受（为了与之前的版本 Ada 83 和 Ada 95 区分，Ada 2005 的非正式名称通常被大家接受）。有关其基本原理和更详细（且非常技术性）的描述，请参阅修正案，该修正案是对 Ada 参考手册的修正，链接到每个 Ada 问题文档（AI）的最新版本。

尽管该标准现已发布，但并非所有编译器都能够处理它。以下免费软件编译器已经实现了其中许多新增功能：

GNAT GPL 版
GCC 4.1
GNAT Pro 6.0.2（AdaCore 支持的版本）是完整的实现。

下载并安装它们中的任何一个后，请记住在编译 Ada 2005 代码时使用 -gnat05 开关。请注意，在 GNAT GPL 2007 版中，Ada 2005 是默认模式。

语言特性

字符集

Ada 2005 不仅支持新的 32 位字符类型——称为Wide_Wide_Character——而且源代码本身也可以使用此扩展字符集。因此，例如，俄罗斯人和印度人将能够在标识符和注释中使用他们的母语。数学家也会欣喜若狂：整个希腊语和弗拉克图尔字符集都可以在标识符中使用。例如，Ada.Numerics 将扩展为包含一个新的常量

π : constant := Pi;

这不是一个新想法——GNAT 始终拥有-gnatic编译器选项来指定字符集 [1]。但是现在这个想法已经成为标准，所以所有 Ada 编译器都需要支持 Unicode 4.0 用于标识符——正如新标准要求的那样。

另请参阅

接口

接口允许以类似于 Java 和 C# 的有限形式实现多重继承。

您可以在此处找到完整的描述：Ada 编程/面向对象。

另请参阅

联合

除了 Ada 的安全变体记录之外，现在还提供了未检查的 C 样式联合。

您可以在此处找到完整的描述：Ada 编程/类型/记录#联合。

另请参阅

With

With 语句得到了巨大改进。首先，有新的有限 with，它允许两个包相互 with。然后有私有 with，它使包仅在规范的私有部分中可见。

另请参阅

访问类型

非空访问

访问类型定义可以指定访问类型永远不能为 null。

请参阅 Ada 编程/类型/访问#空排除。

另请参阅：AI95-00231-01 访问常量参数和空排除访问子类型

匿名访问

匿名访问类型的可能用法已扩展。它们几乎可以在每个类型或对象定义中使用，包括访问子程序参数。匿名访问类型也可以指向常量对象。此外，可以将它们声明为非空。

通过在包标准中添加以下操作，可以测试匿名访问类型的相等性。

   function "=" (Left, Right : universal_access) return Boolean;
   function "/="(Left, Right : universal_access) return Boolean;

请参阅 Ada 编程/类型/访问#匿名访问。

另请参阅

语言库

容器

语言库中的一项重大新增功能是用于容器的泛型包。如果您熟悉 C++ STL，那么在使用 Ada.Containers 时，您可能会感觉非常熟悉。不过，有一点要注意：Ada 是一种块结构语言。许多关于如何使用 STL 的想法都利用了语言的这一特性。例如，可以向迭代方案提供局部子程序。

原始的 Ada 问题文本 AI95-00302-03 容器库现已转换为 A.18 容器 (带注释的)。

如果您了解如何编写 Ada 程序，并且需要使用向量、列表、集合或映射（表），请查看上面提到的 AI95-00302-03 AI 文档。文档中有一个 !示例 部分详细解释了容器的使用。 Matthew Heaney 在他针对 AI-302 的参考实现中提供了一些演示程序（Ada.Containers），您可以在 tigris 上找到它们。

在 Ada 编程/容器中，您会找到一个使用容器的演示。

历史旁注：C++ STL 借鉴了 David R. Musser 和 Alexander A. Stepanov 的工作。他们曾在一些泛型编程研究中使用 Ada 83。 Stepanov 文件集提供了一些出版物。