一个STL库实现代码的疑问 5C

stl_algo.h里面提供的函数

//unique, unique_copy
template <typename InputIter, typename OutputIter, typename T>
OutputIter __unique_copy(InputIter first, InputIter last, OutputIter result, T* p) {
    T value = *first;
    *result = value;
    while (++first != last) {
        if (!(value == *first)) {
            value = *first;
            *++result = value;
        }
    }
    return ++result;  //return the position after last value
}

template <typename InputIter, typename OutputIter>
inline OutputIter __unique_copy(InputIter first, InputIter last, OutputIter result, output_iterator_tag) {
    return __unique_copy(first, last, result, __VALUE_TYPE(first));
}

template <typename InputIter, typename ForwardIter>
ForwardIter __unique_copy(InputIter first, InputIter last, ForwardIter result, forward_iterator_tag) {
    *result = *first;
    while (++first != last) {
        if (!(*result == *first)) {
            *++result = *first;
        }
    }
    return ++result;
}

template <typename InputIter, typename OutputIter>
inline OutputIter unique_copy(InputIter first, InputIter last, OutputIter result) {
    __STL_REQUIRES(InputIter, _InputIterator);
    __STL_REQUIRES(OutputIter, _OutputIterator);
    __STL_REQUIRES(typename iterator_traits<InputIter>::value_type, _EqualityComparable);
    if (first == last) return result;
    return __unique_copy(first, last, result, __ITERATOR_CATEGORY(result));
}

函数作用很好理解,实现也很直白。不过OutputIter如果是ForwardIterator时的特殊实现跟只是一个OutputIterator时的实现是分开的:
OutputIterator赋值方式
T value = first;
*result = value;
ForwardIterator赋值方式
*result = *first;
为什么最基础的OutputIterator必须用相对麻烦一点的方式去赋值?
OutputIterator概念上支持++运算符,支持
运算符,支持赋值,我认为也应该可以用ForwardIterator的方式赋值才对。
请知道原因的大神赐教~

2个回答

两个版本的差别在与result的类型,OutputIterator版本才是特化版本,其类型是write-only,在forward版本中,if (!(*result == *first))对result进行了
读操作,Output_iterator 是不允许的,故需要特化一个版本。你是从何处读的源码,《stl源码剖析》里面有很详细的讲解,虽然用的库是比较旧的,但
设计思想上至今也没有多大改变。

我是看的 sgi 的实现版本,也是因为 《stl源码剖析》 推荐了这个版本的。书没跟着看~
多谢你的解释,这样就能理解为什么要这么做了。
我对OutputIterator的能力还是理解不够,忘记了不能读数据这一点。

Csdn user default icon
上传中...
上传图片
插入图片
抄袭、复制答案,以达到刷声望分或其他目的的行为,在CSDN问答是严格禁止的,一经发现立刻封号。是时候展现真正的技术了!
立即提问