c – STL算法如何独立于迭代器类型工作？

诀窍很简单.这是一个非常简单的例子：

template <typename T>
void say_hello(const T& t) {
  t.hello();
}

say_hello函数不关心其参数是哪种类型.它不必从接口派生出来,也不必做任何其他类型的“承诺”.重要的是该类型在此上下文中起作用.我们所做的所有类型都是调用它的hello函数.这意味着此代码将针对具有hello成员函数的任何类型进行编译.

STL算法的工作方式类似.这是std :: for_each的简单实现：

template <typename iter_type,typename func_type>
void for_each(iter_type first,iter_type last,func_type f){
  for (iter_type cur = first; cur != last; ++cur) {
    f(*cur);
  }
}

只要模板类型符合它们的要求,此代码就会编译; iter_type必须具有pre-increment -operator.它必须有一个复制构造函数,它必须有！=运算符,并且必须有* -dereference-operator.

func_type必须实现函数调用运算符,通过取消引用类型为iter_type的对象获取与您获得的相同类型的参数.如果我用满足这些要求的类型调用for_each,代码将编译. iter_type可以是满足这些要求的任何类型.代码中没有任何内容表示“这应该适用于矢量迭代器和列表迭代器以及映射迭代器”.但只要向量,列表或映射迭代器实现我们使用的运算符,它就可以工作.