STL学习笔记,关于iterator的实现细节

为什么stl 中的 forward_iterator_tag 是这样定义?
1>struct forward_iterator_tag : public input_iterator_tag
而不是
2>struct forward_iterator_tag : public output_iterator_tag
或者
3>struct forward_iterator_tag : public input_iterator_tag,
                                public output_iterator_tag


我想:不继承output_iterator_tag,而是继承自input_iterator_tag的原因是.
     因为mutable forward_iterator,一定可以可读.
     而  const forward_iterator,则不可写.
     因此,继承input_iterator_tag相比output_iterator_tag,要方便一些。

     而不同时继承input_iterator_tag及output_iterator_tag的原因可能是,
     这样不够简单?还是有其它的考量?




为什么不同算法的选择使用的是重载,而不是模板?
比如stl是这样做的,
1>void Fun1(input_iterator_tag)
  {
     cout << "HI , I am the Input Iterator Function!!!!" << endl;
  }

2>而不是这样做呢?
  template <typename T = input_iterator_tag?
  void Fun1()
  {
       cout << "HI , I am the Input Iterator Function!!!!" << endl;
  }

  因为如果使用template,那么template就需要一个没有偏特化的Fun1.因此,
  方法二不适合我们的要求。