一个STL库实现代码的疑问

Question

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的方式赋值才对。
请知道原因的大神赐教~

Answer 1

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