diff --git a/src/basic/base-type/numbers.md b/src/basic/base-type/numbers.md index cd785ca86..951754d01 100644 --- a/src/basic/base-type/numbers.md +++ b/src/basic/base-type/numbers.md @@ -29,7 +29,7 @@ Rust 使用一个相对传统的语法来创建整数(`1`,`2`,...)和浮 此外,`isize` 和 `usize` 类型取决于程序运行的计算机 CPU 类型: 若 CPU 是 32 位的,则这两个类型是 32 位的,同理,若 CPU 是 64 位,那么它们则是 64 位。 -整形字面量可以用下表的形式书写: +整型字面量可以用下表的形式书写: | 数字字面量 | 示例 | | ------------------ | ------------- | @@ -289,6 +289,18 @@ fn main() { ``` +对于移位运算,Rust 会检查它是否超出改整型的位数范围,如果超出,则会报错 overflow。比如,一个 8 位的整型,如果试图移位 8 位,就会报错,但如果移位 7 位就不会。Rust 这样做的理由也很简单,如果移位太多,那么这个移位后的数字就是全 0 或者全 1,所以移位操作不如直接写 0 或者 -1,这很可能意味着这里的代码是有问题的。需要注意的是,不论 debug 模式还是 release 模式,Rust 都会检查溢出。 + +```rust +fn main() { + let a: u8 = 255; + let b = a>>7; // ok + let b = a<<7; // ok + let b = a>>8; // overflow + let b = a<<8; // overflow +} +``` + ## 序列(Range) Rust 提供了一个非常简洁的方式,用来生成连续的数值,例如 `1..5`,生成从 1 到 4 的连续数字,不包含 5 ;`1..=5`,生成从 1 到 5 的连续数字,包含 5,它的用途很简单,常常用于循环中: