布尔类型

#![allow(unused)]
fn main() {
let b: bool = true;
}

布尔类型或 bool 是一种原始数据类型，可以取两个值之一，称为 true 和 false。

此类型的值可以使用字面量表达式通过关键字 true 和 false 来创建，分别对应同名的值。

此类型属于语言预导入的一部分，其名称为 bool。

布尔类型的对象具有1的大小和对齐。

值 false 的位模式为 0x00，值 true 的位模式为 0x01。布尔类型的对象具有任何其它位模式是未定义行为。

布尔类型是多种表达式中许多操作数的类型：

• if 表达式和 while 表达式中的条件操作数

• 惰性布尔运算符表达式中的操作数

与所有原始类型一样，布尔类型实现了 trait Clone、Copy、Sized、Send 和 Sync。

布尔值的运算

当使用某些运算符表达式对布尔类型的操作数进行运算时，它们按照布尔逻辑的规则求值。

逻辑非

逻辑或

逻辑与

逻辑异或

比较

• a != b 与 !(a == b) 相同

• a >= b 与 a == b | a > b 相同

• a < b 与 !(a >= b) 相同

• a <= b 与 a == b | a < b 相同

位有效性

bool 的单个字节保证被初始化（换句话说，transmute::<bool, u8>(...) 始终是可靠的——但由于某些位模式是无效的 bool，反过来并不总是可靠的）。