C++函数对象-运算符函数对象 - 逻辑运算 - 实现 x && y 的函数对象 (std::logical_and)

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

运算符函数对象

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

逻辑运算

实现 x && y 的函数对象 

std::logical_and

template< class T >
struct logical_and;

(C++14 前)

template< class T = void >
struct logical_and;

(C++14 起)

进行逻辑与(逻辑合取)的函数对象。等效地调用类型 T 上的 operator&& 。

特化

标准库提供 std::logical_and 在不指定 T 时的特化,它使得参数类型和返回类型留待推导。

logical_and<void>

实现 x && y 并推导参数和返回类型的函数对象
(类模板特化)
(C++14 起)

成员类型

类型定义
result_type(C++17 中弃用)bool
first_argument_type(C++17 中弃用)T
second_argument_type(C++17 中弃用)T
(C++20 前)

成员函数

operator()

返回二个参数的逻辑与
(公开成员函数)

std::logical_and::operator()

bool operator()( const T& lhs, const T& rhs ) const;

(C++14 前)

constexpr bool operator()( const T& lhs, const T& rhs ) const;

(C++14 起)

返回 lhsrhs 的逻辑与。

参数

lhs, rhs-要计算其逻辑与的值

返回值

lhs && rhs 的结果。

异常

(无)

可能的实现

constexpr bool operator()(const T &lhs, const T &rhs) const 
{
    return lhs && rhs;
}

调用示例

#include <iostream>
#include <functional>

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);
    }
};

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

int main()
{
    std::cout << std::boolalpha;

    int *ptr = nullptr;
    std::cout << "std::logical_and<int*>()(ptr, nullptr):      "
              << std::logical_and<int*>()(ptr, nullptr) << std::endl;

    std::cout << "std::logical_and<char>()(50, 2):             "
              << std::logical_and<char>()(50, 2) << std::endl;
    std::cout << "std::logical_and<char>()('a', 97):           "
              << std::logical_and<char>()('a', 97) << std::endl;
    std::cout << "std::logical_and<int>()(1023, 1024):         "
              << std::logical_and<int>()(1023, 1024) << std::endl;
    std::cout << "std::logical_and<long>()(1023, 1024):        "
              << std::logical_and<long>()(1023, 1024) << std::endl;
    std::cout << "std::logical_and<long long>()(1023, 1024):   "
              << std::logical_and<long long>()(1023, 1024) << std::endl;

    std::cout << "std::logical_and<uint8_t>()(1023, 1024):     "
              << std::logical_and<uint8_t>()(8, 32) << std::endl;
    std::cout << "std::logical_and<uint16_t>()(123, 456):      "
              << std::logical_and<uint16_t>()(123, 456) << std::endl;
    std::cout << "std::logical_and<uint32_t>()(101, 202):      "
              << std::logical_and<uint32_t>()(101, 202) << std::endl;
    std::cout << "std::logical_and<uint64_t>()(10230, 10240):  "
              << std::logical_and<uint64_t>()(10230, 10240) << std::endl;

    std::cout << "std::logical_and<int8_t>()(1023, 1024):      "
              << std::logical_and<int8_t>()(8, 32) << std::endl;
    std::cout << "std::logical_and<int16_t>()(123, 456):       "
              << std::logical_and<int16_t>()(123, 456) << std::endl;
    std::cout << "std::logical_and<int32_t>()(101, 202):       "
              << std::logical_and<int32_t>()(101, 202) << std::endl;
    std::cout << "std::logical_and<int64_t>()(10230, 10240):   "
              << std::logical_and<int64_t>()(10230, 10240) << std::endl;

    std::cout << "std::logical_and<double>()(3.14, 3.14):      "
              << std::logical_and<double>()(3.14, 3.14) << std::endl;
    std::cout << "std::logical_and<float>()(3.14, 3.14):       "
              << std::logical_and<float>()(3.14, 3.14) << std::endl;
    std::cout << "std::logical_and<float>()(3, 3):             "
              << std::logical_and<float>()(3, 3) << std::endl;
    std::cout << "std::logical_and<float>()(3.56, 3.14):       "
              << std::logical_and<float>()(3.56, 3.14) << std::endl;
    std::cout << "std::logical_and<int>()(3.14, 3.14):         "
              << std::logical_and<int>()(3.34, 3.34) << std::endl;

    std::cout << "std::logical_and<Cell>()(Cell{101, 101}, Cell{202, 202}):       "
              << std::logical_and<Cell>()(Cell{101, 101}, Cell{202, 202}) << std::endl;

    //编译失败
//    std::cout << "std::logical_and<std::string>()(\"I am a \", \"handsome programmer\"):"
//              << std::logical_and<std::string>()("I am a ", "handsome programmer") << std::endl;
    return 0;
}

输出

std::logical_and<int*>()(ptr, nullptr):      false
std::logical_and<char>()(50, 2):             true
std::logical_and<char>()('a', 97):           true
std::logical_and<int>()(1023, 1024):         true
std::logical_and<long>()(1023, 1024):        true
std::logical_and<long long>()(1023, 1024):   true
std::logical_and<uint8_t>()(1023, 1024):     true
std::logical_and<uint16_t>()(123, 456):      true
std::logical_and<uint32_t>()(101, 202):      true
std::logical_and<uint64_t>()(10230, 10240):  true
std::logical_and<int8_t>()(1023, 1024):      true
std::logical_and<int16_t>()(123, 456):       true
std::logical_and<int32_t>()(101, 202):       true
std::logical_and<int64_t>()(10230, 10240):   true
std::logical_and<double>()(3.14, 3.14):      true
std::logical_and<float>()(3.14, 3.14):       true
std::logical_and<float>()(3, 3):             true
std::logical_and<float>()(3.56, 3.14):       true
std::logical_and<int>()(3.14, 3.14):         true
std::logical_and<Cell>()(Cell{101, 101}, Cell{202, 202}):       true

  • 6
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值