这里引入了一个很重要的概念，偏特化（partial specializition）

一切都是为了模板，为了泛化。

iterator_category 是为了在模板中区分不同类型的迭代器，以提高算法执行的效率。