过滤范围、lambda 和 is_sorted

这是我在过滤迭代器方面遇到的问题的简化版本（因此没有必要要求我以不同的方式重写它以避免过滤器）。奇怪的是，仅在真实代码中is_sorted似乎有问题，其他用途似乎工作正常。

#include <vector>
#include <boost/range/adaptor/filtered.hpp>
#include <boost/range/algorithm_ext/is_sorted.hpp>

int main(int argc, const char* argv[])
{
  using namespace boost::adaptors;
  std::vector<int> all = {1,2,3,4,5,6,7,8,9};
  auto some = all | filtered([] (int i) { return i % 2; });
  return boost::is_sorted(some);
}

这无法使用 Clang++ 3.5 和 G++ 4.9 进行编译（在 Mac OS X 上，最新）：

$ clang++-mp-3.5 -std=c++11 -isystem /opt/local/include/ foo.cc
In file included from foo.cc:3:
In file included from /opt/local/include/boost/range/algorithm_ext/is_sorted.hpp:18:
/opt/local/include/boost/detail/is_sorted.hpp:25:28: error: object of type
      'boost::filter_iterator<(lambda at foo.cc:9:30), std::__1::__wrap_iter<int
      *> >' cannot be assigned because its copy assignment operator is
      implicitly deleted
  for (; it != last; first = it, ++it)
                           ^
...

/opt/local/include/boost/iterator/filter_iterator.hpp:106:17: note: copy
      assignment operator of 'filter_iterator<(lambda at foo.cc:9:30),
      std::__1::__wrap_iter<int *> >' is implicitly deleted because field
      'm_predicate' has a deleted copy assignment operator
      Predicate m_predicate;
                ^
foo.cc:9:30: note: lambda expression begins here
  auto some = all | filtered([] (int i) { return i % 2; });
                             ^

我知道将我的 lambda 存储在std::function修复了它，但我想避免付款 它的价格。使用自定义包装器std::is_sorted并不能解决问题。这个问题似乎与其他问题有关（例如，boost 变换迭代器和 c++11 lambda https://stackoverflow.com/questions/12672372/), 但事实并非如此——至少他们的治疗方法在这里不适用。

Thanks!

Inside is_sorted用于迭代序列的迭代器被复制，以便它可以用于比较相邻元素。这意味着谓词filtered（即您的 lambda）也需要复制，即使它从未实际用于增加尾随迭代器。其他复制迭代器的算法也会有同样的问题，例如adjacent_find.

复制迭代器的算法与不复制迭代器的算法之间的区别在于，前者被称为“多遍”算法，并且要求其迭代器类型满足ForwardIterator http://en.cppreference.com/w/cpp/concept/ForwardIterator，而后者是单遍的，只需要InputIterator.

解决方案是给你的 lambda 局部作用域生命周期并传递它reference_wrapper http://en.cppreference.com/w/cpp/utility/functional/reference_wrapper:

auto odd = [] (int i) { return i % 2; };
auto some = all | filtered(std::ref(odd));

另一种方法是使用以下命令将 lambda 强制转换为函数指针+ https://stackoverflow.com/questions/18889028/a-positive-lambda-what-sorcery-is-this?lq=1:

auto some = all | filtered(+[] (int i) { return i % 2; });

不过，这只适用于无捕获的 lambda，并且可能不清楚。