实例解析C++/CLI中的接口与泛型

插1：例11的输出

iv1: [0:0:0:0]
iv2: [2:2:2:2:2:2:2]
iv2: [2:55:2:-15:2:6:2]
sv1: [::]
sv2: [X:X:X:X:X]
sv2: [X:AB:X:XZZ:X]
dv1: [1/1/0001 12:00:00 AM:1/1/0001 12:00:00 AM]
dv2: [4/9/2005 3:30:40 PM:4/9/2005 3:30:40 PM:4/9/2005 3:30:40 PM]
dv2: [4/9/2005 3:30:41 PM:4/9/2005 3:30:42 PM:4/9/2005 3:30:43 PM]
viv: [::]
viv: [[1:1]:[2:2:2:2]:[5:5:5]]
iv3->Equals(iv4) is True
iv3->Equals(iv5) is False
iv3->Equals(iv6) is False

实际上，不但可以定义泛型类，还可以定义泛型接口与代理。

在前面，也指出了调用泛型成员函数时的一些限制，默认情况下，一个类型参数被限定为从System::Object继承来的任意类型，也就是任意CLI类型。对泛型或函数中的类型参数，如果使用where子句，还可以施加一个或多个限定条件，见例12。

例12：

generic <typename T>
where T : ValueType
public ref class Vector
{ ... };
value class C {};
/*1*/ Vector<int>^ iv;
/*2*/ Vector<String^>^ sv; //错误
/*3*/ Vector<DateTime>^ dv;
/*4*/ Vector<Vector<int>^>^ viv; //错误
/*5*/ Vector<C>^ cv;

在本例中，编译器将允许任意有着System::ValueType类型的类型参数，或从它继承来的类型被传递给泛型。假设此时又想定义某种特定的类型，如标号2和3所示，就会出错，因为String与Vector<int>不是值类型。同样地，如果换成例13中的限定条件，那么标号5就会被拒绝，因为值类型C没有实现接口System::IComparable，而System::Int32和System::DateTime却实现了。

例13：

generic <typename T>
where T : ValueType
public ref class Vector, IComparable
{ ... };

一旦编译器知道T可以被限定为比System::Object更明确的类型，就会允许调用这些类型中的成员函数，而这些类型则可包含一个基类型或任意顺序、任意数目的接口类型。

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!