是否预计过大的位移在 Rust 中是未定义的行为？

Question

当你运行这段代码时：

#![allow(exceeding_bitshifts)]

fn main() {
    const NUMBER: u64 = 0b_10101010;

    fn print_shift(i: u32) {
        println!("{:b}", NUMBER >> i);
    }

    print_shift(65);
    println!("{:b}", NUMBER >> 65);
}

您会看到，在编译时或运行时移动具有超过位长度的值的数字的位会产生不同的行为。

这是正常行为吗？它是否记录在某处？这不在list of documented undefined behavior 中。

Answer 1

不，这是不预期的，但它不是未定义的行为。 This is "just" a bug.

应该在编译时如何计算常量与在运行时如何计算值之间没有区别。这通常是一个难题，因为执行编译的机器和运行代码的机器可能具有完全不同的架构。

---

在谈论调试与发布构建时，“太大”的位移行为是意料之中的，而且也是不是未定义的行为。线索在错误信息中：

尝试通过溢出右移

Integer overflow is neither unsafe nor undefined:

Rust 编译器不认为以下行为是不安全的， 尽管程序员可能（应该）发现它们不受欢迎、出乎意料或 错误的。

• ...
• 整数溢出

另见：

• How can integer overflow protection be turned off?