C++函数对象-运算符函数对象 - 旧式绑定器与适配器 - 包装器函数对象，返回所持有的二元谓词的补 （std::binary_negate）

任何定义了函数调用操作符的对象都是函数对象。C++ 支持创建、操作新的函数对象，同时也提供了许多内置的函数对象。

运算符函数对象

C++ 针对常用的算术和逻辑运算定义了很多函数对象：

旧式绑定器与适配器

早期提供功能支持的几个工具在 C++11 中弃用，并于 C++17 中移除（旧否定器于 C++17 中弃用并于 C++20 中移除）：

函数适配器

包装器函数对象，返回所持有的二元谓词的补 

std::binary_negate

template< class Predicate > struct binary_negate :     public std::binary_function<         Predicate::first_argument_type,         Predicate::second_argument_type,         bool     >;		(C++11 前)
template< class Predicate > struct binary_negate;		(C++11 起) (C++17 中弃用) (C++20 中移除)

binary_negate 是返回其所保有的二元谓词的补的包装函数对象。

二元谓词必须定义二个成员类型， first_argument_type 和 second_argument_type ，可转换为谓词参数类型。从 std::owner_less 、 std::ref 、 std::cref 、 std::plus 、 std::minus 、 std::multiplies 、 std::divides 、 std::modulus 、 std::equal_to 、 std::not_equal_to 、 std::greater 、 std::less 、 std::greater_equal 、 std::less_equal 、 std::logical_not 、 std::logical_or 、 std::bit_and 、 std::bit_or 、 std::bit_xor 、 std::mem_fn 、 std::map::value_comp 、 std::multimap::value_comp 、 std::function 或对 std::not2 调用获得的函数对象定义这些类型，和导出自弃用的 std::binary_function 的函数对象一样。

binary_negate 对象简单地以辅助函数 std::not2 创建。

成员类型

类型	定义
first_argument_type	Predicate::first_argument_type
second_argument_type	Predicate::second_argument_type
result_type	bool

成员函数

(构造函数)	以提供的谓词构造新的 binary_negate 对象 (公开成员函数)
operator()	返回调用存储的谓词结果的逻辑补 (公开成员函数)

std::binary_negate::binary_negate

explicit binary_negate( Predicate const& pred );		(C++14 前)
explicit constexpr binary_negate( Predicate const& pred );		(C++14 起)

构造的 binary_negate 函数对象，拥有存储的谓词 pred 。

参数

pred

-

谓词函数对象

 

std::binary_negate::operator()

bool operator()( first_argument_type const& x,                  second_argument_type const& y ) const;		(C++14 前)
constexpr bool operator()( first_argument_type const& x,                            second_argument_type const& y ) const;		(C++14 起)

返回调用 pred(x, y) 结果的逻辑补。

参数

x	-	通过谓词传递的第一参数
y	-	通过谓词传递的第二参数

返回值

调用 pred(x, y) 结果的逻辑补。

调用示例

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

struct Cell
{
    int x;
    int y;

    Cell() = default;
    Cell(int a, int b): x(a), y(b) {}
    Cell(const Cell &cell)
    {
        x = cell.x;
        y = cell.y;
    }

    Cell &operator+(const Cell &cell)
    {
        x += cell.x;
        y += cell.y;
        return *this;
    }

    Cell &operator+=(const Cell &cell)
    {
        x += cell.x;
        y += cell.y;
        return *this;
    }

    Cell &operator*=(int n)
    {
        x *= n;
        y *= n;
        return *this;
    }

    Cell &operator++()
    {
        x += 1;
        y += 1;
        return *this;
    }

    friend Cell operator +(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = cell1;
        cell += cell2;
        return cell;
    }

    friend Cell operator *(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x * cell2.x, cell1.y * cell2.y};
        return cell;
    }

    friend Cell operator /(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x / cell2.x, cell1.y / cell2.y};
        return cell;
    }

    friend Cell operator %(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x % cell2.x, cell1.y % cell2.y};
        return cell;
    }

    friend bool operator ==(const Cell &cell1, const Cell &cell2)
    {
        return cell1.x == cell2.x && cell1.y == cell2.y;
    }

    friend bool operator !=(const Cell &cell1, const Cell &cell2)
    {
        return cell1.x != cell2.x && cell1.y != cell2.y;
    }

    friend bool operator <(const Cell &cell1, const Cell &cell2)
    {
        if (cell1.x == cell2.x)
        {
            return cell1.y < cell2.y;
        }
        else
        {
            return cell1.x < cell2.x;
        }
    }

    friend bool operator >(const Cell &cell1, const Cell &cell2)
    {
        if (cell1.x == cell2.x)
        {
            return cell1.y > cell2.y;
        }
        else
        {
            return cell1.x > cell2.x;
        }
    }

    friend bool operator &&(const Cell &cell1, const Cell &cell2)
    {
        return cell1.x && cell2.x && cell1.y && cell2.y;
    }

    friend bool operator ||(const Cell &cell1, const Cell &cell2)
    {
        return cell1.x || cell2.x || cell1.y || cell2.y;
    }

    friend bool operator !(const Cell &cell)
    {
        return !(cell.x && cell.x);
    }

    friend Cell operator &(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x & cell2.x, cell1.y & cell2.y};
        return cell;
    }

    friend Cell operator |(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x | cell2.x, cell1.y | cell2.y};
        return cell;
    }

    friend Cell operator ^(const Cell &cell1, const Cell &cell2)
    {
        Cell cell = {cell1.x ^ cell2.x, cell1.y ^ cell2.y};
        return cell;
    }
};

std::ostream &operator<<(std::ostream &os, const Cell &cell)
{
    os << "{" << cell.x << "," << cell.y << "}";
    return os;
}

struct same : std::binary_function<Cell, Cell, bool>
{
    bool operator()(const Cell &cell1, const Cell &cell2) const
    {
        return cell1.x == cell2.x && cell1.y == cell2.y;
    }
};

int main()
{
    std::vector<Cell> vector1;
    for (int index = 1024 - 5; index < 1024 + 6; ++index)
    {
        vector1.push_back(Cell{index, index});
    }
    std::vector<Cell> vector2(vector1.rbegin(), vector1.rend());
    std::vector<bool> vector3(vector1.size(), false);

    std::binary_negate<same> same_t((same()));
    std::transform(vector1.begin(), vector1.end(), vector2.begin(),
                   vector3.begin(), same_t);

    std::cout << std::boolalpha;
    for (size_t index = 0; index < vector1.size(); index++)
    {
        std::cout << vector1.at(index) << " " << vector2.at(index)
                  << " " << vector3.at(index) << std::endl;
    }

    return 0;
}

输出

{1019,1019} {1029,1029} true
{1020,1020} {1028,1028} true
{1021,1021} {1027,1027} true
{1022,1022} {1026,1026} true
{1023,1023} {1025,1025} true
{1024,1024} {1024,1024} false
{1025,1025} {1023,1023} true
{1026,1026} {1022,1022} true
{1027,1027} {1021,1021} true
{1028,1028} {1020,1020} true
{1029,1029} {1019,1019} true