逻辑运算符

See More

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 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 ）
			类内定义	类外定义
非	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
		true	false
b	true	true	false
	false	false	false

or		a
		true	false
b	true	true	true
	false	true	false

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

<tbody> </tbody>

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

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[...] *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 文档