Primitive Type bool

1.0.0 ·
Expand description

The boolean type.

The bool represents a value, which could only be either true or false. If you cast a bool into an integer, true will be 1 and false will be 0.

Basic usage

bool implements various traits, such as BitAnd, BitOr, Not, etc., which allow us to perform boolean operations using &, | and !.

if requires a bool value as its conditional. assert!, which is an important macro in testing, checks whether an expression is true and panics if it isn’t.

let bool_val = true & false | false;
assert!(!bool_val);
Run

Examples

A trivial example of the usage of bool:

let praise_the_borrow_checker = true;

// using the `if` conditional
if praise_the_borrow_checker {
    println!("oh, yeah!");
} else {
    println!("what?!!");
}

// ... or, a match pattern
match praise_the_borrow_checker {
    true => println!("keep praising!"),
    false => println!("you should praise!"),
}
Run

Also, since bool implements the Copy trait, we don’t have to worry about the move semantics (just like the integer and float primitives).

Now an example of bool cast to integer type:

assert_eq!(true as i32, 1);
assert_eq!(false as i32, 0);
Run

Implementations§

source§

impl bool

1.62.0 · source

pub fn then_some<T>(self, t: T) -> Option<T>

Returns Some(t) if the bool is true, or None otherwise.

Arguments passed to then_some are eagerly evaluated; if you are passing the result of a function call, it is recommended to use then, which is lazily evaluated.

Examples
assert_eq!(false.then_some(0), None);
assert_eq!(true.then_some(0), Some(0));
Run
let mut a = 0;
let mut function_with_side_effects = || { a += 1; };

true.then_some(function_with_side_effects());
false.then_some(function_with_side_effects());

// `a` is incremented twice because the value passed to `then_some` is
// evaluated eagerly.
assert_eq!(a, 2);
Run
1.50.0 · source

pub fn then<T, F>(self, f: F) -> Option<T>where F: FnOnce() -> T,

Returns Some(f()) if the bool is true, or None otherwise.

Examples
assert_eq!(false.then(|| 0), None);
assert_eq!(true.then(|| 0), Some(0));
Run
let mut a = 0;

true.then(|| { a += 1; });
false.then(|| { a += 1; });

// `a` is incremented once because the closure is evaluated lazily by
// `then`.
assert_eq!(a, 1);
Run

Trait Implementations§

source§

impl BitAnd<&bool> for &bool

§

type Output = <bool as BitAnd<bool>>::Output

The resulting type after applying the & operator.
source§

fn bitand(self, other: &bool) -> <bool as BitAnd<bool>>::Output

Performs the & operation. Read more
source§

impl BitAnd<&bool> for bool

§

type Output = <bool as BitAnd<bool>>::Output

The resulting type after applying the & operator.
source§

fn bitand(self, other: &bool) -> <bool as BitAnd<bool>>::Output

Performs the & operation. Read more
source§

impl<T, const LANES: usize> BitAnd<Mask<T, LANES>> for boolwhere T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the & operator.
source§

fn bitand(self, rhs: Mask<T, LANES>) -> Mask<T, LANES>

Performs the & operation. Read more
source§

impl<'a> BitAnd<bool> for &'a bool

§

type Output = <bool as BitAnd<bool>>::Output

The resulting type after applying the & operator.
source§

fn bitand(self, other: bool) -> <bool as BitAnd<bool>>::Output

Performs the & operation. Read more
source§

impl<T, const LANES: usize> BitAnd<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the & operator.
source§

fn bitand(self, rhs: bool) -> Mask<T, LANES>

Performs the & operation. Read more
source§

impl BitAnd<bool> for bool

§

type Output = bool

The resulting type after applying the & operator.
source§

fn bitand(self, rhs: bool) -> bool

Performs the & operation. Read more
1.22.0 · source§

impl BitAndAssign<&bool> for bool

source§

fn bitand_assign(&mut self, other: &bool)

Performs the &= operation. Read more
source§

impl<T, const LANES: usize> BitAndAssign<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

source§

fn bitand_assign(&mut self, rhs: bool)

Performs the &= operation. Read more
1.8.0 · source§

impl BitAndAssign<bool> for bool

source§

fn bitand_assign(&mut self, other: bool)

Performs the &= operation. Read more
source§

impl BitOr<&bool> for &bool

§

type Output = <bool as BitOr<bool>>::Output

The resulting type after applying the | operator.
source§

fn bitor(self, other: &bool) -> <bool as BitOr<bool>>::Output

