本文于 2021 年 1 月 5 日译自 《The Rustonomicon》中 Subtyping and Variance 一章，在原文基础上增加了部分目录格式以便于阅读。 前言 子类型是类型之间的一种关系，使静态类型语言更加宽松、灵活。 Rust 中的子类型和其他语言有所不同，更难举出简单的例子——毕竟子类型，尤其是变型，其本身已经很难理解了…