“(a===1 && a===2 && a===3)“ (严格模式) 是否一定为真 (in JavaScript)

原文链接： https://www.suxuewb.cn/?p=196

让我们看看如何在对象的get和set的帮助下让a===1 && a===2 && a===3为真。

a==1 && a==2 && a==3宽松相等

a==1 && a==2 && a==3

a==1 && a==2 && a==3可以为真吗？
当然可以，你可以这么做：

const a = { value : 0 };
a.valueOf = function() {
    return this.value += 1;
};
console.log(a==1 && a==2 && a==3); //true

讨论这个问题的目的，不是要知道问题的答案，而是要让各位看官知道JS的怪异之处，知道==各种奇怪的行为。

解释

成立的关键在于==，即宽松相等。

宽松相等Loose equality，MDN上叫做抽象相等Abstract Equality Comparison，下文统称为宽松相等 。

在JS里面，==会在将两个值转换为相同类型的值之后，再进行相等性比较。转换之后（一方或者双方），比较模式就会和===表现一致。宽松相等是可逆的：即A==B和B==A的结果是一致的。

那JS内部是如何做强制类型转换的？这里就不做赘述了，拷贝一下，看我之前的文章原始值转换

toPrimitive(input,preferedType?)

input是输入的值，preferedType是期望转换的类型，他可以是字符串，也可以是数字。
如果转换的类型是number，会执行以下步骤：
1. 如果input是原始值，直接返回这个值；
2. 否则，如果input是对象，调用input.valueOf()，如果结果是原始值，返回结果；
3. 否则，调用input.toString()。如果结果是原始值，返回结果；
4. 否则，抛出错误。

如果转换的类型是String，2和3会交换执行，即先执行toString()方法。
你也可以省略preferedType，此时，日期会被认为是字符串，而其他的值会被当做Number。

因此，在上面的代码中，代码按先后顺序执行。a==1中1是原始类型Number，所以a会被转为Number，使用上述算法，a.valueOf返回1，所以第一个条件为真。接着就是a==2和a==3，每判断一次，value就加一，所有后面的都为真。

a=1 && a=2 && a===3严格相等

严格相等，MDN上叫Strict Equality Comparison

a==1 && a==2 && a==3可以为真吗？
当然可以，你可以这么做：

var value = 0; //window.value
Object.defineProperty(window, 'a', {
    get: function() {
        return this.value += 1;
    }
});

console.log(a===1 && a===2 && a===3) //true

解释

我们从先前的问题中得出的理解是，原始值永远不会满足上述条件，我们需要某种方式调用一个函数，并且在该函数内部我们可以执行一些操作。在前面，我们利用了类型转换函数。这里我们用到了对象的访问描述符。

关于访问描述符，就不做赘述了，详见MDN

每访问一次value，其值都会加一，代码按照顺序执行，该表达式自然就为真了。