布尔类型

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

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

该类型的值可以使用 字面量表达式 创建，使用对应于同名值的关键字 true 和 false 。

该类型是 语言预导入 的一部分， 名称 为 bool 。

布尔类型的对象其 大小和对齐 均为 1 。

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

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

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

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

与所有原始类型一样，布尔类型 实现 了 特型 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 ，其反向操作并不总是健全的) 。