跨越20年的对话：从 Eiffel 的“契约”到 Go 的“接口”
💡
原文中文，约7500字，阅读约需18分钟。
📝
内容提要
本文探讨了契约式设计（DbC）在Eiffel和Go语言中的应用。Eiffel通过前置条件、后置条件和不变量确保软件可靠性，而Go则通过接口和强类型系统体现契约精神。尽管实现方式不同，两者均强调信任与责任，鼓励开发者关注权利与义务。
🎯
关键要点
- 契约式设计（DbC）在Eiffel和Go语言中的应用
- Eiffel通过前置条件、后置条件和不变量确保软件可靠性
- Go语言通过接口和强类型系统体现契约精神
- 契约的核心价值在于信任与责任
- Eiffel语言将契约内置到语法层面
- Go语言的接口设计强调行为契约
- Go语言利用强类型系统实施契约检查
- 在Go中，前置条件检查可以使用panic或error
- 后置条件的验证可以通过单元测试和模糊测试实现
- 不变量通过封装和构造函数来维护
- Go语言的设计哲学强调简洁、组合和并发
- 契约精神应刻在每位工程师的心里
➡️
