抽象数据类型：接口、实现、表示独立性与不变量

本专题已纳入学习路线，正文将在路线架构审查通过后补充。