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