结合泛型与模板的STL.NET探索

开始之前，先来看一个笑话，当问一个C++程序员怎样完成一个给定的任务时，他（她）可能会提供一打或更多的潜在解决方案列表，但又会极其详细地标出每种方案的问题之处，让你不知所措，难以选择。而Visual C++ 2005，通过C++/CLI语言联编，引入了泛型的概念，使C++程序员可进一步提高程序的开发效率。关于 .NET泛型与C++模板，尽管句法上很相似，但泛型与模板是以完全不同的方法实现的，它们之间没有任何的内置兼容性。

　　说到泛型与模板的差别，相信每个 .NET平台的C++程序员都会问这个问题：我该选择哪种技术呢？那些已用C++进行了数年开发（特别是用Visual C++）的人，相信早已知道答案：两种技术都具有卓越的特性，但任何一者都不是另一者的超集，使用何种技术只限于给定的任务，简而言之，没有一种技术可以适用于所有情况下的解决方案。同样，这种进退两难的状况也折磨了Visual C++程序员数年：Win32或是MFC、ATL或是WTL、COM或是C风格的DLL、#import或是CComPtr。

　　涉及 .NET开发的C++知识

　　在过去，Visual C++利用某些技术手段，可使STL中的集合与其他技术协同工作，如在活动模板库（ATL）中称为CComEnuOnSTL的模板化类，它允许一个Visual Basic客户端使用For Each来枚举由C++ COM服务器提供的STL集合的内容。虽然这种层次上的集成非常之浅，但在许多受限情况下证实非常有用。基于同样的主旨，STL.NET为C++程序员提供了标准STL库的一种扩展，这种扩展可允许在一个C++/CLI程序集内部使用的STL集合，作为泛型集合暴露给其他的 .NET程序集。

　　STL.NET提供了与标准STL集合相同的接口，因此，对熟悉标准STL集合与算法的C++程序员来说，不存在学习曲线。以Visual C++ 2005来作说明，STL.NET的头文件位于Cliext目录中，如果要使用STL.NET集合，例如vector，必须包含<cliext/vector>而不是标准的<vector>，另外，STL.NET集合包含在cliext命名空间中，而不是标准STL集合所使用的std命名空间。

　　注：Visual C++开发小组仍在努力工作使STL.NET变得更易使用，并提高它的性能。因为STL.NET仍在不断地进行新的改进，本文将不会探讨STL.NET集合的过深之处，而会从一种更高的角度来看，为什么STL.NET将会大有作为。

　　桥接泛型与模板

　　桥接泛型与模板这两个不同的世界，实属一项艰巨的任务。模板只是一个C++的概念，并只存在于编译时期；然而，泛型是一个 .NET概念，它存在于已编译的程序集中，并对所有 .NET语言可用。STL.NET所使用的解决方案是把类集当作C++模板类来实现，同时C++模板类也是 .NET引用类型，并由其实现了ICollection泛型接口。STL与STL.NET中vector的声明演示了这种设计：

//STL vector 声明 template<class _Ty, class _Ax = allocator<_Ty> > class vector; //STL.NET vector 声明 template<typename _Value_t> ref class vector : Generic::ICollection<_Value_t>

　　在这两者的声明当中，有一些关键的不同之处，除泛型接口的实现之外，STL.NET vector并不能指定一个分配算符，只是简单地调用gcnew来分配一个新的所需元素。STL.NET集合声明时使用了ref关键字，这意味着它们都是 .NET引用类型，将会被分配在 .NET托管堆中。