// <algorithm> 
// 等价比较(1)    
template <class InputIterator,
    class OutputIterator>
    OutputIterator unique_copy (
        InputIterator first,
        InputIterator last,
        OutputIterator result);
// 自定义谓词比较(2)    
template <class InputIterator,
    class OutputIterator,
    class BinaryPredicate>
    OutputIterator unique_copy (
        InputIterator first,
        InputIterator last,
        OutputIterator result,
        BinaryPredicate pred);    

拷贝指定范围的唯一化(参考 unique)结果。

该函数等价于:

template<class _FwdIt,
    class _OutIt,
    class _Pr> inline
    _OutIt _Unique_copy(_FwdIt _First, _FwdIt _Last,
        _OutIt _Dest, _Pr _Pred, forward_iterator_tag)
    {    // copy compressing pairs satisfying _Pred, forward iterators
    _FwdIt _Firstb = _First;

    for (*_Dest++ = *_Firstb; ++_First != _Last; )
        if (!_Pred(*_Firstb, *_First))
            {    // copy unmatched
            _Firstb = _First;
            *_Dest++ = *_Firstb;
            }
    return (_Dest);
    }
  • firstlast

    分别指向序列中初始及末尾位置的正向迭代器(Forward Iterators)。这个范围即 [first,last) ,包括 first 到 last 间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。

    result

    指向目标序列初始位置的输出迭代器(Output iterators)

    两个序列不能有重合。

    pred

    二元谓词(Binary)函数,以两个元素为参数,然后返回一个可转换成 bool 类型的值。

    其返回值表明指定两个元素是否满足当前函数所检测的匹配条件。

    该函数不能修改其参数。

    可以是函数指针(Function pointer)类型或函数对象(Function object)类型。

  • 指向被拷贝范围(Copied range)(即目标范围)的末尾位置的迭代器,在该范围中,不存在连续的重复元素。

  • 例 1

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <vector>
    
    #define CLASSFOO_VECTOR(type, name, ...) \
    static const type name##_a[] = __VA_ARGS__; \
    std::vector<type> name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
    
    namespace ClassFoo{
        bool IfEqual(int m, int n) {
            return (m == n);
        }
        void UniqueCopy_1() {
            CLASSFOO_VECTOR(int, BigVector1, { 8, 23, 5, 5, 7, 7, 29, 0, 7, 7, 7, 1, 1 });
            CLASSFOO_VECTOR(int, BigVector2, { 8, 23, 5, 5, 7, 7, 29, 0, 7, 7, 7, 1, 1 });
            std::vector<int> TargetVector(BigVector1.size());
            // 等价比较
            std::vector<int>::iterator it = std::unique_copy(
                std::begin(BigVector1),
                std::end(BigVector1),
                std::begin(TargetVector)
                );
            // 输出去重后的结果
            std::copy(
                TargetVector.begin(),
                TargetVector.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
    
            std::fill(TargetVector.begin(), TargetVector.end(), 0);
            // 自定谓词比较
            it = std::unique_copy(
                std::begin(BigVector2),
                std::end(BigVector2),
                std::begin(TargetVector),
                IfEqual);
            // 输出去重后的结果
            std::copy(
                TargetVector.begin(),
                TargetVector.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::UniqueCopy_1();
        return 0;
    }

    8 23 5 7 29 0 7 1
    8 23 5 7 29 0 7 1 

    例 2

    C++11

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <vector>
    
    namespace ClassFoo{
        bool IfEqual(int m, int n) {
            return (m == n);
        }
        void UniqueCopy_2() {
            std::vector<int> BigVector1 = { 8, 23, 5, 5, 7, 7, 29, 0, 7, 7, 7, 1, 1 };
            std::vector<int> BigVector2 = { 8, 23, 5, 5, 7, 7, 29, 0, 7, 7, 7, 1, 1 };
            std::vector<int> TargetVector(BigVector1.size());
            // 等价比较
           auto it = std::unique_copy(
                std::begin(BigVector1),
                std::end(BigVector1),
                std::begin(TargetVector)
                );
            // 输出去重后的结果
            std::copy(
                TargetVector.begin(),
                it,
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
    
            std::fill(TargetVector.begin(), TargetVector.end(), 0);
            // 自定谓词比较
            it = std::unique_copy(
                std::begin(BigVector2),
                std::end(BigVector2),
                std::begin(TargetVector),
                IfEqual);
            // 输出去重后的结果
            std::copy(
                TargetVector.begin(),
                it,
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::UniqueCopy_2();
        return 0;
    }

    8 23 5 7 29 0 7 1 
    8 23 5 7 29 0 7 1 

  • 复杂度

    O(n)n 为 last first.

    数据争用相关

    访问在范围 [first,last) 中的所有元素。

    修改在范围 result 及返回值之间的所有元素。

    异常安全性相关

    如果谓词 pred、元素比较、赋值操作或操作某个迭代器抛异常,该函数才会抛异常。

    注意 无效参数将导致未定义行为(Undefined behavior)