trait 描述类型必须提供的能力，泛型把实现留到使用具体类型时组合。先有两个实现，再理解抽象解决了哪份重复。

struct 表达同时存在的字段，enum 表达互斥的状态。把状态建模进类型，可以避免多个布尔值组合出无效情况。

所有权回答谁负责释放，借用回答谁暂时访问。值是否 Copy 由类型能力决定，不由“看起来很小”决定。

rustup 管工具链，cargo 管构建与依赖。edition 是源码语言模式，不等于编译器版本号。