Visual C++.NET 2005中的STL简介
2006-11-20 21:31
399 查看
【导读】在STL.NET的设计中,STL的实现使用了CLI泛型和C++模版机制。2005版本的C++将加入C++/CLI动态编程的支持,应当会成为最能够满足程序员设计的语言。 |
给予程序员丰富的选择
总共有三个容器库可供程序员用于操作CLI类型,这三个容器库建于三种类型参数化模型之上。
原先元素类型存储的Systems::Collection 库是基于CLI类型中的对象基类来实现的。如下的 ArrayList实现了IList接口。它代表类型对象的数组,在本例中用于控制String类型的元素。(这里采用版本2的语法来实现)
void objectCollection() { using namespace System::Collections; ArrayList ^as = gcnew ArrayList; as->Add( "Pooh" ); as->Add( "Piglet" ); as->Add( "Eeyore" ); as->Add( "Rabbit" ); as->Sort(); Console::WriteLine( "ArrayList holds {0} elements: ",as->Count ); for ( int i = 0; i < as->Count; i++ ) Console::WriteLine( as[ i ] ); int index = as->IndexOf( "Pooh" ); if ( index != -1 ) { //需要一个清晰地downcast String^ item = safe_cast( as[ index ]); as->RemoveAt( index ); } as->Remove( "Rabbit" ); Console::WriteLine( "/nArrayList holds {0} elements: ",as->Count ); IEnumerator^ is = as->GetEnumerator(); while ( is->MoveNext() ) Console::WriteLine( is->Current ); } |
STL.NET提供了一个与以往设计风格迥异的类型参数化模型,我们将在下个话题中谈到 。下面是String容器的实现。
#include #include void stlCollection() { vector ^svec = gcnew vector; svec->push_back("Pooh"); svec->push_back("Piglet"); svec->push_back("Eeyore"); svec->push_back("Rabbit"); //泛型算法:sort sort( svec->begin(), svec->end() ); Console::WriteLine( "Collection holds {0} elements: ",svec->size() ); for ( int i = 0; i < svec->size(); i++ ) Console::WriteLine( svec[ i ] ); //泛型算法:find vector::iterator iter = find( svec->begin(), svec->end(), "Pooh" ); if ( iter != svec->end() ) { //不需要downcast…… String ^item = *iter; svec->erase( iter ); } //泛型算法: remove…… remove( svec->begin(), svec->end(), "Rabbit" ); Console::WriteLine( "/nCollection holds {0} elements:",svec->size() ); IEnumerator ^is = svec->GetEnumerator(); while ( is->MoveNext() ) Console::WriteLine( is->Current ); } |
在我们深入STL.NET之前,让我们首先来简要地回答一个不可避免的问题:Visual C++程序员为什么要选用STL.NET容器类而不是语言中立的系统:Collections或者System::Collections::Generic 库?
立即放弃System::Collections库和Visual Studio 2005决定提供泛型裤的原因是一样的:由于类型信息的丢失,经常会造成参数化对象模型非常的复杂并且不安全。在简单的使用中,例如在容器中装有16个或者更少的元素,进行冒泡排序的时候还可以使用。但当你的应用程序涉及到真实世界的问题的时候,你就必须要提供一个更为完善的解决方案了。
所以,STL.NET和System::Collections::Generic库便成为如Visual C++这样的系统级程序设计语言的备选方案。为什么Visual C++程序员应当偏爱于STL.NET呢?这不就使我们的程序与其他的.NET语言隔离开了么?这是一个很现实的问题,并且也值得作出一个答复。
回复之一是“可扩展性(extensibility)”。最初STL的设计模式是由Alex Stepanov发明的, 他将算法和容器存放在了不同的域空间中。这样用户就可以将所有容器都适用的算法添加到算法集当中去,或者将每个算法都可以应用的容器添加到容器集当中去。泛型库是一个更为传统的模型。这就引出了我们第二个回复。
第二个回复是“统一性(unification)”。现在正在使用C++的程序员使用这个库和现有的代码的水平已经达到了专家水准。我们不仅仅希望能够提供一个对现有代码迁移的途径,同时也希望使程序员们积累下来的专家经验仍然适用。如果在你原来进行C++编程的时候依赖于STL,并且很难想象一个C++程序员不依赖于STL,那么它在.NET中的消失会使你感到是一个很大的失误—至少这是我曾经的体会。与我曾经交流过的很多C++专家都曾经提到过这个问题,并且因此表示对迁移到.NET持保留态度。
第三个回复是“性能”。但是C++程序员对于讨论性能这个话题早已显得不愿意再提这些陈词滥调,我这里只是一笔带过—在后续的文章中将深入讨论。
最后问题是。这些做的都非常棒并且非常好Stan, 但是这不是将C++程序员和C++/CLI程序与.NET社群的其它部分隔阂开了么?对于这个问题的回答,我认为是一个非常简单的“不”。STL.NET的体系架构师,包括Anson Tsao, Martyn Lovell, 和P.J. Plauger, 已经非常慎重地考虑了这个问题,通过对IEnumerator, IList, 和ICollection的支持,我们对于STL.NET能够和其它.NET 语言共同操作的能力非常有信心。我们将在后续的系列文章中深入的讨论。
定义一个公共基础
深入了解并使用STL.NET的方法有两种:一种途径是可以通过了解STL和STL.NET的区别来掌握。另外一种途径是通过了解他们有哪些共性。虽然那些有STL丰富使用经验的人来说似乎需要一张“区别清单”,然而这并不能使你从那些不熟悉的库的乌烟瘴气中逃离出来,所以说,当我们放慢脚步,深入这些或那些容器以及他们是如何与系统集合库(System collection libraries)互操作等这样的深奥角落的时候—虽然这些都是非常整洁优雅的,但我们直接的去了解这些新的内容不是更好么?至少在下面的简短介绍部分我希望大家是这样做的。通过这种方法,对于那些新手来说就可以对STL和STL.NET提供的参数化集合的扩展模型有一个了解。
那么STL和STL.NET都有哪些共性呢?这两者都包括两个主要的组件:顺序式(Sequential)和关联式(associative)容器类型,以及一个泛型算法集。(是的,如果你是一个经验丰富的STL开发者,你就应当知道我下面要讨论什么。同样,两者具有同样的术语和背景,所以你得耐心点。) 泛型算法不直接操作容器类型。取而代之的是,我们使用了一个迭代器来成对的标识用于操作的元素范围。元素范围符号(正式的术语为左包含区间)如下所示:
// 读作:包含first直至但是不包括last [ first, last ) |
顺序式容器中存储了单独类型元素的序列集。vector和list类型是两个主要的顺序式容器。(第三个顺序式容器是deque—发音deck—提供了vector同样的功能,但是用于对高效插入和删除第一个元素这种特殊情况。一般我们首选deque而不是vector,例如一个队列的实现。)
我们在访问一个连续容器类型之前,我们必须包含进合适的头文件,如下所示:
#include #include #include |
关联式容器(associative container)支持对现有元素的显示和检索的高效查询。关联式容器类型中最主要的两个就是map和set。Map是一个key(键)/value(值)对:key用于查询,value用于存储和检索数据。举个例子来说,电话号码簿可以用map简单地表示出来:key是每一个人的名字,value是相关联的电话号码。
map使用带下划线的树抽象来按照值升序排列条目。hash_map容器能够进行更为高效的检索排序。尽管如此,hash_map迭代也是某种程度上随机地访问元素。如果检索是map中的主要活动,就应首选hash_map容器。
set包含一个单键值(key value) 并且支持元素是否存在的高效查询。例如,文本查询系统在建立文本词库的时候可能需要建立一个常用词语集并将之排除在文本外,例如the, and, but, 等等。程序将轮流的读取文本中的每一个词,检查它是否是拒绝接纳词汇集中的词汇,根据查询的结果,或者是忽略这个词,或者是将之存入数据库。除了set以外,还有hash_set 容器,它与map和hash_map有相同的特性。
map和set只能包含一个键(key)。multimap和multiset 支持出现多个同样的键。还以我们的电话号码簿为例,我们可能需要将一个人列在多张表中。在这种情况下,我们就要使用multimap。同样也存在hash_multimap和hash_multiset。
与这些容器类型相关联的头文件如下所示:
//用于map和multimap #include //用于set和multiset #include //用于hash_map和hash_multimap #include //用于hash_set和hash_multiset #include |
让我们通过一个实例来具体地讨论一下。下面的例子实现了文本词汇统计。它展示了map, hash_set, 和vector的使用。函数声明如下:
map^ build_word_count( vector^>^ words, array ^common_words ) |
由于很多“帽子”和右中括号间隔出现,这看起来相当的复杂。我们可以使用typedef从文字上化简一下:
typedef array^ words; typedef vector^ text; |
map^ build_word_count( text theText, words common ) |
数组元素中的第一个直至有效的最后一个元素的地址装入hash_set的构造函数为元素装入hash_set提供了同等的机会。这两个地址为hash_set 构造函数的迭代提供了一个元素范围,轮流的将它们插入容器中。这就是我在这部分开始提到的迭代器的范围。
实现的第2部分便是文本处理。因为我们还没有看到官方正式发布的迭代器,我们现在仍然使用for循环来遍历vector。我们将使用for each语句来遍历vector的每一个数组元素。这就是如上所述的代码:
//循环的访问每一个数组 for ( int ix = 0; ix < theText->size(); ++ix ) { for each ( String^ wd in theText[ ix ] ) if ( common->find( wd ) == common->end() ) word_map[ wd ]++; } // 不要忘记返回结果…… return word_map; |
每一个容器都提供begin()和end()成员函数。begin()返回给容器中first元素一个迭代器。正如我前面说到的,end()返回给容器中last元素一个迭代器。举例如下,下面的程序中展示了我们如何声明两个迭代器并且用这两个成员函数初始化它们,
vector::iterator first = theText->begin(); vector::iterator last = theText->end(); |
for ( ; first != last; ++first ) |
我们通过反引用(*)操作符访问迭代器涉及到的元素。例如,为了重新获得我们的向量(vector)的每一个CLI数组元素,我们在上述的for循环体中写入下面的代码,
array ^as = *first; |
算法的选择
泛型算法为这些容器类型和两个内置数组类型的元素提供了操作。这些操作包括Search (find, count), Sort (merge, partition, permutate, reverse, rotate, shuffle, sort), Deletion/Subtitution (remove, replace, swap, unique), Copy, Relational (equal, min, max, includes), Generate (fill, for-each, generate, transform), Set (union, intersection, difference), Heap (make, sort, pop, push), 以及很多深奥的数字操作,例如积分,部分求和,内积(inner product),和临差(adjacent difference)。
在我们使用泛型算法前,当然,我们必须包含进相应的头文件。除了数字算法之外的其它所有算法,我们都这样写:
#include |
#include |
你可能会想,天哪,Stan,这些不应当写作吗?毕竟,这是容器头文件的验证方法。如果那样写的话不是有点弄巧成拙么?令人吃惊的是,答案是“不”。我说令人吃惊的是因为STL和STL.NET中采用了相同的实现方法。天哪,我们讨论到了代码重用去了!
好的。让我们看看如何使用这些算法。举例来说,让我们在将字符串元素数组插入map之前对它们进行排序。我们将使用sort()泛型算法来实现它。对于所有的泛型算法,参数几乎都是迭代器对构成的范围:
sort( &as[0], &as[ as->Length ] ); |
//泛型算法:find vector::iterator iter = find( svec->begin(), svec->end(), "Pooh" ); if ( iter != svec->end() ){ ... } //泛型算法:remove…… remove( svec->begin(), svec->end(), "Rabbit" ); |
相关文章推荐
- Building Automated Trading Systems: With an Introduction to Visual C++.NET 2005
- Compiling FlightGear 1.0.0 with Visual C++.net 2005
- Visual C++.NET中的字符串转换方法
- WINX发布新版本,支持Visual C++ .NET 2003
- Visual C# 2008+SQL Server 2005 数据库与网络开发-- 10.6 XML和ADO .NET
- 如何使用 WebBrowser 控件在 Visual C# 2005 或 Visual C# .NET 中打开 Office 文档
- Visual C++.NET编程讲座之三
- 官方水晶报表.NET 应用程序实例下载(C#、Visual C++.NET)
- [引]Microsoft Visual Studio .NET 2005 预发行版
- 如何在 Visual C++.NET 2003 下编译eMule
- [引用]SQL Server 2005 Books Online How to: Create a Job with Steps and a Schedule in Visual Basic .NET
- visual studio .net 2005 sp1 发布,立即安装!
- C++STL容器简介
- Visual Studio .Net 2005 Colors
- Microsoft ship Visual Studio 2005 and .NET 2.0
- c++ stl 组件 简介
- Visual C++.NET GDI+编程基础
- 理解Visual C++.NET定制MFC应用程序(四)
- C++的标准模板库(STL)简介
- 关于Visual Basic.NET 2005教程(附光盘)的读后感