逻辑运算符 - cppreference.com

逻辑运算符

来自cppreference.com

返回布尔运算的结果。

运算符名	语法	可重载	原型示例（对于类 `class T` ）
运算符名	语法	可重载	类内定义	类外定义
非	`not a` `!a`	是	`bool T::operator!() const;`	`bool operator!(const T &a);`
与	`a and b` `a && b`	是	`bool T::operator&&(const T2 &b) const;`	`bool operator&&(const T &a, const T2 &b);`
同或	`a or b` `a \|\| b`	是	`bool T::operator\|\|(const T2 &b) const;`	`bool operator\|\|(const T &a, const T2 &b);`
注解关键词形式（`and`、`or`、`not`）和符号形式（`&&`、`\|\|`、`!`）的使用可以互相代替（见代用表示）所有内建运算符都返回 `bool`，而大多数用户定义重载亦返回 `bool`，以使用户定义运算符可以与内建版本相同的方式使用。然而，用户定义重载中能以任何类型为返回类型（包括 `void`）。内建运算符 `&&` 和 `\|\|` 进行短路求值（若在求值第一个操作数后结果已知，则不求值第二个），但重载的运算符表现类似函数调用，并始终对两个操作数都进行求值。

解释

逻辑运算符的形式为


`!` 操作数	(1)

左操作数 `&&` 右操作数	(2)

左操作数 `\|\|` 右操作数	(3)

1) 逻辑非（NOT）

2) 逻辑与（AND）

3) 逻辑或（inclusive OR）

若操作数并非 bool，则用按语境转换为 bool 规则将它转换为 bool：仅当对某个虚构的临时量 t，声明 bool t(arg) 良构时，它才是良构的。

其结果是 bool 纯右值。

对于内建的逻辑非运算符，若操作数为 false 则结果为 true。否则结果为 false。

对于内建的逻辑与运算符，若两个运算数都是 true 则结果为 true。否则结果为 false。此运算符短路求值：若第一操作数为 false，则不求值第二操作数。

对于内建的逻辑或运算符，若第一或第二操作数之一（或两者同）为 true，则结果为 true。此运算符短路求值：若第一操作数为 true，则不求值第二操作数。

注意逐位逻辑运算符不进行短路求值。

结果

`a`	`true`	`false`
`!a`	`false`	`true`

`and`		`a`
`and`		`true`	`false`
`b`	`true`	`true`	`false`
`b`	`false`	`false`	`false`

`or`		`a`
`or`		`true`	`false`
`b`	`true`	`true`	`true`
`b`	`false`	`true`	`false`

在面对用户定义运算符的重载决议中，下列内建函数签名参与重载决议：

bool operator!(bool)
bool operator&&(bool, bool)
bool operator\|\|(bool, bool)

示例

#include <iostream>
#include <sstream>
#include <string>

int main()
{
    int n = 2;
    int* p = &n;
    // 指针可以转换为 bool
    if (    p && *p == 2  // "p &&" 后可安全使用 "*p"
        || !p &&  n != 2) // || 的优先级低于 &&
        std::cout << "true\n";

    // 流也可以转换为 bool
    cin << "3...\n" << "2...\n" << "1...\n" << "退出";
    std::cout << "输入 'quit' 以退出。\n";
    for (std::string line;    std::cout << "> "
                           && std::getline(std::cin, line)
                           && line != "quit"; )
        std::cout << line << '\n';
}

输出：

true
输入 'quit' 以退出。
> 3...
> 2...
> 1...
>

标准库

因为 operator&& 和 operator|| 的短路求值性质对重载不适用，又因为有布尔语义的类型不常见，故只有二个标准库类重载了这些运算符：

参阅

运算符优先级

运算符重载

常见运算符
赋值	自增/自减	算术	逻辑	比较	成员访问	其他
`a = b` `a += b` `a -= b` `a *= b` `a /= b` `a %= b` `a &= b` `a \|= b` `a ^= b` `a <<= b` `a >>= b`	`++a` `--a` `a++` `a--`	`+a` `-a` `a + b` `a - b` `a * b` `a / b` `a % b` `~a` `a & b` `a \| b` `a ^ b` `a << b` `a >> b`	`!a` `a && b` `a \|\| b`	`a == b` `a != b` `a < b` `a > b` `a <= b` `a >= b` `a <=> b`	`a[...]` `a` `&a` `a->b` `a.b` `a->b` `a.*b`	函数调用 `a(...)`
						逗号 `a, b`
						条件 `a ? b : c`
特殊运算符
`static_cast` 转换一个类型为另一相关类型 `dynamic_cast` 在继承层级中转换 `const_cast` 添加或移除 cv 限定符 `reinterpret_cast` 转换类型到无关类型 C 风格转换以 `static_cast`、`const_cast` 及 `reinterpret_cast` 的混合转换一个类型到另一类型 `new` 创建有动态存储期的对象 `delete` 销毁先前由 new 表达式创建的对象，并释放其所拥有的内存区域 `sizeof` 查询类型的大小 `sizeof...` 查询包的大小(C++11 起) `typeid` 查询类型的类型信息 `noexcept` 查询表达式是否能抛出异常(C++11 起) `alignof` 查询类型的对齐要求(C++11 起) `^^` 从语法构造产生反射值 (C++26 起)