ESLint 中关于德摩根定律自动转换规则的探讨

德摩根定律是布尔代数中的经典法则，在编程中经常被用来简化逻辑表达式。最近在 ESLint 项目中，有人建议增加一个核心规则来自动执行德摩根变换，引发了关于规则适用性的讨论。

德摩根定律简介

德摩根定律包含两个重要的布尔代数转换规则：

1. 非(A 且 B) = 非A 或 非B
2. 非(A 或 B) = 非A 且 非B

在 JavaScript 中，这意味着像 !(a && b) 这样的表达式可以转换为 !a || !b，而 !(a || b) 可以转换为 !a && !b。

建议内容

建议者希望 ESLint 核心能够包含一个规则，自动检测并修复以下情况：

• 将 !(A && B) 转换为 !A || !B
• 将 !(A || B) 转换为 !A && !B

这种转换被认为可以提高代码可读性，特别是在大型项目中保持一致的编码风格。

核心团队的观点

ESLint 核心团队经过讨论后认为：

1. 这是一个风格性规则，而非功能性规则
2. 代码可读性的提升是主观的，不同团队可能有不同偏好
3. 根据 ESLint 的规则政策，这类风格性规则更适合作为插件存在

替代方案

虽然这个规则没有被纳入 ESLint 核心，但社区已经实现了相应的插件解决方案。开发者可以根据项目需要，选择性地引入这类规则。

实际应用建议

对于希望应用德摩根定律的团队，可以考虑：

1. 在代码审查时手动应用这些转换
2. 使用专门的 ESLint 插件来强制执行
3. 在项目文档中明确编码规范，说明是否偏好使用德摩根定律转换

总结

虽然德摩根定律在逻辑优化中很有价值，但将其作为强制性的代码风格规则并不适合所有项目。ESLint 团队保持了其一贯的立场，将这类风格决策留给开发团队自行决定，通过插件机制提供灵活性。这种设计哲学确保了 ESLint 核心保持轻量化和专注性，同时为特定需求提供了扩展空间。