将满足某些条件的所有元素从一个容器移动到另一个容器，即我正在寻找某种“move_if”

Question

给定

std::vector<T> first = /* some given data */, second;

我想移动所有满足某些条件cond(e) 的元素first 到second，即类似

move_if(std::make_move_iterator(first.begin()),
    std::make_move_iterator(first.end()),
    std::back_inserter(second), [&](T const& e)
{
        return cond(e);
});

我无法使用 算法库 确定这一点。那么，我该怎么做呢？

Answer 1

如果移出的元素可以保留在first 中的位置，那么只需将copy_if 与move_iterator 一起使用。

std::copy_if(std::make_move_iterator(first.begin()),
             std::make_move_iterator(first.end()),
             std::back_inserter(second), cond);

如果应该从first 中删除被移动的元素，我会这样做

// partition: all elements that should not be moved come before 
// (note that the lambda negates cond) all elements that should be moved.
// stable_partition maintains relative order in each group
auto p = std::stable_partition(first.begin(), first.end(),
                               [&](const auto& x) { return !cond(x); });
// range insert with move
second.insert(second.end(), std::make_move_iterator(p),
                            std::make_move_iterator(first.end()));
// erase the moved-from elements.
first.erase(p, first.end());

或partition_copy 加上move_iterator，然后是赋值：

std::vector<T> new_first;
std::partition_copy(std::make_move_iterator(first.begin()),
                    std::make_move_iterator(first.end()),
                    std::back_inserter(second), std::back_inserter(new_first), cond);
first = std::move(new_first);

Answer 2

move_if 不存在的原因是它会使库膨胀。将copy_if 与移动迭代器一起使用或自己编写。

copy_if(move_iterator<I>(f), move_iterator<I>(l), out);

这是Jonas_No 在channel9 的实现。

template <typename FwdIt, typename Container, typename Predicate>
inline FwdIt move_if(FwdIt first, FwdIt last, Container &cont, Predicate pred)
{
    if (first == last)
        return last; // Empty so nothing to move
    const size_t size = count_if(first, last, pred);
    if (size == 0)
        return last; // Nothing to move
    cont.resize(size);
    FwdIt new_end = first;
    auto c = cont.begin();
    for (auto i = first; i != last; ++i)
    {
        if (pred(*i)) // Should it move it ?
            *c++ = move(*i);
        else
            *new_end++ = move(*i);
    }
    return new_end;
}

Answer 3

@T.C.提供了一个完美的工作解决方案。但是，乍一看，人们可能不明白该代码的意图是什么。所以，它可能并不完美，但我更喜欢这样的东西：

template<class InputIt, class OutputIt, class InputContainer, class UnaryPredicate>
OutputIt move_and_erase_if(InputIt first, InputIt last, InputContainer& c, OutputIt d_first, UnaryPredicate pred)
{
    auto dist = std::distance(first, last);
    while (first != last)
    {
        if (pred(*first))
        {
            *d_first++ = std::move(*first);
            first = c.erase(first);
            last = std::next(first, --dist);
        }
        else
        {
            ++first;
            --dist;
        }
    }
    return d_first;
}