Логический тип

#![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, обратное не всегда безопасно).