algorithm/set.hpp

浏览该文件的文档.

#ifndef NEFORCE_CORE_ALGORITHM_SET_HPP__
#define NEFORCE_CORE_ALGORITHM_SET_HPP__

 
#include "NeForce/core/algorithm/shift.hpp"
NEFORCE_BEGIN_NAMESPACE__



template <typename Iterator1, typename Iterator2, typename Iterator3>
constexpr Iterator3 set_union(Iterator1 first1, Iterator1 last1, Iterator2 first2, Iterator2 last2, Iterator3 result) {
    static_assert(is_ranges_fwd_iter_v<Iterator1>, "Iterator1 must be forward_iterator");
    static_assert(is_ranges_fwd_iter_v<Iterator2>, "Iterator2 must be forward_iterator");
    static_assert(is_iter_v<Iterator3>, "Iterator3 must be iterator");
 
    while (first1 != last1 && first2 != last2) {
        if (*first1 < *first2) {
            *result = *first1;
            ++first1;
        } else if (*first2 < *first1) {
            *result = *first2;
            ++first2;
        } else {
            *result = *first1;
            ++first1;
            ++first2;
        }
        ++result;
    }
    return _NEFORCE copy(first2, last2, _NEFORCE copy(first1, last1, result));
}

template <typename Iterator1, typename Iterator2, typename Iterator3>
constexpr Iterator3 set_intersection(Iterator1 first1, Iterator1 last1, Iterator2 first2, Iterator2 last2,
                                     Iterator3 result) {
    static_assert(is_ranges_fwd_iter_v<Iterator1>, "Iterator1 must be forward_iterator");
    static_assert(is_ranges_fwd_iter_v<Iterator2>, "Iterator2 must be forward_iterator");
    static_assert(is_iter_v<Iterator3>, "Iterator3 must be iterator");
 
    while (first1 != last1 && first2 != last2) {
        if (*first1 < *first2) {
            ++first1;
        } else if (*first2 < *first1) {
            ++first2;
        } else {
            *result = *first1;
            ++first1;
            ++first2;
            ++result;
        }
    }
    return result;
}

template <typename Iterator1, typename Iterator2, typename Iterator3>
constexpr Iterator3 set_difference(Iterator1 first1, Iterator1 last1, Iterator2 first2, Iterator2 last2,
                                   Iterator3 result) {
    static_assert(is_ranges_fwd_iter_v<Iterator1>, "Iterator1 must be forward_iterator");
    static_assert(is_ranges_fwd_iter_v<Iterator2>, "Iterator2 must be forward_iterator");
    static_assert(is_iter_v<Iterator3>, "Iterator3 must be iterator");
 
    while (first1 != last1 && first2 != last2) {
        if (*first1 < *first2) {
            *result = *first1;
            ++first1;
            ++result;
        } else if (*first2 < *first1) {
            ++first2;
        } else {
            ++first1;
            ++first2;
        }
    }
    return _NEFORCE copy(first1, last1, result);
}

template <typename Iterator1, typename Iterator2, typename Iterator3>
constexpr Iterator3 set_symmetric_difference(Iterator1 first1, Iterator1 last1, Iterator2 first2, Iterator2 last2,
                                             Iterator3 result) {
    static_assert(is_ranges_fwd_iter_v<Iterator1>, "Iterator1 must be forward_iterator");
    static_assert(is_ranges_fwd_iter_v<Iterator2>, "Iterator2 must be forward_iterator");
    static_assert(is_iter_v<Iterator3>, "Iterator3 must be iterator");
 
    while (first1 != last1 && first2 != last2) {
        if (*first1 < *first2) {
            *result = *first1;
            ++first1;
            ++result;
        } else if (*first2 < *first1) {
            *result = *first2;
            ++first2;
            ++result;
        } else {
            ++first1;
            ++first2;
        }
    }
    return _NEFORCE copy(first2, last2, _NEFORCE copy(first1, last1, result));
}
 // SetAlgorithms
 // StandardAlgorithms
 
NEFORCE_END_NAMESPACE__
#endif // NEFORCE_CORE_ALGORITHM_SET_HPP__