The Absurdity of Error Handling

《The Absurdity of Error Handling》主要探讨了错误处理在安全关键型系统中的复杂性和局限性，以下是核心观点的总结： 1. **语言设计与错误处理的侧重点**： - 编程语言设计更关注未定义行为（UB），而功能安全则更关注整个系统的正确行为。 - 错误处理假设某些“错误”情况是异常但可控、可预测并且可以在应用层面恢复的。 2. **错误处理的荒谬性**： - 实际上，能够被“处理”的错误集合几乎为空。 - 错误处理引入了复杂性，价值存疑，可能增加责任问题。 3. **错误处理的合理性**： - 在安全关键型系统中，错误处理被认为是提供容错能力的方式，但这种假设需要重新审视。 - 常见的错误处理案例要么并非真正的错误，要么无法恢复。 - SYCL SC的错误处理API设计是否存在“大家以为需要，但实际上无法正确使用且引入不必要复杂性”的问题。 4. **为什么这对SYCL SC重要**： - 安全关键型系统需要在未预料的情况下保持健壮性。 - 错误处理的复杂性和局限性可能会影响系统设计和可靠性。 总结来看，错误处理在安全关键型系统中的角色和价值需要重新评估，过度依赖错误处理可能导致设计复杂化，而真正可控的错误情况往往非常有限。