OneV's Den
·
编译器，靠你了！使用类型改善状态设计
💡
原文中文，约5600字，阅读约需14分钟。
📝
内容提要
在程序开发中，依赖运行时状态逻辑容易引入错误。通过类型系统将状态逻辑编码到类型中，可以在编译时发现潜在问题。将消息分为不同类型（如 RawMessage 和 EncryptedMessage）可避免错误调用，提升安全性和可维护性，简化逻辑并降低重构风险。
🎯
关键要点
- 在程序开发中，依赖运行时状态逻辑容易引入错误。
- 通过类型系统将状态逻辑编码到类型中，可以在编译时发现潜在问题。
- 将消息分为不同类型（如 RawMessage 和 EncryptedMessage）可避免错误调用。
- 设计带有状态的 Message 以支持端到端加密，确保用户隐私。
- 运行时状态逻辑较为脆弱，容易在重构中引入错误。
- 缺乏编译期保障的状态判断可能导致安全隐患。
- 用类型来定义状态可以避免运行时错误，确保编译时安全。
- 通过泛型参数表达状态逻辑，增强类型系统的安全性。
- 添加更高安全等级的状态（如 Secret）可以扩展功能而不引入错误。
- 使用不可复制类型（~Copyable）确保发送后不再访问消息内容。
- 通过类型系统编码关键逻辑，减轻开发者的认知负担，提升维护性。
➡️
