C++中的std::unary_negate()

在C++中，std::unary_negate()是一个函数对象适配器，它将一个带有一个参数的谓词对象翻转，从而产生一个新的谓词对象，其含义是原始谓词对象的否定。

使用方法

std::unary_negate()是一个函数模板，其定义在头文件<functional>中。以下是其基本语法：

template <class Predicate>
unary_negate<Predicate> unary_negate(Predicate pred);

其中，Predicate是原始谓词对象的类型，pred是要翻转的谓词对象。

返回值是一个名为unary_negate的类模板的实例，该实例是一个函数对象，具有跟原始谓词对象相同的调用形式和返回类型。

示例

#include <iostream>
#include <algorithm>
#include <vector>
#include <functional>

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

    std::cout << "Original vector: ";
    for (auto num : nums) {
        std::cout << num << " ";
    }
    std::cout << std::endl;

    // 使用 lambda 表达式作为原始谓词对象
    auto is_odd = [](int num) { return num % 2 == 1; };

    // 对原始谓词对象进行翻转
    auto is_even = std::unary_negate<decltype(is_odd)>(is_odd);

    std::cout << "Even numbers: ";
    std::remove_copy_if(nums.begin(), nums.end(), 
                        std::ostream_iterator<int>(std::cout, " "),
                        is_odd);
    std::cout << std::endl;

    std::cout << "Odd numbers: ";
    std::remove_copy_if(nums.begin(), nums.end(), 
                        std::ostream_iterator<int>(std::cout, " "),
                        is_even);
    std::cout << std::endl;

    return 0;
}

输出结果为：

Original vector: 1 2 3 4 5 
Even numbers: 2 4 
Odd numbers: 1 3 5 

在这个例子中，使用了std::remove_copy_if()算法来从容器中移除和输出满足某个条件的元素。使用 lambda 表达式 is_odd 作为原始谓词对象，查找奇数；使用 std::unary_negate() 对其进行翻转，生成一个翻转后的谓词对象 is_even，用于查找偶数。

总结

std::unary_negate()是一个非常有用的函数对象适配器，可以快速方便地对原始谓词对象进行翻转。由于其非常灵活，因此在STL中的很多算法中都可以使用。在实际的开发中，可以结合lambda表达式等特性，更加灵活地应用此函数对象适配器。