Rust 是一门 静态类型语言。

编译器必须在编译器知道我们所有变量的类型，但这并不意味着需要为每个变量指定类型。

因为 Rust 编译器很聪明，它可以根据变量的值和上下文中的使用方式来自动推导出变量的类型 ，同时编译器也不够聪明，在某些情况下，它无法推导出变量类型，需要手动去给予一个类型标注。

贡献者

• liuyanliang

版权所有

版权归属：liuyanliang

本文链接：/learn-rust/type-inference/

许可证：署名-非商业性-禁止演绎 4.0 国际 (CC-BY-NC-ND-4.0)