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