美文网首页JS
[] == ![] 发生了什么?

[] == ![] 发生了什么?

作者: 苏进取 | 来源:发表于2019-08-27 23:17 被阅读0次

    记不清在某处看见了这一比较,当时对强制转换这块理解的还没有特别清晰,故有此一文。以为我会以标题的表达式来展开?那你就错了,下面直接上[] == ![]是如何转换的:

    1. 因为!运算符的优先级比较高,所以表达式右侧先运行![],得出false,表达式变为[] == false
    2. 强制将false转换为0,表达式变为[] == 0
    3. 将[]强制转换为原始类型后为"",表达式变为"" == 0
    4. 将""转换为Number类型,表达式变为0 == 0
    5. 两侧类型相同,直接返回0 === 0的结果true

    前言

    本文旨在总结js中强制转换的规则及触发强制转换的几种场景。ES6标准中定义了六种原始类型,分别是Undefined,Null,String,Number,Boolean,Symbol。本文中的强制转换指的是在代码运行时,触发了数值的隐式转换,而不是代码显示的指定转换操作。

    原始类型间强制转换

    发生在原始类型之间的转换,以个人的理解是其他类型转换为String,Number或者Boolean类型。

    转换为String类型

    其他原始类型转换为String类型通常发生在+两边存在字符串时,会将+另一边的值转换为String类型。
    考虑如下代码:

    var strAddNum = "test" + 1;
    var numAddStr = 1 + "test";
    var boolAddStr = true + "test";
    var undAddStr = undefined + "";
    var nullAddStr = null + "";
    console.log(strAddNum);
    console.log(numAddStr);
    console.log(boolAddStr);
    console.log(undAddStr);
    console.log(nullAddStr);
    

    代码传送门,以上代码的运行结果均为字符串。其他原始类型转换为String类型基本是其值的字符串形式,具体如下:

    • Undefined,"undefined"
    • Null,"null"
    • Boolean,"true"或"false"
    • Number,值为NaN,"NaN"
    • Number,值为+0或-0,"0"
    • Number,值为+Infinity,"Infinity"
    • Number,值为-Infinity,"-Infinity"

    Number转为字符串具体可参考ES2018 7.1.12.1章节

    注意:Symbol类型无法转换为String类型。

    转换为Number类型

    转换为Number类型的情况,+-*/%等运算中,除了+之外其他运算均会转换成Number类型,+运算时需要满足两侧未出现String类型,该值才会被转换为Number类型。+运算时情况较为复杂,后面会专门描述其相关转换规则。考虑如下代码:

    var trueAddTrue = true + true;
    var trueAddFalse = true + false;
    var trueAdda0 = true + 0;
    var nullAddTrue = null + true;
    var undefinedAdd0 = undefined + 0;
    var strAdd0 = "" + 0;
    console.log(trueAddTrue);
    console.log(trueAddFalse);
    console.log(trueAdda0);
    console.log(nullAddTrue);
    console.log(undefinedAdd0);
    console.log(strAdd0);
    

    代码传送门,在运行代码之前可以先考虑下以上代码答打印的结果分别是什么?然后再运行,看是否符合你的预期。其他原始类型转换为Number类型的具体如下:

    • Undefined,NaN
    • Null, +0
    • Boolaen,值为true,1
    • Boolean,值为false,+0
    • String,不可转为Number的,NaN
    • String,可转为Number的就是其对应的Number值(具体可参考ES2018 7.1.3.1

    注意:Symbol类型同样无法转换为Number类型。

    转换为Boolean类型

    转换为Boolean类型的情况较为简单,除了以下情况转换为Boolean类型会是false,其他情况均是true

    • Undefined
    • Null
    • Number,+0,-0,NaN
    • String,长度为0的字符串
      这几种false的情况在ES标准中有明确规定7.1.2

    对象强制转换为原始类型

    ES中将对象转换为原始类型的算法,大致可描述为三种情形:

    1. 如果该对象设置了[Symbol.toPrimitive],调用该函数,如果其返回值为非Object类型则返回结果,否则抛出TypeError异常
    2. 若未指定转换提示则转换提示为"default"
    3. 若转换提示为"default",则将其置为"number"
    4. 当指定转换提示为"number"时先调用该对象的valueOf函数并判断其结果,如果是原始类型则返回结果,否则调用该对象的toString函数并判断其返回结果,如果结果为原始类型则返回,否则抛出异常TypeError
    5. 当指定转换提示为"string"时先调用toString函数并判断其返回结果,如果是原始类型则返回结果,否则调用该对象的valueOf函数并判断其返回结果,如果结果为原始类型则返回,否则抛出异常TypeError

    上述三种情形中第一种情形优先级最高,第二三种情形优先级并列,具体需要根据使用场景判断是哪一种。其中的指定转换提示是ES标准内部调用该算法时指定的。

    第一种情形只有Symbol对象和Date对象内置了[Symbol.toPrimitive],且该属性的writeable为false,enumerable为false,configurable为true
    对象转换为原始类型时发生的强制转换非特殊情况均为第二种,第三种情况较为少见。在正常编码工作中应该使用第二种情形就够用了,第三种情形几乎不会出现,要了解更多细节可查阅ES标准。

    var test = {
      [Symbol.toPrimitive]: function(hint) {
         console.log(hint)
      },
      valueOf: function() {
          console.log("valueOf")
      },
      toString: function() {
          console.log("toString")
      }
    }
    test + "";  //"default"
    test * 0;   //"number"
    String(test);   //"string"
    

    代码传送门上述代码指定了分别指定了test对象的[Symbol.toPrimitive],valueOf和toString函数,可以观察到并valueoOf和toString函数均未被调用,指定的[Symbol.toPrimitive]函数可以接受一个提示参数,这个参数就是强制转换时的强制转换提示。这样我们在函数中就可以根据转换场景的不同分别返回不同的值。

    原始类型强制转换为对象(装箱)

    在开始描述这个问题之前,可以先思考一下,都有哪些场景会是强制的将原始类型转换为对象,其实这种场景几乎在js代码中随处可见,考虑如下代码:

    var str = "testString";
    str.replace("test", "");
    

    如上代码中定义的str的值并不是一个对象而是一个原始类型String,原始类型显然是没有方法可以调用的。

    实际上这里的str在执行str.replace时str其值会被强制转换为对象,得到一个String类型的实例对象,而该实例的原型上定义了一系列方法,且该实例是无法被获取的,在执行完这行代码后,该实例就会被回收,所以这里的str依然是一个字符串。

    考虑如下代码:

    var a = 3;
    a.fn = function(){};
    a.fn();
    

    强制转换的几种场景

    在js代码中会出现强制转换的场景通常有三种:

    • +运算
    • -,*,/,%运算
    • ==比较
    • 作为判断条件

    +运算

    一元+运算

    做一元+运算时,均会被强制转为Number类型,例如

    var a = {
        [Symbol.toPrimitive]: function(hint) {
            console.log(hint);  // number
            if(hint === "number") {
                return 2;
            } else {
                return 9;
            }
        }
    };
    console.log(+a);   // 2
    
    var b = "3";
    console.log(+b);    // 3
    

    代码传送门

    二元+运算

    二元+运算为几种强制转换中复杂度仅次于==比较的一种情形,个人总结其转换步骤如下:

    1. 先将两侧数值强制转换为原始类型(未指定转换提示,即转换提示为hint default);
    2. 若两侧存在String类型,均转换为String类型,则返回两侧拼接的字符串;
    3. 若第2未返回,则两侧数值强制转换为Number类型,返回计算结果;
    var a = "";
    var b = {
        [Symbol.toPrimitive]: function(hint) {
            console.log(hint);  // "default"
            if(hint === "default") {
                return 2;
            } else {
                return 9;
            }
        }
    };
    var c = a + b;  //这里b转换为原始类型返回的是Number类型2,由于a是"",所以b被转换为"2",后与""拼接返回"2"
    console.log(c); // "2"
    
    var d = 3;
    var e = {
        [Symbol.toPrimitive]: function(hint) {
            console.log(hint);  // "default"
            if(hint === "default") {
                return 2;
            } else {
                return 9;
            }
        }
    };
    var f = d + e;  //这里e转换为原始类型返回的是Number类型2,由于两侧均没有String类型,则至第3步,强制转换为Number后返回两侧相加的结果5
    console.log(f); // 5
    
    

    代码传送门

    -,*,/,%运算

    这几个运算符这涉及的强制转换都是转换为Number类型的,所以这里只要搞清楚转换为Number是怎样的过程就可以了。上文中已经对原始类型转换为Number类型做了描述,这里补充一下Object转换为Number的过程:

    1. 将对象转换为原始类型,且转换时会指定转换提示为"number";
    2. 转换为原始类型后再根据原始类型转换为Number类型进行转换;
    var a = 8;
    var b = {
        [Symbol.toPrimitive]: function(hint) {
            console.log(hint);  // "number"
            if(hint === "number") {
                return 2;
            } else {
                return 9;
            }
        }
    };
    console.log(a-b);   //  6
    console.log(a/b);   // 4
    console.log(a*b);   // 16
    console.log(a%b);   // 0
    
    console.log(undefined * 0);   //NaN
    console.log(null * -1); // 0
    console.log(false * -1);    //0 
    console.log(true * -1); // -1
    console.log("1" * -1);  // -1
    

    代码传送门

    ==比较

    ==比较的基础===比较

    x === y,其具体比较步骤如下:

    1. 若x和y的类型不一致,返回false;
    2. 若x和y为Number类型,则若x和y中有一个为NaN返回false;若x和y的值相等则返回true;若x是+0,y是-0或者x是-0,y是+0则返回true;其他情况返回false;
    3. 若x和y为Undefined类型,返回true
    4. 若x和y为Null类型,返回true
    5. 若x和y为String类型,其值相同则返回true,否则返回false
    6. 若x和y为Boolean类型,其值均为true或均为false返回true,否则返回false
    7. 若x和y为Symbol类型,其值为同一个Symbol值则返回true,否则返回false
    8. 若x和y为Object类型,其值为同一个对象(其引用地址相同)则返回true,否则返回false

    x == y规则

    ==比较的转换规则虽然稍微多一点,实际上也就几条规则,两侧的数值类型符合哪种就按哪种去转换,只不过有的可能需要转两次,具体如下:

    1. 如果两侧类型相等则直接返回===的结果;
    2. 若x为undefined和y为null或x为null和y为undefined,返回true
    3. 若两侧为String类型和Number类型,将String类型转换为Number类型,继续用==比较
    4. 若有一侧存在Boolean类型,将Boolean类型转换为Number类型,继续用==比较
    5. 若两侧为String,Number或Symbol类型和Object类型,将Object类型转换原始类型,继续用==比较
    6. 其他返回false

    下面列举一些可能有点违反直觉的比较

    "0" == false; // true
    false == 0; // true
    false == ""; // true
    false == []; // true
    "" == 0; // true
    "" == []; // true
    0 == []; // true
    [] == ![];  //true
    

    作为条件判断

    这种情形到没有太多可说的,基本上就是,除了undefined,null,+0,-0,NaN,""这六个值会被转为false,其他情况均为true;

    出现将不是Boolean类型的值强制转换的情况为

    1. if(...)
    2. for(...;...;...)第二个条件表达式
    3. while(...)和do...while(...)中的条件表达式
    4. ...?...:...三元表达式中的第一个条件表达式
    5. ||和&&

    结论

    其实上面描述了这么多,日常开发环境中用到比较多的应该是作为判断条件,+,==这三种情况了,这三种中最常见的应该是判断条件的情况了,这种情况反而是最简单的一种了。

    转载请注明出处!

    相关文章

      网友评论

        本文标题:[] == ![] 发生了什么?

        本文链接:https://www.haomeiwen.com/subject/crhuectx.html