泛型编程、类型约束与软件扩展性--面向可扩展的泛型编程就是面相类型约束编程

无约束类型泛型不具有软件扩展性。

 

只有具有类型约束的泛型才具有软件扩展性。

具有约束的类型，在泛型结构的体系中才有活力。这个活力原因它的部分确定性，以及泛型机制与这部分确定性发生联系。

 

无约束类型，在泛型机制中只能用指针、引用等与类型无关的特性与泛型机制发生联系；从而限制了它的扩展性和灵活性。

无约束类型从某种意义上来说是最强约束。以为它只能以指针和引用的形式参与泛型机制的组织。

 

从某种意义上说，面向可扩展的泛型编程就是面相类型约束编程。