Performs the | operation. Read more
source§

impl BitOr<&bool> for bool

§

type Output = <bool as BitOr<bool>>::Output

The resulting type after applying the | operator.
source§

fn bitor(self, other: &bool) -> <bool as BitOr<bool>>::Output

Performs the | operation. Read more
source§

impl<T, const LANES: usize> BitOr<Mask<T, LANES>> for boolwhere T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the | operator.
source§

fn bitor(self, rhs: Mask<T, LANES>) -> Mask<T, LANES>

Performs the | operation. Read more
source§

impl<'a> BitOr<bool> for &'a bool

§

type Output = <bool as BitOr<bool>>::Output

The resulting type after applying the | operator.
source§

fn bitor(self, other: bool) -> <bool as BitOr<bool>>::Output

Performs the | operation. Read more
source§

impl<T, const LANES: usize> BitOr<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the | operator.
source§

fn bitor(self, rhs: bool) -> Mask<T, LANES>

Performs the | operation. Read more
source§

impl BitOr<bool> for bool

§

type Output = bool

The resulting type after applying the | operator.
source§

fn bitor(self, rhs: bool) -> bool

Performs the | operation. Read more
1.22.0 · source§

impl BitOrAssign<&bool> for bool

source§

fn bitor_assign(&mut self, other: &bool)

Performs the |= operation. Read more
source§

impl<T, const LANES: usize> BitOrAssign<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

source§

fn bitor_assign(&mut self, rhs: bool)

Performs the |= operation. Read more
1.8.0 · source§

impl BitOrAssign<bool> for bool

source§

fn bitor_assign(&mut self, other: bool)

Performs the |= operation. Read more
source§

impl BitXor<&bool> for &bool

§

type Output = <bool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.
source§

fn bitxor(self, other: &bool) -> <bool as BitXor<bool>>::Output

Performs the ^ operation. Read more
source§

impl BitXor<&bool> for bool

§

type Output = <bool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.
source§

fn bitxor(self, other: &bool) -> <bool as BitXor<bool>>::Output

Performs the ^ operation. Read more
source§

impl<T, const LANES: usize> BitXor<Mask<T, LANES>> for boolwhere T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the ^ operator.
source§

fn bitxor(self, rhs: Mask<T, LANES>) -> <bool as BitXor<Mask<T, LANES>>>::Output

Performs the ^ operation. Read more
source§

impl<'a> BitXor<bool> for &'a bool

§

type Output = <bool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.
source§

fn bitxor(self, other: bool) -> <bool as BitXor<bool>>::Output

Performs the ^ operation. Read more
source§

impl<T, const LANES: usize> BitXor<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

§

type Output = Mask<T, LANES>

The resulting type after applying the ^ operator.
source§

fn bitxor(self, rhs: bool) -> <Mask<T, LANES> as BitXor<bool>>::Output

Performs the ^ operation. Read more
source§

impl BitXor<bool> for bool

§

type Output = bool

The resulting type after applying the ^ operator.
source§

fn bitxor(self, other: bool) -> bool

Performs the ^ operation. Read more
1.22.0 · source§

impl BitXorAssign<&bool> for bool

source§

fn bitxor_assign(&mut self, other: &bool)

Performs the ^= operation. Read more
source§

impl<T, const LANES: usize> BitXorAssign<bool> for Mask<T, LANES>where T: MaskElement, LaneCount<LANES>: SupportedLaneCount,

source§

fn bitxor_assign(&mut self, rhs: bool)

Performs the ^= operation. Read more
1.8.0 · source§

impl BitXorAssign<bool> for bool

source§

fn bitxor_assign(&mut self, other: bool)

Performs the ^= operation. Read more
source§

impl Clone for bool

source§

fn clone(&self) -> bool

Returns a copy of the value. Read more
source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for bool

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl Default for bool

source§

fn default() -> bool

Returns the default value of false

source§

impl Display for bool

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl Eq for bool

1.24.0 · source§

impl From<bool> for AtomicBool

source§

fn from(b: bool) -> AtomicBool

Converts a bool into an AtomicBool.

Examples
use std::sync::atomic::AtomicBool;
let atomic_bool = AtomicBool::from(true);
assert_eq!(format!("{atomic_bool:?}"), "true")
Run
1.68.0 · source§

impl From<bool> for f32

source§

fn from(small: bool) -> f32

Converts bool to f32 losslessly. The resulting value is positive 0.0 for false and 1.0 for true values.

