阅读 6577

[译] 在JS中,如何让(a===1 && a===2 && a === 3)(严格相等)的值为true?

原文: Will (a===1 && a===2 && a===3) (strict comparison) ever be true (in JavaScript)

本文是JS经典问题(a == 1 && a==2 && a==3)(宽松相等)的扩展和解决方案

如何使用getter/setter描述符让(a===1 && a===2 && a === 3)的值为true

我们先简单了解这道JS经典问题, 然后再解决它的扩展问题。

内容概览:

重温(a==1&&a==2&&a==3)(宽松相等)问题

如果你已经了解过这个问题并且知道如何解决这个JS谜题(是的,只是一个谜题,我并不想在生产代码中看到这样的用例) , 那你可以直接跳到下一节,阅读它的扩展问题。关于这个问题在reddit上有相关讨论, 下面是我看到最有趣的评论

"如果我在代码库中看到这样的代码,我可能就很绝望了" // 译者注: 谁看到都会很绝望吧

(a==1 && a== 2 && a ==3 )问题

(a ==1 && a==2 && a==3) 的值可以是true吗?

回答是肯定的, 具体可以看下面的代码

const a = { value : 0 };
a.valueOf = function() {
    return this.value += 1;
};

console.log(a==1 && a==2 && a==3); //true
复制代码

通常, 在面试中问这类问题的目的并不是要求面试者记住这样的答案,而是想要了解面试者在面对这道题目时,是如何思考的以及他们是否有了解过Javascript中关于==的奇特的语法特性。

问题解析

秘密就在于"宽松相等操作符 == "

在JS中,宽松相等==会先将左右两两边的值转化成相同的原始类型,然后再去比较他们是否相等。在转化之后(==一边或两边都需要转化),最后的相等匹配会像===符号一样去执行判断。宽松相等是可逆的,对于任何值A与B,通常A == BB == A具有相同的表现(除了转换的顺序不同)。可以在这里详细深度地了解宽松匹配==与严格匹配===

Javascript会如何强制转换这个值呢?

在进行两个值的比较时,执行了类型的强制转换, 让我们先了解下内置的转换函数。

ToPrimitive(input, PreferredType?)
复制代码

可选参数PreferredType可以指定最终转化的类型,它可以是Number类型或String类型,这依赖于ToPrimitive()方法执行的结果返回的是Number类型或String类型。

值的转化过程如下

  1. 如果输入Input是基本类型, 就返回这个值
  2. 如果输入变量是Object类型, 那么调用input.valueOf(). 如果返回结果是基本类型,就返回这个指
  3. 如果都不是的话就调用input.toString(). 如果结果是基本类型, 就返回它
  4. 如果以上都不可以,就会抛出一个类型错误TypeError, 表示转化input变量到基本类型失败。

如果PreferredTypeNumber, 那转换算法就会像上述说明的顺序执行,如果是String,步骤2和步骤3会交换顺序。PreferredType是一个缺省值,如果不输入的话,Date类型会被当作String类型处理,其他变量会当作Number处理。默认的valueOf返回this,默认的toString()会返回类型信息。

如上是操作符+==调用toPrimitive()的执行过程。

所以在上面的代码中, 如JS引擎所解析的,a == 11是基本类型, JS引擎会尝试将a转换成Number类型,然后在上面的算法中,a.valueOf被调用并且返回1(自增1并且返回自己)。在a==2a==3发生了同样的类型转换并增加自己的值。

(a === 1 && a === 2 && a === 3)(严格匹配) 问题

(a === 1 && a === 2 && a ===3)的值也能是true吗?

当然也可以, 具体请看下面的代码

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

console.log(a===1 && a===2 && a===3) // true
复制代码

问题解释

从经典问题的解答中,我们了解到JS中的原始类型将不再满足于上面的条件(严格相等没有转化的过程),所以我们需要通过一些方式去调用一个函数,并在这个函数中做我们想做的事情。但是执行函数往往需要在函数名字后引入()。并且由于这里不是宽松相等==valueOf将不会被JS引擎调用。Emmm, 有点棘手。还好有Property函数, 特别是getter描述符, 带来了解决这个问题的办法。

什么是属性描述符(property descriptors)?

属性描述符有两种类型, 数据描述符和存取描述符。

  1. 数据描述符

    强制键值 - value

    可选键值

     - configurable
     - enumable
     - writeable
    复制代码

    例子

    {
        value: 5,
        writable: true
    }
    复制代码
  2. 存取描述符

    强制键值 - get/set或都设定 可选键值 - confiturable - enumerable 例子

    {
        get: function () { return 5; },
        enumerable: true
    }
    复制代码

MDN上关于存取描述符的例子

 // Example of an object property added
    // with defineProperty with an accessor property descriptor

    var bValue = 38;

    Object.defineProperty(o, 'b', {
        // Using shorthand method names (ES2015 feature).
        // This is equivalent to:
        // get: function() { return bValue; },
        // set: function(newValue) { bValue = newValue; },
        get() { return bValue; },
        set(newValue) { bValue = newValue; },
        enumerable: true,
        configurable: true
    });
    o.b; // 38
    // 'b' property exists in the o object and its value is 38
    // The value of o.b is now always identical to bValue,
    // unless o.b is redefined
复制代码

在问题的解决方案中, 我们使用Object.defineProperty为对象定义了一个属性。你可以在这里深入了解Object.defineProperty的语法与定义。 有趣的是,getset是可以通过"."操作符调用的方法, 举个例子, a有一个具有getterb属性, 它可以像对象的其他属性一样去调用,类似于a.b。这可以解决我们最初的问题, 我们需要调用一个无需()的函数, 通过get属性, 我们可以调用一个函数并且不用在函数名后添加()

在上面提到的解决方案中, 我们在window对象上定义了一个具有getter的a属性, 所以a可以在代码中直接被访问到(全局变量), 因此也可以直接获得a的值。如果我们在其他对象上定义了属性a而不是window的话,例如object1, 我们就需要改变题目为object1.a===1 && object1.a===2 && object1.a===3了。

Github Gist

参考


《IVWEB 技术周刊》 震撼上线了,关注公众号:IVWEB社区,每周定时推送优质文章。

关注下面的标签,发现更多相似文章
评论