Ada语言宝书课程#3：Ada 2005 受限类型— 构造函数

宝书课程 #3: Ada 2005 受限类型— 构造函数

by Bob Duff—AdaCore

Translator:Dongfeng.Gu

让我们开始…

考虑到Ada2005允许受限类型的现场集合(声明)，下一步显然是要将这样的集合包装到抽象中--有名的，从函数返回它们。毕竟，有趣的类型通常是私有的，我们也需要一些方法让客户端创建和初始化对象。

   package P is

      type T (<>) is limited private;

      function Make_T (Name : String) return T; – constructor function

   private

      type T is limited

         record

            Name : Unbounded_String;

            My_Task : Some_Task_Type;

            My_Prot : Some_Protected_Type;

         end record;

   end P;

   package body P is

      function Make_T (Name : String) return T is

      begin

         return (Name => To_Unbounded_String (Name), others => <>);

      end Make_T;

   end P;

在Ada95中，受限类型不能允许有构造函数(就是函数创建新对象并返回它们)。Ada2005则允许完全通用的构造函数。鉴于上述，客户端可以这样说：

    My_T : T := Make_T (Name => "Bartholomew Cubbins");

对于集合，Make_T的结果是现场生成的(就是在My_T对象中)，而不是先创建而后复制到My_T中增加另一层次的函数调用，我们可以这样做：

   function Make_Rumplestiltskin return T is

   begin

       return Make_T (Name => “Rumplestiltskin”);

   end Make_Rumplestiltskin;

   Rumplestiltskin_Is_My_Name : constant T := Make_Rumplestiltskin;

这可能有助于理解实现模型:在这种情况下，Ruplestaltskin _ Is _ My _ Name是以通常的方式分配的(在栈上，假设它被声明到某个子程序的本地)。它的地址作为一个额外的隐式参数传递给Make_Rumplestaltskin，然后将相同的地址传递给Make_T，接着在那个地址现场创建集合。受限对象绝对不能被拷贝！在这种情况下，Make_T将初始化成员Name，并创建My_Task和My_Prot成员，所有这些成员都直接(被创建)在Ruplestaltskin_Is_My_Name中。

注意Rumplestiltskin_Is_My_Name是个常量。在Ada95中，无法创建一个常量的受限对象，因为没有初始化(受限对象)的方法。

类似于在Ada95中，类型T中的“(<>)”意思是从客户端角度看它有“未知的判别式”。这是一个防止客户端创建默认初始化对象的技巧（就是，“X:t;”是非法的）。因此，客户端每当创建T类型对象的时候必须调用Make_T，给与包P对于初始化对象的完全控制。

理想情况下，受限类型和非受限类型应该是相同的，除了本质区别:你不能复制受限对象。Ada2005中允许受限类型的函数与集合使我们非常接近这个目标。一些语言有一个特殊的特征叫做构造函数。在Ada中，构造函数就是一个创建新对象的函数。除了在Ada95中，这仅用于非受限类型。对于受限类型，唯一的实现构造函数的方法是通过默认值的声明，这将把你限制在一个构造函数中。将参数传递给该构造函数的唯一方法是通过判别式。在Ada2005中，我们可以说:

 

   This_Set : Set := Empty_Set;

   That_Set : Set := Singleton_Set (Element => 42);

Set是否受限，语句“This_Set : Set := Empty_Set;” 对于我来说看起来比如下语句更清楚：

   This_Set : Set;

(该语句)这可能意味着“默认初始化为空Set”或者可能意味着“暂时先不初始化，我们之后再初始化它”。