Examples
let x: f32 = false.into();
assert_eq!(x, 0.0);
assert!(x.is_sign_positive());

let y: f32 = true.into();
assert_eq!(y, 1.0);
Run
1.68.0 · source§

impl From<bool> for f64

source§

fn from(small: bool) -> f64

Converts bool to f64 losslessly. The resulting value is positive 0.0 for false and 1.0 for true values.

Examples
let x: f64 = false.into();
assert_eq!(x, 0.0);
assert!(x.is_sign_positive());

let y: f64 = true.into();
assert_eq!(y, 1.0);
Run
1.28.0 · source§

impl From<bool> for i128

source§

fn from(small: bool) -> i128

Converts a bool to a i128. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(i128::from(true), 1);
assert_eq!(i128::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for i16

source§

fn from(small: bool) -> i16

Converts a bool to a i16. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(i16::from(true), 1);
assert_eq!(i16::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for i32

source§

fn from(small: bool) -> i32

Converts a bool to a i32. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(i32::from(true), 1);
assert_eq!(i32::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for i64

source§

fn from(small: bool) -> i64

Converts a bool to a i64. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(i64::from(true), 1);
assert_eq!(i64::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for i8

source§

fn from(small: bool) -> i8

Converts a bool to a i8. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(i8::from(true), 1);
assert_eq!(i8::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for isize

source§

fn from(small: bool) -> isize

Converts a bool to a isize. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(isize::from(true), 1);
assert_eq!(isize::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for u128

source§

fn from(small: bool) -> u128

Converts a bool to a u128. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(u128::from(true), 1);
assert_eq!(u128::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for u16

source§

fn from(small: bool) -> u16

Converts a bool to a u16. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(u16::from(true), 1);
assert_eq!(u16::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for u32

source§

fn from(small: bool) -> u32

Converts a bool to a u32. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(u32::from(true), 1);
assert_eq!(u32::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for u64

source§

fn from(small: bool) -> u64

Converts a bool to a u64. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(u64::from(true), 1);
assert_eq!(u64::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for u8

source§

fn from(small: bool) -> u8

Converts a bool to a u8. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(u8::from(true), 1);
assert_eq!(u8::from(false), 0);
Run
1.28.0 · source§

impl From<bool> for usize

source§

fn from(small: bool) -> usize

Converts a bool to a usize. The resulting value is 0 for false and 1 for true values.

Examples
assert_eq!(usize::from(true), 1);
assert_eq!(usize::from(false), 0);
Run
source§

impl FromStr for bool

source§

fn from_str(s: &str) -> Result<bool, ParseBoolError>

Parse a bool from a string.

The only accepted values are "true" and "false". Any other input will return an error.

Examples
use std::str::FromStr;

assert_eq!(FromStr::from_str("true"), Ok(true));
assert_eq!(FromStr::from_str("false"), Ok(false));
assert!(<bool as FromStr>::from_str("not even a boolean").is_err());
Run

Note, in many cases, the .parse() method on str is more proper.

assert_eq!("true".parse(), Ok(true));
assert_eq!("false".parse(), Ok(false));
assert!("not even a boolean".parse::<bool>().is_err());
Run
§

type Err = ParseBoolError

The associated error which can be returned from parsing.
source§

impl Hash for bool

source§

fn hash<H>(&self, state: &mut H)where H: Hasher,

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl Not for &bool

§

type Output = <bool as Not>::Output

The resulting type after applying the ! operator.
source§

fn not(self) -> <bool as Not>::Output

Performs the unary ! operation. Read more
source§

impl Not for bool

§

type Output = bool

The resulting type after applying the ! operator.
source§

fn not(self) -> bool

Performs the unary ! operation. Read more
source§

impl Ord for bool

source§

fn cmp(&self, other: &bool) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval. Read more
source§

impl PartialEq<bool> for bool

source§

fn eq(&self, other: &bool) -> bool

This method tests for self and other values to be equal, and is used by ==.
source§

fn ne(&self, other: &bool) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd<bool> for bool

source§

fn partial_cmp(&self, other: &bool) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
source§

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator. Read more
source§

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
source§

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator. Read more
source§

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
1.68.0 · source§

impl ToString for bool

source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl ConstParamTy for bool

source§

impl Copy for bool

source§

impl StructuralEq for bool

source§

impl StructuralPartialEq for bool

Auto Trait Implementations§

§

impl RefUnwindSafe for bool

§

impl Send for bool

§

impl Sync for bool

§

impl Unpin for bool

§

impl UnwindSafe for bool

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.