Rust整数字面量与变量类型推断相关技术问询

咱们一个一个来拆解这些问题，都是Rust里类型推断的典型场景：

1. 为什么整数字面量会推断为与其相加的变量的类型，而非默认的i32类型？ #

Rust里的整数字面量（比如25、10）本身是类型待定的整数占位符，不是一开始就默认绑定i32——只有当完全没有上下文约束的时候，编译器才会把它默认当成i32。

当你把字面量和一个有明确类型的变量做加法时，编译器会优先让字面量适配这个已知类型（只要字面量的值在该类型的取值范围内）。毕竟Rust不允许不同整数类型直接相加，必须保证两边类型一致，这是编译器为了满足表达式合法性而采用的「上下文优先」推断规则。

2. 为何变量no_type会被推断为i8类型而非默认的i32类型？ #

先看你贴的代码：

fn main() { 
    let no_type = 25; 
    let int8: i8 = 10; 
    let sum = no_type + int8; 
    println!("{} + {} = {}", no_type, int8, sum); 
}

核心原因在no_type + int8这个加法表达式上：Rust要求二元运算的两个操作数类型必须完全匹配。int8是明确的i8类型，而25这个值刚好在i8的取值范围（-128到127）内，所以编译器会逆向推导no_type的类型为i8，这样才能让加法合法。

要是你把no_type的初始值改成130（超出i8范围），编译器就会报错——因为没法把130塞进i8里，这时候如果没有其他上下文约束，no_type才会默认是i32。

3. 以下代码中变量x和y的类型是什么？ #

先看这段代码：

fn main() { 
    let x = 12; 
    let y = 13; 
    println!("{}", x + y); 
    let z: i8 = 10; 
    println!("{}", z + x); 
}

x和y都会被推断为i8类型，原因是这样的：

• Rust的类型推断是全局扫描的，编译器会看整个函数的上下文来确定变量类型，不是只看变量定义那一行。
• 后面出现了z + x的表达式，z是明确的i8，那x必须也是i8才能做加法，而12完全在i8的取值范围内，没问题。
• y和x做加法，自然也会被推断成和x一样的i8类型。

要是你把x改成130，编译器就会报错——因为130超出了i8的范围，没法适配，这时候如果没有z + x的约束，x和y才会默认是i32。

内容的提问来源于stack exchange，提问作者r_duck