CODEWITHSUNDEEP
sizerustprimitive-types
Trevor Hickey
Trevor Hickey

Reputation: 37914

Is bool guaranteed to be 1 byte?

The Rust documentation is vague on bool's size.
Is it guaranteed to be 1 byte, or is it unspecified like in C++? 

fn main() {
    use std::mem;
    println!("{}",mem::size_of::<bool>()); //always 1?
}

Upvotes: 32

Views: 11041

Answers (2)

Andrew Lygin
Andrew Lygin

Reputation: 6197

Rust emits i1 to LLVM for bool and relies on whatever it produces. LLVM uses i8 (one byte) to represent i1 in memory for all the platforms supported by Rust for now. On the other hand, there's no certainty about the future, since the Rust developers have been refusing to commit to the particular bool representation so far.

So, it's guaranteed by the current implementation but not guaranteed by any specifications.

You can find more details in this RFC discussion and the linked PR and issue.

Please, see E_net4's answer for more information about changes introduced in Rust since this answer had been published.

Upvotes: 32

E_net4
E_net4

Reputation: 30042

While historically there was a wish to avoid committing to a more specific representation, it was eventually decided in January 2018 that bool should provide the following guarantees:

  • The definition of bool is equivalent to the C99 definition of _Bool
    • In turn, for all currently supported platforms, the size of bool is exactly 1.

The documentation has been updated accordingly. In the Rust reference, bool is defined as thus:

The bool type is a datatype which can be either true or false. The boolean type uses one byte of memory. [...]

It has also been documented since 1.25.0 that the output of std::mem::size_of::<bool>() is 1.

As such, one can indeed rely on bool being 1 byte (and if this is ever to change, it will be a pretty loud change).

See also:

Upvotes: 19

Related Questions