在擦除删除习语中使用一元谓词的否定

Question

考虑以下场景：

bool is_odd(int i)
{
    return (i % 2) != 0;  
}
int main()
{
    // ignore the method of vector initialization below.
    // assume C++11 is not to be used.
    std::vector<int> v1 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    std::vector<int> v2 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    
    // removes all odd numbers, OK
    v1.erase( std::remove_if(v1.begin(), v1.end(), is_odd), v1.end() );

    // remove all even numbers
    v2.erase( std::remove_if(v2.begin(), v2.end(), ???), v2.end() );
}

我可以使用相同的is_odd() UnaryPredicate 来删除main() 最后一行中预期的偶数吗？或者我是否必须写一个is_even()，即使它只是：

bool is_even(int i)
{
    return !is_odd(i);  
}

Answer 1

检查std::not1 函数。它做你想做的事。

v2.erase( std::remove_if(v2.begin(), v2.end(), std::not1(std::ptr_fun(is_odd))), v2.end() );

Live example

无论如何，如果由我决定加上 C++11 可用，我会更喜欢：

 v2.erase( std::remove_if(v2.begin(), v2.end(), [&](auto/* or the type */ const& item){return !is_odd(item);}), v2.end() );

因为据我所知，std::not1 在lambda 可用之前很有帮助。

Answer 2

您可以使用std::not1。可悲的是，std::not1 需要一个带有嵌套 argument_type 和 result_type 类型的函数对象参数。也就是不能直接使用。取而代之的是，在普通函数中使用否定符时，需要结合使用std::ptr_fun：

    v2.erase( std::remove_if(v2.begin(), v2.end(), std::not1(std::ptr_fun(is_odd))), v2.end() );

在上次委员会会议上，std::not_fn 从Library Fundamentals TS 2 移至工作草案。也就是说，有希望在 C++17 中为通用否定符提供更好的报价。

一般来说，当您需要使用任何std::*_fun 函数时，乐趣就会停止。正如其他人所指出的，改用 lambda 可能是合理的：

v2.erase( std::remove_if(v2.begin(), v2.end(), [](auto&& x){ return !::is_odd(x); }), v2.end() );

使用 lambda 函数或带有 inline 函数调用运算符的函数对象还具有编译器更容易内联代码的优点。

显然，如果您需要在 C++11 之前使用 C++，std::not1/std::ptr_fun 方法是最容易立即使用的方法，甚至不可能使用 lambda 函数。在这种情况下，您可能需要创建一个简单的函数对象来支持内联：

struct not_odd {
    template <typename T>
    bool operator()(T const& value) const { return !::odd(value); }
};
// ...
v2.erase( std::remove_if(v2.begin(), v2.end(), not_odd()), v2.end() );