Rust在相当高级的情况下执行类型推断。有人可以解释(或指向)描述能够和不能推断出什么的规则吗?
第一个很简单:绑定的类型是绑定表达式的类型:
let n = 10u32;
// Same as:
// vvvvv
let n: u32 = 10u32;
下一个对我来说更令人惊讶:右边的通用参数是从左边的绑定类型中推导出来的:
let n: u32 = "10".parse().unwrap();
// same as: vvvvvvv
let n: u32 = "10".parse::<u32>().unwrap();
这也适用于&#34;会员功能&#34;通用类型:
let b = Box::new(10u32);
// same as:
// vvvvv vvvvvvv
let b: Box<u32> = Box::<u32>::new(10u32);
但最奇怪的是跨语句的类型推断:
let v = Vec::new(); // no type!
v.push(10u32); // apparently v is Vec<u32>?!
// v.push(10i32); // type error
类型推断和类型推导有哪些规则?