ESLint eqeqeq 规则完全指南强制使用 与 ! 消除隐式类型转换陷阱【免费下载链接】eslintFind and fix problems in your JavaScript code.项目地址: https://gitcode.com/GitHub_Trending/es/eslint本指南围绕 ESLint 内置规则eqeqeq展开讲解其为何被广泛推荐、always/smart/allow-null三种模式及null子选项的完整配置方式并结合仓库源码 lib/rules/eqeqeq.js 与测试用例 tests/lib/rules/eqeqeq.js 剖析其自动修复--fix与建议修复suggestion的底层判定逻辑。读完你将能精确配置该规则并理解其在什么情况下可以安全自动修复、什么情况下只提供建议。为什么推荐使用与!业界普遍将类型严格相等运算符与!视为良好实践而非类型安全的与!被认为应当避免。根本原因在于与!会执行隐式类型转换type coercion其行为遵循 JavaScript 规范中晦涩难懂的抽象相等比较算法Abstract Equality Comparison Algorithm极易引发难以察觉的 Bug。例如下面这些表达式在下全部判定为true[] false[] ![]3 03如果其中一个出现在看似人畜无害的语句a b中实际的问题往往极难定位——这正是eqeqeq规则存在的意义在编译检查阶段就把类型不安全比较拦截下来。Rule Details规则如何识别问题eqeqeq规则的目标是消除类型不安全的相等运算符。它监听 AST 中的BinaryExpression节点见 lib/rules/eqeqeq.js当节点的operator为或!时触发报告。该规则的错误incorrect代码示例/*eslint eqeqeq: error*/ if (x 42) { } if ( text) { } if (obj.getStuff() ! undefined) { }规则在元信息中声明为type: suggestion、hasSuggestions: true且fixable: code见 lib/rules/eqeqeq.js这意味着它既支持命令行自动修复也支持编辑器中快速修复式的建议。该规则默认不在推荐配置eslint:recommended中recommended: false需要显式开启。自动修复的边界何时--fix何时只给建议命令行--fix选项会自动修复该规则报告的一部分问题判定条件在 lib/rules/eqeqeq.js 的report函数中满足以下任一条件时直接自动修复其中一个操作数是typeof表达式两个操作数都是同类型的字面量。其余情况只提供 suggestion 建议可手动应用或经编辑器触发因为此时修改运算符可能改变运行时行为——当两个操作数类型不同时与的语义并不等价。从源码看同类型字面量的判定由getLiteralType与areLiteralsAndSameType完成lib/rules/eqeqeq.js普通Literal节点按其值的typeof结果归类无插值的静态模板字符串如hello即TemplateLiteral且expressions.length 0归为string类型其他情况返回null即无法确认类型此时不会自动修复只提供建议。规则会向用户报告两类消息messages定义于 lib/rules/eqeqeq.jsunexpectedExpected {{expectedOperator}} and instead saw {{actualOperator}}.replaceOperator建议消息Use {{expectedOperator}} instead of {{actualOperator}}.Options 总览eqeqeq的配置 schema见 lib/rules/eqeqeq.js接受两种形态[error, always, { null: ... }]——always可带可选的第二参数对象[error, smart]或[error, allow-null]——单独字符串选项。默认选项为[always]defaultOptions: [always]。always默认always选项默认值要求所有场景都使用与!除非你通过下面的null子选项对null做了特化处理。always选项下的错误incorrect代码/*eslint eqeqeq: [error, always]*/ a b foo true bananas ! 1 value undefined typeof foo undefined hello ! world 0 0 true true foo nullalways选项下的正确correct代码/*eslint eqeqeq: [error, always]*/ a b foo true bananas ! 1 value undefined typeof foo undefined hello ! world 0 0 true true foo null该选项可选地接收第二个参数对象支持的属性如下属性可选值说明nullalways默认始终要求对null使用或!nullnever永远不对null使用或!nullignore不对null应用本规则例如/*eslint eqeqeq: [error, always, {null: ignore}]*/ foo null // 正确与 null 的比较被放行 foo null // 正确严格比较同样被允许 a b // 错误变量间比较仍必须严格smartsmart选项强制使用与!但排除以下三种情况比较两个字面量对typeof的结果求值与null比较。smart选项下的错误incorrect代码/*eslint eqeqeq: [error, smart]*/ // 比较两个变量必须使用 a b // 只有一侧是字面量 foo true bananas ! 1 // 与 undefined 比较必须使用 value undefinedsmart选项下的正确correct代码/*eslint eqeqeq: [error, smart]*/ typeof foo undefined hello ! world 0 0 true true foo null从源码看smart模式的放行逻辑在 lib/rules/eqeqeq.js当配置为smart且满足任一侧是typeof表达式、或两侧是同类型字面量、或任一侧是null字面量之一时直接return不报告。注意true 1这类不同类型的字面量比较在smart下依然会被报告参见 tests/lib/rules/eqeqeq.js因为二者类型不同、语义不可靠。allow-null已弃用已弃用Deprecated请改用always并配合null子选项值ignore它告诉 ESLint除与null字面量比较外一律强制严格相等。[error, always, {null: ignore}]尽管已弃用allow-null在 schema 中仍被保留并兼容解析等价于上述配置。null 子选项的源码级解读null子选项的生效逻辑位于 lib/rules/eqeqeq.jsconst nullOption config always ? options.null || always : ignore; const enforceRuleForNull nullOption always; const enforceInverseRuleForNull nullOption never;值得注意的两点null子选项只在always模式下生效若配合smart或allow-null其值被强制视为ignore。当null: never时规则逻辑发生反转不仅放行a null还会反向报告a null/a ! null并建议改为/!。对应报告逻辑在 lib/rules/eqeqeq.js对/!且含null字面量的节点将运算符去除一个后报告测试用例见 tests/lib/rules/eqeqeq.js。如何识别真正的 null 字面量规则判断是否与null比较时调用了 lib/rules/utils/ast-utils.js 中的isNullLiteral。该函数要求节点是Literal、value null、且不是正则字面量node.regex也不是 BigInt 字面量node.bigint。注释解释了原因某些环境下无法表示的值如旧版 Node 中的 Unicode 正则解析后node.value也会是null仅凭value null会误判见 eslint issue #8020。这也是测试中专门覆盖foo /abc/u与foo 1n的原因tests/lib/rules/eqeqeq.js。修复行为实测哪些代码会被直接改写通过测试用例可以精确归纳自动修复的覆盖范围tests/lib/rules/eqeqeq.js输入代码自动修复结果依据typeof a numbertypeof a number直接修复typeof 操作数命中自动修复条件true truetrue true直接修复两侧同为 boolean 字面量2 32 3直接修复两侧同为 number 字面量hello worldhello world直接修复静态模板字符串均视为 stringa b仅建议a b两侧是变量无法确认类型a null默认仅建议a null变量与 null未满足自动修复条件(a) b仅建议(a) b括号保留建议修复只替换运算符 tokena\n\nba\n\nb直接修复运算符 token 定位准确可跨行关键实现细节报告的定位使用sourceCode.getFirstTokenBetween(node.left, node.right, ...)精确找到运算符 tokenlib/rules/eqeqeq.js因此建议/修复只会替换运算符本身不会破坏左右表达式原有的括号、换行与空白如测试中(a b) ! c;→(a b) ! c;tests/lib/rules/eqeqeq.js。嵌套比较(a b) (c)会分别报告两处见 tests/lib/rules/eqeqeq.js。在配置文件中启用eqeqeq通过 lib/rules/index.js 注册eqeqeq: () require(./eqeqeq)属于 ESLint 内置规则直接配置即可{ rules: { eqeqeq: [error, always, { null: ignore }] } }针对只希望变量间比较必须严格、同时允许 null 判断的团队推荐组合always{null: ignore}若希望保留typeof、同类型字面量与null比较的宽松写法则选择smart。两者均可在eslint --fix或编辑器保存时自动应用安全的那部分修复。何时不使用该规则如果你不想对相等运算符的书写风格做任何强制那么直接关闭本规则是安全的{ rules: { eqeqeq: off } }不过需要注意关闭它意味着代码中的隐式类型转换风险将完全交由开发者自律建议在彻底理解抽象相等比较算法语义的团队中再作此决定。延伸阅读规则源码lib/rules/eqeqeq.js测试用例覆盖 929 行断言含 null 子选项、smart 模式、自动修复与建议输出tests/lib/rules/eqeqeq.js辅助工具函数isNullLiteral、isStaticTemplateLiterallib/rules/utils/ast-utils.js规则注册入口lib/rules/index.js【免费下载链接】eslintFind and fix problems in your JavaScript code.项目地址: https://gitcode.com/GitHub_Trending/es/eslint创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
