Why isn’t mutable a subtype of immutable, or vice versa?
crumbles.blog原文 ↗
可变值若被当成不可变值，其他别名可以观察到违反只读假设的写入；不可变值反向冒充可变值，又无法满足更新操作。文章借此说明子类型关系必须同时尊重读权限、写权限和别名安全，不能按“功能更多所以是子类型”直觉决定。
–浏览
crumbles.blog原文 ↗
评论 · Comments