无约束类型泛型不具有软件扩展性。
只有具有类型约束的泛型才具有软件扩展性。
具有约束的类型，在泛型结构的体系中才有活力。这个活力原因它的部分确定性，以及泛型机制与这部分确定性发生联系。
无约束类型，在泛型机制中只能用指针、引用等与类型无关的特性与泛型机制发生联系；从而限制了它的扩展性和灵活性。
无约束类型从某种意义上来说是最强约束。以为它只能以指针和引用的形式参与泛型机制的组织。
从某种意义上说，面向可扩展的泛型编程就是面相类型约束编程。