rust - 将 `bool` 转化为 `u8`

Question

以下代码在 amd64 上与 Rust 1.8 一起正常工作。

use std::mem;

fn main() {
    let f: u8 = unsafe { mem::transmute(false) };
    let t: u8 = unsafe { mem::transmute(true) };
    assert_eq!(0, f);
    assert_eq!(1, t);
}

我的问题是，我可以假设这将始终有效吗？我试图找到有关 bool 表示的引用，但我只找到了 this和 this ，但我认为这并不权威。

Answer 1

截至 2021 年的更新:The Rust reference现在将 bool 的内存表示定义为等于 0 或 1 的 1 字节值:

An object with the boolean type has a size and alignment of 1 each. The value false has the bit pattern 0x00 and the value true has the bit pattern 0x01. It is undefined behavior for an object with the boolean type to have any other bit pattern.