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

如何让 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 相同,从而使等式成立。








看下运行结果,果不其然,真想给自己点个赞。当然,让标题的等式成立的方法肯定不止这一种,留言区期待你的回复~

参考文档:

《你不知道的 JavaScript(中卷)》

《== 和 === 区别》(https://blog.csdn.net/yyychocolate/article/details/108089477)  作者:Bliss_妍

作者:小妖(笔名子谦)


欢迎关注微信公众号 :政采云前端团队