逻辑运算符

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw-表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储持续时间说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔值 - 整型 - 浮点型
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
实用工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特定的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

表达式

通用
值类别 求值顺序 常量表达式 主要表达式	Lambda 表达式 (C++11) Requires 表达式 (C++20) 包索引表达式 (C++26) 潜在求值表达式
字面量
整型字面量 浮点型字面量 布尔字面量 字符字面量	转义序列 字符串字面量 空指针字面量 (C++11) 用户定义字面量 (C++11)
运算符
赋值运算符 递增和递减 算术运算符 逻辑运算符 比较运算符 成员访问运算符 其他运算符 new-表达式 delete-表达式 throw-表达式	alignof sizeof sizeof... (C++11) typeid noexcept (C++11) 折叠表达式 (C++17) 运算符的替代表示 优先级和结合性 运算符重载 默认比较 (C++20)
转换
隐式转换 显式转换 常用算术转换     用户定义的转换	const_cast static_cast dynamic_cast reinterpret_cast

 

返回布尔运算的结果。

运算符名称	语法	可重载	原型示例 (对于 class T)
			在类定义内部	在类定义外部
取反	非 a !a	是	bool T::operator!() const;	bool operator!(const T &a);
与	a 与 b a && b	是	bool T::operator&&(const T2 &b) const;	bool operator&&(const T &a, const T2 &b);
包含或	a 或 b a || b	是	bool T::operator||(const T2 &b) const;	bool operator||(const T &a, const T2 &b);
注释 关键字形式 (and, or, not) 和符号形式 (&&, ||, !) 可以互换使用（参见 替代表示）。 所有内置运算符都返回 bool，并且大多数用户自定义重载也返回 bool，以便用户自定义的运算符可以像内置运算符一样使用。但是，在用户自定义的运算符重载中，任何类型都可以用作返回类型（包括 void）。 内置运算符 && 和 || 执行短路求值（如果在评估第一个操作数后结果已知，则不评估第二个操作数），但重载运算符的行为类似于常规函数调用，并且始终评估两个操作数。

解释

逻辑运算符表达式的形式为

! rhs	(1)
lhs && rhs	(2)
lhs || rhs	(3)

1) 逻辑非

2) 逻辑与

3) 逻辑包含或

如果操作数不是 bool，则会使用上下文转换到 bool 将其转换为 bool：只有当声明 bool t(arg) 格式良好时，它才是格式良好的，对于一些发明的临时变量 t。

结果是一个 bool prvalue。

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

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

对于内置逻辑或运算符，如果第一个或第二个操作数（或两者）为 true，则结果为 true。此运算符是短路的：如果第一个操作数为 true，则不评估第二个操作数。

请注意，按位逻辑运算符不执行短路。

结果

a	true	false
!a	false	true

与		a
		true	false
b	true	true	false
	false	false	false

或		a
		true	false
b	true	true	true
	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;
    // pointers are convertible to bool
    if (    p && *p == 2  // "*p" is safe to use after "p &&"
        || !p &&  n != 2) // || has lower precedence than &&
        std::cout << "true\n";
 
    // streams are also convertible to bool
    std::stringstream cin;
    cin << "3...\n" << "2...\n" << "1...\n" << "quit";
    std::cout << "Enter 'quit' to quit.\n";
    for (std::string line;    std::cout << "> "
                           && std::getline(cin, line)
                           && line != "quit";)
        std::cout << line << '\n';
}

输出

true
Enter 'quit' to quit.
> 3...
> 2...
> 1...
>

标准库

由于 operator&& 和 operator|| 的短路特性不适用于重载，并且由于具有布尔语义的类型不常见，因此只有两个标准库类重载这些运算符

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

参见

运算符优先级

运算符重载

logical_and	实现 x && y 的函数对象 （类模板）
logical_or	实现 x || y 的函数对象 （类模板）
logical_not	实现 !x 的函数对象 （类模板）

常用运算符
赋值	递增 递减	算术	逻辑	比较	成员 访问	其他
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 文档 关于 逻辑运算符