Javascript二元操作符

前言

在JavaScript中,一共有两种类型的值:原始值(primitives)和对象值(objects).原始值有:undefined, null, 布尔值(booleans), 数字(numbers),还有字符串(strings).其他的所有值都是对象类型的值,包括数组(arrays)和函数(functions).

加法

在JavaScript中,加法的规则其实很简单,只有两种情况:你只能把数字和数字相加,或者字符串和字符串相加,所有其他类型的值都会被自动转换成这两种类型的值。

类型转换

1. 通过ToPrimitive()将值转换为原始值

JavaScript引擎内部的抽象操作ToPrimitive(input,perferredTpye)方法

• 如果输入的值已经是个原始值,则直接返回它.
• 否则,如果输入的值是一个对象.则调用该对象的valueOf()方法.如果valueOf()方法的返回值是一个原始值,则返回这个原始值
• 否则,调用这个对象的toString()方法.如果toString()方法的返回值是一个原始值,则返回这个原始值.
• 否则,抛出TypeError异常

如果perferredType为String，第二步和第三步会被调换。如果没有PreferredType这个参数,则PreferredType的值会按照这样的规则来自动设置，Date类型的对象会被设置为String,其它类型的值会被设置为Number

Paste_Image.png

2.通过ToNumber()将值转换为数字

Paste_Image.png

如果输入的值是一个对象,则会首先会调用ToPrimitive(obj, Number)将该对象转换为原始值,然后在调用ToNumber()将这个原始值转换为数字.

3.通过ToString()将值转换为字符串

Paste_Image.png

如果输入的值是一个对象,则会首先会调用ToPrimitive(obj, String)将该对象转换为原始值,然后再调用ToString()将这个原始值转换为字符串.

举例

有下面这样的一个加法操作.value1 + value2
在计算这个表达式时,内部的操作步骤是这样的
将两个操作数转换为原始值 (下面是数学表示法,不是JavaScript代码):
prim1 := ToPrimitive(value1)
prim2 := ToPrimitive(value2)

PreferredType被省略,因此Date类型的值采用String,其他类型的值采用Number.
如果prim1或者prim2中的任意一个为字符串,则将另外一个也转换成字符串,然后返回两个字符串连接操作后的结果
否则,将prim1和prim2都转换为数字类型,返回他们的和

那么，两个空数组相加
[]+[]
结果是
""
这是预料到的，[]会被转换成一个原始值,首先尝试valueOf()方法,返回数组本身(this)。

var arr = [];
arr.valueOf() === arr//true

这样的结果不是原始值,所以再调用toString()方法,返回一个空字符串(是一个原始值).因此,[] + []的结果实际上是两个空字符串的连接.

将一个空数组和一个空对象相加,结果也符合我们的预期:

 [] + {}
'[object Object]'

空对象执行valueOf也是返回他自身，然后调用toString()方法，得到：

Paste_Image.png

结尾

在大多数情况下,想要弄明白JavaScript中的+号是如何工作的并不难:你只能将数字和数字相加或者字符串和字符串相加.对象值会被转换成原始值后再进行计算。后续再补上其他二元运算符的特性。
PS:number和string相加，优先把number转化为string。

补充

减法：操作符两边的数字都会被先使用Number()方法转化为数字再进行计算。

• 如果是对象，那么按照第一条规则调用ToPrimitive()进行转换.
• 如果有一个操作数是NaN，那么返回NaN。

＞和＜

• 操作数同为字符，则比较字符的字符值编码
• 操作数同为数字，执行数值比较
• 若为对象，则执行Toprimitive()方法.
• 如果一个操作数为数值，直接将另一个操作数转化为数值。

==

• 若有一操作数为boolean，调用Number()方法转化为数字，true为1，false为0；
• 若一操作数为字符，一操作数为数字，则将字符转化为数字；
• 如果一操作数为对象，另一操作数不是，则调用valueOf方法；

特殊规则：

• null和undefined是相等的；
• 比较相等性之前，不可将null和undefined转化为任何值；
• 如果有一操作符为NaN，==返回false，所以NaN==NaN返回false；
• 如果两个操作数都为对象，则判断他们是否为同一个对象。
  .