算术运算符

运算符是处理数据的基本方法，用来从现有的值得到新的值。JavaScript 提供了多种运算符，覆盖了所有主要的运算。

概述

JavaScript 共提供10个算术运算符，用来完成基本的算术运算。

  • 加法运算符：x + y
  • 减法运算符： x - y
  • 乘法运算符： x * y
  • 除法运算符：x / y
  • 指数运算符：x ** y
  • 余数运算符：x % y
  • 自增运算符：++x 或者 x++
  • 自减运算符：--x 或者 x--
  • 数值运算符： +x
  • 负数值运算符：-x

减法、乘法、除法运算法比较单纯，就是执行相应的数学运算。下面介绍其他几个算术运算符，重点是加法运算符。

加法运算符

基本规则

加法运算符（+）是最常见的运算符，用来求两个数值的和。

  1. 1 + 1 // 2

JavaScript 允许非数值的相加。

  1. true + true // 2
  2. 1 + true // 2

上面代码中，第一行是两个布尔值相加，第二行是数值与布尔值相加。这两种情况，布尔值都会自动转成数值，然后再相加。

比较特殊的是，如果是两个字符串相加，这时加法运算符会变成连接运算符，返回一个新的字符串，将两个原字符串连接在一起。

  1. 'a' + 'bc' // "abc"

如果一个运算子是字符串，另一个运算子是非字符串，这时非字符串会转成字符串，再连接在一起。

  1. 1 + 'a' // "1a"
  2. false + 'a' // "falsea"

加法运算符是在运行时决定，到底是执行相加，还是执行连接。也就是说，运算子的不同，导致了不同的语法行为，这种现象称为“重载”（overload）。由于加法运算符存在重载，可能执行两种运算，使用的时候必须很小心。

  1. '3' + 4 + 5 // "345"
  2. 3 + 4 + '5' // "75"

上面代码中，由于从左到右的运算次序，字符串的位置不同会导致不同的结果。

除了加法运算符，其他算术运算符（比如减法、除法和乘法）都不会发生重载。它们的规则是：所有运算子一律转为数值，再进行相应的数学运算。

  1. 1 - '2' // -1
  2. 1 * '2' // 2
  3. 1 / '2' // 0.5

上面代码中，减法、除法和乘法运算符，都是将字符串自动转为数值，然后再运算。

对象的相加

如果运算子是对象，必须先转成原始类型的值，然后再相加。

  1. var obj = { p: 1 };
  2. obj + 2 // "[object Object]2"

上面代码中，对象obj转成原始类型的值是[object Object]，再加2就得到了上面的结果。

对象转成原始类型的值，规则如下。

首先，自动调用对象的valueOf方法。

  1. var obj = { p: 1 };
  2. obj.valueOf() // { p: 1 }

一般来说，对象的valueOf方法总是返回对象自身，这时再自动调用对象的toString方法，将其转为字符串。

  1. var obj = { p: 1 };
  2. obj.valueOf().toString() // "[object Object]"

对象的toString方法默认返回[object Object]，所以就得到了最前面那个例子的结果。

知道了这个规则以后，就可以自己定义valueOf方法或toString方法，得到想要的结果。

  1. var obj = {
  2.   valueOf: function () {
  3.     return 1;
  4.   }
  5. };
  7. obj + 2 // 3

上面代码中，我们定义obj对象的valueOf方法返回1，于是obj + 2就得到了3。这个例子中，由于valueOf方法直接返回一个原始类型的值，所以不再调用toString方法。

下面是自定义toString方法的例子。

  1. var obj = {
  2.   toString: function () {
  3.     return 'hello';
  4.   }
  5. };
  7. obj + 2 // "hello2"

上面代码中，对象obj的toString方法返回字符串hello。前面说过，只要有一个运算子是字符串，加法运算符就变成连接运算符，返回连接后的字符串。

这里有一个特例，如果运算子是一个Date对象的实例，那么会优先执行toString方法。

  1. var obj = new Date();
  2. obj.valueOf = function () { return 1 };
  3. obj.toString = function () { return 'hello' };
  5. obj + 2 // "hello2"

上面代码中，对象obj是一个Date对象的实例，并且自定义了valueOf方法和toString方法，结果toString方法优先执行。

余数运算符

余数运算符（%）返回前一个运算子被后一个运算子除，所得的余数。

  1. 12 % 5 // 2

