Question

我有代码删除std::vector<int>中少于某些int limit的所有元素。我已经编写了一些部分应用lambdas的函数：

auto less_than_limit = [](int limit) {
  return [=](int elem) {
    return limit > elem;
  };
};

auto less_than_three = less_than_limit(3);

当我使用std::vector<int> v{1,2,3,4,5};对其进行测试时，我得到了预期的结果：

for(auto e: v) {
  std::cout << less_than_three(e) << " ";
}
// 1 1 0 0 0

我可以轻松删除少于三个的所有元素：

auto remove_less_than_three = std::remove_if(std::begin(v), std::end(v), less_than_three);

v.erase(remove_less_than_three, v.end());

for(auto e: v) {
  std::cout << e << " ";
}
// 3 4 5

如何使用less_than_three删除大于或等于3的元素？

我尝试在less_than_three中包装std::not1，但收到了错误：

/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/stl_function.h:742:11: error: no type named 'argument_type' in 'struct main()::<lambda(int)>::<lambda(int)>'
     class unary_negate
           ^
/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/stl_function.h:755:7: error: no type named 'argument_type' in 'struct main()::<lambda(int)>::<lambda(int)>'
       operator()(const typename _Predicate::argument_type& __x) const

/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/predefined_ops.h:234:30: error: no match for call to '(std::unary_negate<main()::<lambda(int)>::<lambda(int)> >) (int&)'
  { return bool(_M_pred(*__it)); }
                              ^

然后我尝试了std::not1(std::ref(less_than_three))，但遇到了这些错误：

/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/stl_function.h:742:11: error: no type named 'argument_type' in 'class std::reference_wrapper<main()::<lambda(int)>::<lambda(int)> >'
     class unary_negate
           ^
/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/stl_function.h:755:7: error: no type named 'argument_type' in 'class std::reference_wrapper<main()::<lambda(int)>::<lambda(int)> >'
       operator()(const typename _Predicate::argument_type& __x) const
       ^
/usr/local/Cellar/gcc/5.3.0/include/c++/5.3.0/bits/predefined_ops.h:234:30: error: no match for call to '(std::unary_negate<std::reference_wrapper<main()::<lambda(int)>::<lambda(int)> > >) (int&)'
  { return bool(_M_pred(*__it)); }
                              ^

如何在不改变lambdas逻辑的情况下否定std::remove_if中的函数？换句话说，我该如何模仿remove_unless？

Answer 1

not1有点过时（并且要求函子提供某些成员类型的定义，lambda显然不会这样做。）

你必须自己写一个否定词：

auto negate = [] (auto&& f) {return [f=std::forward<decltype(f)>(f)] 
            (auto&&... args) {return !f(std::forward<decltype(args)>(args)...);};};

Demo

Answer 2

std::not1假设您的函数对象派生自std::unary_function，或者至少提供相同的界面，因此它具有result_type和argument_type的typedef。

由于lambda不能定义这些内容，因此您无法使用not1。

显而易见的选择是自己创建类似于not1的东西，但使用更现代的技术来检测/传递参数/结果类型来修改它。

如果您真的想使用not1，那么最明智的方法是与std::less和std::bind进行比较，以指定您要去的值比较（即，它基本上是一个C ++ 03的东西，所以如果你要使用它，你可以用C ++ 03的方式编写所有内容。）

Answer 3

您还可以使用std :: function定义lambda的返回类型。

auto remove_gte_three = std::remove_if(std::begin(v), std::end(v), std::not1(std::function<int(int)>(less_than_three)));

Answer 4

使用not1（）否定符（C ++ 11）的旧方式：

// You apply the not1() negator adapter 
// to the result of  less_than_three() like this:
std::function<bool(int)> f = less_than_three;
auto it = remove_if(begin(v), end(v), not1(f));

lambda的新方法（C ++ 14）：

// Or with lambda you can negate an unary predicate.
// Thanks to Stephan T. Lavavej
template <typename T, typename Predicate>
void keep_if(std::vector<T>& v, Predicate pred)
{
    auto notpred = [&pred](const T& t) { return !pred(t); };
    v.erase(remove_if(v.begin(), v.end(), notpred), v.end());
}

用法：

keep_if(v, less_than_three);

或更通用的解决方案（C ++ 14）：

template <ForwardIterator I, Predicate P>
I remove_if_not(I first, I last, P pred)
{
    return std::remove_if(first, last,
            [&](const ValueType(I)& x){ return !pred(x); });
}

用法：

auto p = remove_if_not(begin(v), end(v), less_than_three);
v.erase(p, v.end());
// Result: 1 2

如何模拟remove_unless

4 个答案: