会员登录/控制面版您的位置: 首页 >> 编程开发 >> C/C++ >> C++之父Bjarne谈C++中的STL模板

C++之父Bjarne谈C++中的STL模板

阅览次数:
文章来源: 天极
原文作者:
整理日期: 2006-05-07
发表评论

字体大小:
小
中
大

　　1.2 函数对象

　　我将介绍STL使用的一些基本的技术，它会让你了解：在普通C++机制上建立的STL是如何提供空前的灵活性和性能的。迄今为止，我们所描述的STL框架组件都有些严格。每种算法都严格地采用标准指定的方法来准确地实现某种功能。例如，我们需要查找一个与自己指定的值相等的元素。实际上，查找一个带有某些（自己指定的）属性的元素，例如小于某个给定的值、匹配某个并非简单相等的值（例如，匹配大小写无关的字符串或者在允许很小差别的情况下，匹配双精度数值），是一项很普通的事务。

　　下面的例子不是查找值7，我们将查找某些符合条件的值（也就是小于7的值）：

vector::iterator p = find_if(v.begin(),v.end(),Less_than(7));
if (p != vi.end()) {
　// 我们找到了值小于7 的元素
　// …
}
else {
　// vi 没有值小于 7 的元素
　// …
}

　　Less_than(7)是什么东西呢？它是一个函数对象，它是某个类的对象，该类带有应用程序操作符（( )），被定义成执行某个函数：

