使用条件迭代器插入向量

Question

假设我有一个带有各种条目的vector ，我想插入到另一个向量中，同时省略满足条件的条目。

例如，我想插入一个向量，同时省略所有三个。

{1, 3, 2, 3, 4, 5, 3} -> { /* previous content, */ 1, 2, 4, 5}

到目前为止我想出的是使用std::partition ，它不保留相对顺序并重新排列源向量。

std::vector<int> source({1, 3, 2, 3, 4, 5, 3});
std::vector<int> target;

auto partition = std::partition(std::begin(source),
                   std::end(source), [](const auto& a) { return a == 3; });
target.insert(std::begin(target), partition, std::end(source));

我正在寻找的更多是一个迭代器，它检查条件并在条件不满足时继续运行。 像这样的东西：

target.insert(std::begin(target),
              conditional_begin(source, [](const auto& a) { return a != 3; },
              conditional_end(source));

我想一个conditional_end函数是必要的，因为std::end会返回一个与conditional_begin不同的迭代器类型。

也许我忽略了一些事情，所以我的问题是：

• 标准库是否提供类似的东西？
• 有没有不同的简单方法来实现我的目标？
• 有没有一种简单的方法来实现条件迭代器功能？

Answer 1

有没有不同的简单方法来实现我的目标？

是的，标准已经内置了此功能。您正在寻找的功能是std::copy_if 。

std::vector<int> source({1, 3, 2, 3, 4, 5, 3});
std::vector<int> target;

std::copy_if(source.begin(), 
             source.end(), 
             std::back_inserter(target), [](auto val){ return val != 3; });

这里， std::back_inserter(target)将为谓词返回true每个元素调用target push_back 。

Answer 2

是的，您可以创建一个自定义迭代器来执行您想要的操作，但使用标准C ++创建自定义迭代器当前有点繁琐。 它看起来像这样：

template <typename Itr, typename F> 
struct ConditionalIterator {
  Itr itr;
  Itr end;
  F condition;

  using value_type = typename Itr::value_type;
  using difference_type = typename Itr::difference_type;
  using pointer = typename Itr::pointer;
  using reference = typename Itr::reference;
  using iterator_category = std::forward_iterator_tag;

  ConditionalIterator() = default;
  ConditionalIterator(Itr itr, Itr end, F condition): itr(itr), end(end), condition(condition) {}

  bool      operator!=(const ConditionalIterator &other) const { return other.itr != itr; }
  reference operator*() const { return *itr; }
  pointer   operator->() const { return &(*itr); }

  ConditionalIterator& operator++() {
    for (; ++itr != end;) {
      if (condition(*itr))
        break;
    }
    return *this;
  }
  ConditionalIterator operator++(int) {
    ConditionalIterator ret(*this);
    operator++();
    return ret;
  }
};

然后，您可以创建类似您要求的conditional_begin和conditional_end帮助函数。 唯一的问题是std::vector::insert期望两个迭代器具有相同的类型。 如果我们将lambda用于我们的条件，那么这将是条件迭代器类型的一部分。 所以我们需要将lambda传递给两个辅助函数，以便它们返回具有匹配类型的迭代器：

template <typename C, typename F> 
auto conditional_begin(const C &source, F f) {
  return ConditionalIterator<typename C::const_iterator, F>(source.begin(),
                                                            source.end(), f);
}

template <typename C, typename F> 
auto conditional_end(const C &source, F f) {
  return ConditionalIterator<typename C::const_iterator, F>(source.end(),
                                                            source.end(), f);
}

您可以使用这样的lambda调用：

auto condition = [](const auto &a) { return a != 3; };
target.insert(std::begin(target),
              conditional_begin(source, std::ref(condition)),
              conditional_end(source, std::ref(condition)));

现场演示 。

我的原始测试显示，在这种情况下，这最终比简单地使用copy_if和back_inserter快得多，因为std::vector::insert首先计算出在插入之前要分配多少内存。 仅使用back_inserter将导致多个内存分配。 性能的差异将取决于评估条件的成本。 在使用copy_if之前，可以使用count_if保留足够的空间来获得相同的加速：

auto count = static_cast<size_t>(std::count_if(source.begin(),
                                 source.end(), condition));
target.reserve(target.size() + count);

std::copy_if(source.begin(),
             source.end(),
             std::back_inserter(target), condition);

现场演示 。

Answer 3

由于范围很快就会标准化，因此这是使用range-v3 （proprosal的参考库）的替代方案：

#include <range/v3/view/concat.hpp>
#include <range/v3/view/filter.hpp>

using namespace ranges;

const std::vector<int> source{1, 3, 2, 3, 4, 5, 3};
const std::vector<int> target = view::concat(source,
    source | view::filter([](auto i){ return i != 3; }));