VC++20057泛型编程.pptVIP

QA 如需提出问题，请单击“提问”按钮并在随后显示的浮动面板中输入问题内容。一旦完成问题输入后，请单击“提问”按钮。 * VC++ 2005 (5)：泛型编程 李建忠 上海祝成科技 高级讲师 2005年6月20日 Agenda C++/CLI泛型编程概览 CLI泛型介绍 CLI泛型适用对象 CLI泛型约束 CLI泛型与C++模板 讲座总结 QA 泛型编程简介 所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式，它利用“参数化类型”将类型抽象化，从而实现更为灵活的复用。 泛型编程意味着一种新的抽象性质，从本质上来讲，它是数据类型的一组需求条件。 (摘自《Generic Programming and the STL》 Matthew H. Austern) 泛型编程不是容器编程！ C++/CLI泛型编程 C++/CLI支持两大泛型机制，三种泛型应用 编译时泛型——ISO-C++模板 编译时实例化 基于签名的隐式约束 运行时泛型——CLI泛型 运行时实例化 基于“基类+接口”的显式约束 C++/CLI三种泛型应用 在ISO-C++本地类型上应用模板（编译时泛型） 在CLI托管类型上应用模板（编译时泛型） 在CLI托管类型上应用CLI泛型（运行时泛型） C++/CLI所支持的泛型程序库 标准模板库 STL CLI标准模板库 STL.NET CLI泛型库 System::Collections::Generic Agenda C++/CLI泛型编程概览 CLI泛型介绍 CLI泛型适用对象 CLI泛型约束 CLI泛型与C++模板 讲座总结 QA 初识CLI泛型 generic typename T // 声明一个泛型栈 public ref class Stack { public: T Pop(); void Push(T t); int Size(); ... }; StackString^ ^ sStack; // 使用String^ 实例化泛型栈 Stackint ^ iStack; //使用int实例化泛型栈 了解CLI泛型机制 第一轮编译时，编译器只为StackT类型产生“泛型版”的IL代码与元数据——并不进行泛型类型的实例化，T在中间只充当占位符 JIT编译时，当JIT编译器第一次遇到StackString^时，将用String^替换“泛型版”IL代码与元数据中的T——进行泛型类型的实例化。 CLI为所有类型参数为ref class的泛型类型产生同一份代码；但是如果类型参数为value class，针对每一个不同的value class，CLI将为其产生一份独立的代码 CLI泛型机制特点 由于CLI泛型类型的实例化会推迟到JIT编译阶段进行，因此未经实例化的泛型类型会存在于编译生成的程序集（assembly）中，成为一个类型实体 如果实例化泛型类型的参数相同，那么JIT编译器会重复使用该类型，因此CLI泛型可以避免C++模板可能导致的代码膨胀问题。 CLI泛型类型携带有丰富的元数据，因此可以通过反射来获取程序集中的泛型类型的相关信息 Agenda C++/CLI泛型编程概览 CLI泛型介绍 CLI泛型适用对象 CLI泛型约束 CLI泛型与C++模板 讲座总结 QA CLI泛型适用对象 CLI泛型适用于四种对象： CLI托管类型（包括引用类型与值类型） CLI接口类型 CLI委托类型 函数（成员函数，全局函数） CLI泛型不适用于: ISO-C++本地类型——本地类型没有CLI泛型的条件：元数据描述信息 CLI属性、事件、索引器、操作符 CLI泛型类 //泛型栈 generic typename ItemType ref class Stack { public: void Push(ItemType item) {…} }; //泛型哈希表 generic typename KeyType, typename ValueType ref class HashTable { public: void Add(KetType key, ValueType value){…} }; 在类型参数上调用成员 generic typename T ref class MyCollection { public: T t; void method(){ Console::WriteLine(t-ToString()); } }; 在形式上默认t为追踪句柄，因此使用t-ToString() 而非t.T