逻辑运算符

表达式

概述
值类别（左值 lvalue、右值 rvalue、亡值 xvalue）
求值顺序（序列点）
常量表达式
潜在求值表达式
初等表达式
lambda 表达式(C++11)
字面量
整数字面量
浮点字面量
布尔字面量
字符字面量，包含转义序列
字符串字面量
空指针字面量(C++11)
用户定义字面量(C++11)
运算符
赋值运算符： `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\|\|b`，`a&&b`，`!a`
比较运算符：`a==b`，`a!=b`，`a<b`，`a>b`，`a<=b`，`a>=b`，`a<=>b`(C++20)
成员访问运算符：`a[b]`，`a`，`&a`，`a->b`，`a.b`，`a->b`，`a.*b`
其他运算符：`a(...)`，`a,b`，`a?b:c`
new 表达式
delete 表达式
throw 表达式
alignof
sizeof
sizeof...(C++11)
typeid
noexcept(C++11)
折叠表达式(C++17)
运算符的代用表示
优先级和结合性
运算符重载
默认比较(C++20)
类型转换
隐式转换
一般算术转换
const_cast
static_cast
reinterpret_cast
dynamic_cast
显式转换 `(T)a`, `T(a)`
用户定义转换

返回布尔运算的结果。

运算符名	语法	可重载	原型示例（对于类 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 <string>
int main()
{
    int n = 2;
    int* p = &n;
    // 指针可以转换为 bool
    if(    p && *p == 2   // "p &&" 后可安全使用 "*p"
       || !p &&  n != 2 ) // || 的优先级低于 &&
        std::cout << "true\n";
 
    // 流也可以转换为 bool
    std::cout << "输入 'quit' 以退出。\n";
    for(std::string line;    std::cout << "> "
                          && std::getline(std::cin, line)
                          && line != "quit"; )
        ;
}

输出：

true
输入 'quit' 以退出。
> test
> quit

标准库

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

operator!	对 valarray 的每个元素应用一元算术运算符 (`std::valarray<T>` 的公开成员函数)
operator&&operator\|\|	对两个 valarray 的每个元素，或一个 valarray 的每个元素和一个值应用二元运算符 (函数模板)
operator!	检查是否有错误发生（`fail()` 的同义词） (`std::basic_ios<CharT,Traits>` 的公开成员函数)

参阅

运算符优先级

运算符重载

常见运算符
赋值	自增/自减	算术	逻辑	比较	成员访问	其他
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[b] 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++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

逻辑运算符

解释

结果

示例

标准库

参阅

导航