(a==1&&a==2&&a==3)成立的实现及原理

最近的一道热门的题目 `Can (a ==1 && a== 2 && a==3) ever evaluate to true?
`, 引起了很多人的关注与讨论,自己可以很容易想到一种实现,但是看大家讨论出来的答案,其中有很多有意思的,不得不佩服一些人的脑洞,其中很多原理也值得探讨。

很多其他语言的程序员对于这样的结果,很多都归结于 果然javascript 之类,的确与一些语言不同,javascript 中除了 == 外还有 ====== 叫做严格运算符,==叫做相等运算符。

关于 === 于 ==

其实 JavaScript 一共提供了8个比较运算符。

 <   小于运算符
 >   大于运算符
 <=  小于或等于运算符
 =   大于或等于运算符
 ==  相等运算符
 === 严格相等运算符
 !=  不相等运算符
 !== 严格不相等运算符

比较操作涉及多不同类型的值时候,会涉及到很多隐式转换,其中规则繁多即便是经验老道的程序员也没办法完全记住,特别是用到 == 和 != 运算时候。所以一些团队规定禁用 == 运算符换用=== 严格相等。以工程标准衡量,== 带来的便利性抵不上其带来的成本,团队协作时候你看到别人代码中的 ==,有些时候需要判断清楚作者的代码意图是确实需要转型,还是无所谓要不要转型只是随手写了,增加了一些额外的成本。但是我比较喜欢的一本书 You don't know JS,中作者也写道过一个我比较赞同的观点

Many developers feel that === is more predictable, so they advocate always using that form and staying away from ==. I think this view is very shortsighted. I believe == is a powerful tool that helps your program, if you take the time to learn how it works.

简译为

很多开发者认为 === 的行为更加容易预测,从而主张使用 === 而远离 ==。我认为这种观点是非常短视的,如果你花点时间去搞清楚它的工作原理,== 将是你开发的强大工具。

究竟谁对谁错也没有定论,但是去了解一些隐式转换的规则,对我们开发和调试bug都非常有帮助。这些规则规定很烦多,一个个看过来很无趣也不能全记住。我们下面从这个问题的一些答案中去探究其中的一小部分规则。

题目一些答案

大家来找茬?
var aᅠ = 1;
var a = 2;
var ᅠa = 3;
if(aᅠ==1 && a== 2 &&ᅠa==3) {
    console.log("Why hello there!")
}

看到这个答案时候曾一度怀疑自己学的是假的 javascript,这个答案和隐式转换没有关系,可以说它能考察你的找茬能力,注意if里面的空格,它是一个Unicode空格字符,不被ECMA脚本解释为空格字符(这意味着它是标识符的有效字符)。所以它可以解释为

var a_ = 1;
var a = 2;
var _a = 3;
if(a_==1 && a== 2 &&_a==3) {
    console.log("Why hello there!")
}
运算子是对象时候的valueOf toString 方法
const a = {
  i: 1,
  toString: function () {
    return a.i++;
  }
}

if(a == 1 && a == 2 && a == 3) {
  console.log('Hello World!');
}

如果原始类型的值和对象比较,对象会转为原始类型的值,再进行比较。(我想到的也是这种方法),对象转换成原始类型的值,算法是先调用valueOf方法;如果返回的还是对象,再接着调用toString方法。我们每次比较时候都会执行方法返回 a 的 i 属性同时也改变 i 的值,所以上面 if 执行完以后 a 的 i属性已经变为了 4,这里也表现出了 == 比较是有可能会对变量带来副作用的

利用数组的特性
var a = [1,2,3];
a.join = a.shift;
console.log(a == 1 && a == 2 && a == 3);

这个答案还是比较巧妙的,我们知道 array也属于对象,应该和对象的规则一样。关于 array 的原型链上的 toString 方法

对于数组对象,toString 方法返回一个字符串,该字符串由数组中的每个元素的 toString() 返回值经调用 join() 方法连接(由逗号隔开)组成。

可以看到数组 toString 会调用本身的 join方法,这里把自己的join方法该写为shift,每次返回第一个元素,而且原数组删除第一个值,正好可以使判断成立。这里 == 比较也带来的副作用

利用with 关键字
var i = 0;

with({
  get a() {
    return ++i;
  }
}) {
  if (a == 1 && a == 2 && a == 3)
    console.log("wohoo");
}

with 也是被严重建议不使用的对象,这里也是利用它的特性在代码块里面利用对象的 get 方法动态返回 i.

和with类似修改window的get方法
var val = 0;
Object.defineProperty(window, 'a', {
  get: function() {
    return ++val;
  }
});
if (a == 1 && a == 2 && a == 3) {
  console.log('yay');
}

我们知道我们用的全局变量也相当于 window对象上的一个属性,这里用defineProperty定义了 a的 get 也使得其动态返回值。和with 有一些类似。

es6的Symbol特性
let a = {[Symbol.toPrimitive]: ((i) => () => ++i) (0)};

console.log(a == 1 && a == 2 && a == 3);

ES6 引入了一种新的原始数据类型Symbol,表示独一无二的值。我们之前在定义类的内部私有属性时候习惯用 __xxx ,这种命名方式避免别人定义相同的属性名覆盖原来的属性,有了 Symbol 之后我们完全可以用 Symbol值来代替这种方法,而且完全不用担心被覆盖。

除了定义自己使用的 Symbol 值以外,ES6还提供了 11 个内置的 Symbol 值,指向语言内部使用的方法。Symbol.toPrimitive就是其中一个,它指向一个方法,表示该对象被转为原始类型的值时,会调用这个方法,返回该对象对应的原始类型值。这里就是改变这个属性,把它的值改为一个 闭包 返回的函数。

转载于:https://my.oschina.net/zhangyafei/blog/1941407

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值