需要注意的是，运算结果的正负号由第一个运算子的正负号决定。

  1. -1 % 2 // -1
  2. 1 % -2 // 1

所以，为了得到负数的正确余数值，可以先使用绝对值函数。

  1. // 错误的写法
  2. function isOdd(n) {
  3.   return n % 2 === 1;
  4. }
  5. isOdd(-5) // false
  6. isOdd(-4) // false
  8. // 正确的写法
  9. function isOdd(n) {
  10.   return Math.abs(n % 2) === 1;
  11. }
  12. isOdd(-5) // true
  13. isOdd(-4) // false

余数运算符还可以用于浮点数的运算。但是，由于浮点数不是精确的值，无法得到完全准确的结果。

  1. 6.5 % 2.1
  2. // 0.19999999999999973

自增和自减运算符

自增和自减运算符，是一元运算符，只需要一个运算子。它们的作用是将运算子首先转为数值，然后加上1或者减去1。它们会修改原始变量。

  1. var x = 1;
  2. ++x // 2
  3. x // 2
  5. --x // 1
  6. x // 1

上面代码的变量x自增后，返回2，再进行自减，返回1。这两种情况都会使得，原始变量x的值发生改变。

运算之后，变量的值发生变化，这种效应叫做运算的副作用（side effect）。自增和自减运算符是仅有的两个具有副作用的运算符，其他运算符都不会改变变量的值。

自增和自减运算符有一个需要注意的地方，就是放在变量之后，会先返回变量操作前的值，再进行自增/自减操作；放在变量之前，会先进行自增/自减操作，再返回变量操作后的值。

  1. var x = 1;
  2. var y = 1;
  4. x++ // 1
  5. ++y // 2

上面代码中，x是先返回当前值，然后自增，所以得到1；y是先自增，然后返回新的值，所以得到2。

数值运算符，负数值运算符

数值运算符（+）同样使用加号，但它是一元运算符（只需要一个操作数），而加法运算符是二元运算符（需要两个操作数）。

数值运算符的作用在于可以将任何值转为数值（与Number函数的作用相同）。

  1. +true // 1
  2. +[] // 0
  3. +{} // NaN

上面代码表示，非数值经过数值运算符以后，都变成了数值（最后一行NaN也是数值）。具体的类型转换规则，参见《数据类型转换》一章。

负数值运算符（-），也同样具有将一个值转为数值的功能，只不过得到的值正负相反。连用两个负数值运算符，等同于数值运算符。

  1. var x = 1;
  2. -x // -1
  3. -(-x) // 1

上面代码最后一行的圆括号不可少，否则会变成自减运算符。

数值运算符号和负数值运算符，都会返回一个新的值，而不会改变原始变量的值。

指数运算符

指数运算符（**）完成指数运算，前一个运算子是底数，后一个运算子是指数。

  1. 2 ** 4 // 16

注意，指数运算符是右结合，而不是左结合。即多个指数运算符连用时，先进行最右边的计算。

  1. // 相当于 2 ** (3 ** 2)
  2. 2 ** 3 ** 2
  3. // 512

上面代码中，由于指数运算符是右结合，所以先计算第二个指数运算符，而不是第一个。

赋值运算符

赋值运算符（Assignment Operators）用于给变量赋值。

最常见的赋值运算符，当然就是等号（=）。

  1. // 将 1 赋值给变量 x
  2. var x = 1;
  4. // 将变量 y 的值赋值给变量 x
  5. var x = y;

赋值运算符还可以与其他运算符结合，形成变体。下面是与算术运算符的结合。

  1. // 等同于 x = x + y
  2. x += y
  4. // 等同于 x = x - y
  5. x -= y
  7. // 等同于 x = x * y
  8. x *= y
  10. // 等同于 x = x / y
  11. x /= y
  13. // 等同于 x = x % y
  14. x %= y
  16. // 等同于 x = x ** y
  17. x **= y

下面是与位运算符的结合（关于位运算符，请见后文的介绍）。

  1. // 等同于 x = x >> y
  2. x >>= y
  4. // 等同于 x = x << y
  5. x <<= y
  7. // 等同于 x = x >>> y
  8. x >>>= y
  10. // 等同于 x = x & y
  11. x &= y
  13. // 等同于 x = x | y
  14. x |= y
  16. // 等同于 x = x ^ y
  17. x ^= y

这些复合的赋值运算符，都是先进行指定运算，然后将得到值返回给左边的变量。