我们所使用的某些特定算法本身就确定了一些行为模式,一些我们期望模板参数应该具有的行为模式。
我们必须找出一套能很好的适合某个算法集的需求,以及另一套适合另一个算法集的需求,以此类推。如果够幸运的话,我们可能只需要少得可以记住的几套需求,同时还可以使用各种各样的算法。
记住输入迭代器既不是某个特殊类型也不是对象是很重要的。相反,它是一个概念,指的是满足这些特定需求的完整类型集合中的任意成员。
继承是关联类型的一种方法,但是迭代器不属于类型的范畴。相反,它们是一系列类型应该满足或者不应该满足的需求的集合。
我们已经定义了5种类型的迭代器(输入迭代器,输出迭代器,向前迭代器,双向迭代器,随机迭代器).......我们这里需要的并不是继承,即使看起来像是。可能我们应该称为概念继承(conceptual inheritance)。它和迭代器的那些需求一样都不包含在C++语言或者C++库中;相反,它们是构建C++库的概念框架的一部分。