如何让 x == 1 && x == 2 && x == 3 等式成立

政采云前端团队

发布于 2022-12-01 11:10:12

5640

发布于 2022-12-01 11:10:12

文章被收录于专栏：采云轩

如何让 x == 1 && x == 2 && x == 3 等式成立 https://www.zoo.team/article/comparison-operation

某次面试，面试官突然问道：“如何让 x 等于 1 且让 x 等于 2 且让 x 等于 3 的等式成立？”

话音刚落，笔者立马失去意识，双眼一黑，两腿一蹬，心里暗骂：什么玩意儿！

虽然当时没回答上来，但觉得这题非常有意思，便在这为大家分享下后续的解题思路：

宽松相等 == 和严格相等 === 都能用来判断两个值是否“相等”，首先，我们要明确上文提到的等于指的是哪一种，我们先看下二者的区别：

(1) 对于基础类型之间的比较，== 和 === 是有区别的：

不同类型间比较，== 比较“转化成同一类型后的值”看“值”是否相等，=== 如果类型不同，其结果就是不等
同类型比较，直接进行“值”比较，两者结果一样。

(2) 对于引用类型之间的比较，== 和 === 是没有区别的，都进行“指针地址”比较。

(3) 基础类型与引用类型之间的比较，== 和 ===是有区别的：

因为类型不同，=== 结果为 false对于 ==，将引用类型转化为基础类型，进行“值”比较。

“== 允许在相等比较中进行强制类型转换，而 === 不允许。”

由此可见，上文提到的等于指的宽松相等 ==，题目变为 “x == 1 && x == 2 && x == 3”。

那多种数据类型之间的相等比较又有哪些呢？笔者查阅了相关资料，如下所示：

同类型数据之间的相等比较

如果 Type(x) 等于 Type(y) ES5 规范 11.9.3.1 (https://262.ecma-international.org/5.1/#sec-11.9.3) 这样定义：

如果 Type(x) 是 Undefined，返回 true。
如果 Type(x) 是 Null，返回 true。
如果 Type(x) 是 Number ，则
- 如果 x 是 NaN，返回 false。
- 如果 y 是 NaN，返回 false。
- 如果 x 与 y 的数字值相同，返回 true。
- 如果 x 为 +0，y 为 -0，返回 true。
- 如果 x 为 -0，y 为 +0，返回 true。
如果 Type(x) 是 String，则如果 x 和 y 是字符的序列完全相同（相同的长度和相同位置相同的字符），则返回 true。否则，返回 false。
如果 Type(x) 是 Boolean，则如果 x 和 y 都为 true 或都为 false，则返回 true。否则，返回 false。
如果 x 和 y 指向同一对象，则返回 true。否则，返回 false。

null 和 undefined 之间的相等比较

null 和 undefined 之间的 == 也涉及隐式强制类型转换。ES5 规范 11.9.3.2-3 这样定义：

如果 x 为 null，y 为 undefined，则结果为 true。
如果 x 为 undefined，y 为 null，则结果为 true。

在 == 中，null 和 undefined 相等（它们也与其自身相等），除此之外其他值都不和它们两个相等。

这也就是说，在 == 中null 和 undefined 是一回事。

var a = null;
var  b; 
a == b; // true
a == null; // true
b == null; // true
a == false; // false
b == false; // false
a == ""; // false
b == ""; // false
a == 0; // false
b == 0; // false

字符串和数字之间的相等比较

ES5 规范 11.9.3.4-5 这样定义：

如果 Type(x) 是数字，Type(y) 是字符串，则返回 x == ToNumber(y) 的结果。
如果 Type(x) 是字符串，Type(y) 是数字，则返回 ToNumber(x) == y 的结果。

var a = 42;

var b = "42";

a === b; // false

a == b; // true

因为没有强制类型转换，所以 a === b 为 false，42 和 "42" 不相等。

根据规范，"42" 应该被强制类型转换为数字以便进行相等比较。

其他类型和布尔类型之间的相等比较

ES5 规范 11.9.3.6-7 这样定义：

如果 Type(x) 是布尔类型，则返回 ToNumber(x) == y 的结果。
如果 Type(y) 是布尔类型，则返回 x == ToNumber(y) 的结果。

仔细分析例子，首先：

var x = true;

var y = "42";

x == y; // false

Type(x) 是布尔值，所以 ToNumber(x) 将 true 强制类型转换为 1，变成 1 == "42"，二者的类型仍然不同，"42" 根据规则被强制类型转换为 42，最后变成 1 == 42，结果为 false。

对象和非对象之间的相等比较

关于对象（对象 / 函数 / 数组）和标量基本类型（字符串 / 数字 / 布尔值）之间的相等比较，ES5 规范 11.9.3.8-9 做如下规定：

如果 Type(x) 是字符串或数字，Type(y) 是对象，则返回 x == ToPrimitive(y) 的结果。
如果 Type(x) 是对象，Type(y) 是字符串或数字，则返回 ToPromitive(x) == y 的结果。

什么是 toPrimitive() 函数？

应用场景：在 JavaScript 中，如果想要将对象转换成基本类型时，再从基本类型转换为对应的 String 或者 Number，实质就是调用 valueOf 和 toString 方法，也就是所谓的拆箱转换。

函数结构：toPrimitive(input, preferedType)

参数解释：

input 是输入的值，即要转换的对象，必选。

preferedType 是期望转换的基本类型，他可以是字符串，也可以是数字。选填，默认为 number。

执行过程：

如果转换的类型是 number，会执行以下步骤：

如果 input 是原始值，直接返回这个值。
否则，如果 input 是对象，调用 input.valueOf()，如果结果是原始值，返回结果。
否则，调用input.toString()。如果结果是原始值，返回结果。
否则，抛出错误。如果转换的类型是 string，2 和 3 会交换执行，即先执行 toString() 方法。

valueOf 和 toString 的优先级：

进行对象转换时 (alert(对象))，优先调用 toString 方法，如没有重写 toString 将调用 valueOf 方法，如果两方法都不没有重写，但按 Object 的 toString 输出。
进行强转字符串类型时将优先调用 toString 方法，强转为数字时优先调用 valueOf。
在有运算操作符的情况下，valueOf 的优先级高于 toString。

由此可知，若 x 为对象时，我们改写 x 的 valueOf 或 toString 方法可以让标题的等式成立：

const x = {
  val: 0,
  valueOf: () => {
    x.val++
    return x.val
  },
}

或者：

const x = {
  val: 0,
  toString: () => {
    x.val++
    return x.val
  },
}

给对象 x设置一个属性 val并赋值为 0，并修改其 valueOf、toString 方法，在 “x == 1 && x == 2 && x == 3”判断执行时，每次等式比较都会触发 valueOf、toString 方法，都会执行 val++ ，同时把最新的 val 值用于等式比较，三次等式判断时 val 值分别为 1、2、3 与等式右侧的 1、2、3 相同，从而使等式成立。