Rust的类型推断如何跨多个语句工作?

时间:2016-05-31 10:18:46

标签: rust type-inference

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

类型推断和类型推导有哪些规则?

1 个答案:

答案 0 :(得分:6)

Rust使用Hindley-Milner类型系统。它是一组关于根据其用法建立表达式类型的规则。

可以在那里找到它的正式描述和解释:

"What part of Hindley-Milner do you not understand?"