The Compiler Is Your Best Friend, Stop Lying to It
5 months ago
- #type-safety
- #programming
- #compiler
- 文章讨论了不对编译器撒谎的重要性，以避免运行时错误并提高代码安全性。
- 解释了编译器的定义及其典型工作流程：解析、类型检查、优化和代码生成。
- 不同语言有不同的编译器行为：Rust的预编译、Java的即时编译和TypeScript的转译。
- 常见的编译器欺骗行为包括使用null、未检查异常、类型强制转换和副作用，这些可能导致运行时错误。
- 文章建议通过使用Option类型处理null、Result类型处理异常、避免强制转换以及隔离纯函数与副作用来停止这些欺骗行为。
- 通过诚实对待编译器，它能帮助强化不变量，使非法状态无法表示，从而提高代码安全性。
- 使用类型包装器和联合类型可让编译器追踪更多信息，使代码重构和理解更轻松。
- 文章最后用一个真实案例展示了对编译器撒谎（使用null）如何导致重大故障，而诚实编码本可避免该问题。