宝书课程 #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”或者可能意味着“暂时先不初始化，我们之后再初始化它”。