为什么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.因此,
方法二不适合我们的要求。
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.因此,
方法二不适合我们的要求。