Is bool guaranteed to be 1 byte?

Question

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?
}

This is related to http://stackoverflow.com/q/36924530/5189607 — malbarbo, Jul 01 '16 at 22:04
See also [What is the correct type for returning a C99 `bool` to Rust via the FFI?](https://stackoverflow.com/q/47705093/155423). — Shepmaster, Nov 13 '18 at 21:32

score 31 · Accepted Answer · edited Feb 06 '23 at 08:02

31

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.

edited Feb 06 '23 at 08:02

E_net4

27,810
13
101
139

answered Jun 27 '16 at 08:15

Andrew Lygin

6,077
1
32
37

In particular [this comment](https://github.com/rust-lang/rfcs/pull/954#issuecomment-83811006) which explicitly states that they don't want to tie down the representation. – Chris Emerson Jun 27 '16 at 08:56

score 19 · Answer 2 · edited Dec 08 '20 at 15:27

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).

Is bool guaranteed to be 1 byte?

2 Answers2

Linked