类型推导

类型推导引擎是相当智能的。它不仅仅在初始化期间分析右值的类型，还会通过分析变量在后面是
怎么使用的来推导该变量的类型。这里给出一个类型推导的高级例子：

  1. fn main() {
  2.     // 借助类型标注，编译器知道 `elem` 具有 u8 类型。
  3.     let elem = 5u8;
  5.     // 创建一个空 vector（可增长数组）。
  6.     let mut vec = Vec::new();
  7.     // 此时编译器并未知道 `vec` 的确切类型，它只知道 `vec` 是一个含有某种类型
  8.     // 的 vector（`Vec<_>`）。
  10.     // 将 `elem` 插入 vector。
  11.     vec.push(elem);
  12.     // Aha！现在编译器就知道了 `vec` 是一个含有 `u8` 类型的 vector(`Vec<u8>`)
  13.     // 试一试 ^ 尝试将 `vec.push(elem)` 那行注释掉
  15.     println!("{:?}", vec);
  16. }

无需变量的类型标注，编译器和程序员都很开心（the compiler is happy and so is the
programmer）！