templatestruct Less_than {
　T value;
　Less_than(const T& v) :value(v) { }
　bool operator()(const T& v) const { return v};

　　例如：

Less_thanf(3.14); // Less_than 保存了双精度值 3.14
bool b1 = f(3); // b1 为真（3<3.14 是真的）
bool b2 = f(4); // b2 为假（4<3.14 是假的）

　　从2004年的情况来看，在D&E中没有提到函数对象是很奇怪的。我们应该使用一个章节来讲述它们。甚至于用户自定义的应用程序操作符（( )）的使用情况也没有提到，尽管它已经存在很长时间，并且很卓著。例如，它是几个最初的允许重载的操作符之一（在=之后），它还用于模仿Fortran下标（subscript notation）。

　　我们可以编写一个find()版本，它使用了函数对象，而不是简单的!=来检测是否可以找到某个元素。它的名字是find_if()：

template
In find_if(In first, In last, Pred pred)
{
　while (first!=last && !pred(*first)) ++first;
　return first;
}

　　我们简单地用!pred(*first)代替了*first!=val。函数模板find_if()会接受任何能够把元素值作为参数调用的对象。特别地，我们可以把普通的函数作为它的第三个参数来调用find_if()：

bool less_than_7(int a)
{
　return 7}
vector::iterator p = find_if(v.begin(),v.end(),less_than_7);

　　但是，这个例子显示了，与函数相比我们为什么更喜欢函数对象：我们可以使用一个（或多个）参数来初始化函数对象，同时函数对象可以保持这些信息供以后使用。函数对象可以保持任何状态。这样就可以形成更通用、更优良的代码。如果我们需要，我们以后可以检查它的状态。例如：

templatestruct Accumulator { // 保持 n 个值的总和
T value;
int count;
Accumulator() :value(), count(0) { }
Accumulator(const T& v) :value(v), count(0) { }
void operator()(const T& v) { ++count; value+=v; }
};

　　我们可以把Accumulator对象传递给一个重复调用它的算法。其部分结果保持在对象中。例如：

int main()
{
　vectorv;
　double d;
　while (cin>>d) v.push_back(d);
　Accumulatorad;
　ad = for_each(v.begin(),v.end(), ad);
　cout << "sum==" << ad.value
<< ", mean==" << ad.value/ad.count << '\n';
}

　　标准类库算法for_each简单地把它的第三个参数应用在自己序列中的每个元素上，并把这个参数作为返回值。另一种使用函数对象的方法比较"杂乱"--就是使用全局变量来保持value和count。

　　有趣的是，简单的函数对象比功能相同的函数的性能更好。其原因在于它们趋向于按值（by value）传递，因此它们更易于内联（inline）。当我们传递那些执行很简单操作（例如用于排序的比较条件）的对象或函数的时候，这一点是非常重要的。特别地，当对简单类型（例如整型或双精度型）的数组进行排序的时候，函数对象的内联就是STL（C++标准类库）的sort()在多方面超越了传统的qsort()原因。
函数对象是用于更高级构造的一种C++机制。它并非高级理念的最好表达方式，但是它在用于普通目的的语言环境中，显示出令人惊讶的表现能力和固有的高性能。作为表现能力的一个例子，Jaakko J?rvi演示了如何提供和使用一个Lambda类，使它的真正意义合法化：

Lambda x;
List::iterator p = find_if(lst.begin(),lst.end(),x<=7);

　　如果你希望 <= 能够工作，那么不用建立一个通用类库，而是为Lambda和<=添加大约十余行代码定义。如果使用上面例子中的Less_than，那么我们可以简单地添加：

class Lambda {};
templateLess_thanoperator<=(Lambda,const T& v)
{
　return Less_than(v);
}

　　因此，find_if调用中的x<=7参数变成了operator<=(Lambda,const int&)调用，它会生成一个Less_than对象，它就是这一部分中第一个例子所使用的对象。它们之间的差别仅仅是--我们实现了更简单和直观的语法。这是C++表现能力的一个很好的例子，也是类库的接口如何比其实现更加简单的例子。自然地，与辛苦地编写一个循环来查找值小于7的元素相比，它是没有运行时开销的。

　　1.3 STL的影响

　　STL对C++的思想的影响是极大的。在STL之前，我一般列举C++支持的三种基本的编程样式（"范例"）：

　　　－面向过程编程

　　　－数据抽象

　　　－面向对象编程

　　我认为模板是对数据抽象的支持。在试用了STL一段时间之后，我提出第四种样式：

　　　－泛型编程

　　以使用模板为基础的技术，以及从功能性编程中获取大量灵感的技术与传统的数据抽象有本质的不同。人们只是认为类型、对象和资源不同。新的C++类库是使用模板技术编写的，才获得了静态类型安全和高效率。模板技术对于嵌入式系统编程和高性能数学运算也是很关键的，在这些环境中，资源的管理和正确性是关键。在这些领域中STL并非总是理想的。例如，它没有直接地支持线性代数，而且在紧凑的实时系统中（在这种环境下一般会禁止自由地使用存储）也很难使用它。但是，STL证明了在模板的帮助下可以实现什么样的功能，并提出了一些有效的技术示例。例如，利用迭代子（和分配器）把逻辑内存访问与实际内存访问分离开来，对于很多高性能数字运算就是很关键的；使用小型的、简单的内联、对象对于嵌入式系统编程中最佳地使用硬件也是很关键的。这类技术有一些记载在标准委员会关于性能的技术报告中了。这是对当前过度地使用过分依赖于类层次和虚拟函数的"面向对象"技术的这种趋势的一种大范围的反击--也是一种有建设意义的替代方案。

　　很明显，STL并不完美。相对来说没有完美的东西。但是，它开辟了新天地，而且它拥有的影响力甚至于超过了巨大的C++群体。使用C++时，当人们试图推动STL所倡导的技术来超越STL技术的时候，它们讨论"模板元数据编程"。我们中有些人也会考虑STL迭代子的限制（使用generator和range是不是更好？），以及C++如何更好地支持这些使用（概念、初始化器）。

[1] [2] [3] [4]

上一篇:C++之父Bjarne谈C++在2005年
下一篇:Photoshop调色，制作阿宝色彩的练习

相关文章

热点文章

C++之父Bjarne谈C++中的STL模板