1.加法运算符 加法运算符（+）是最常见的运算符之一，但是使用规则却相对复杂。因为在JavaScript语言里面，这个运算符可以完成两种运算，既可以处理算术的加法，也可以用作字符串连接，它们都写成+ 示例： // 加法 1 + 1 // 2 true + true // 2 1 + true // 2
// 字符串连接 '1' + '1' // "11" '1.1' + '1.1' // "1.11.1" 它的算法步骤如下。
如果运算子是对象，先自动转成原始类型的值（即先执行该对象的valueOf方法，如果结果还不是原始类型的值，再执行toString方法；如果对象是Date实例，则先执行toString方法）。 两个运算子都是原始类型的值以后，只要有一个运算子是字符串，则两个运算子都转为字符串，执行字符串连接运算。 否则，两个运算子都转为数值，执行加法运算
加法运算符会将其他类型的值，自动转为字符串，然后再执行连接运算 示例： [1, 2] + [3] // "1,23"
// 等同于 String([1, 2]) + String([3]) // '1,2' + '3' 上面代码中，两个数组相加，会先转成字符串，然后再连接 加法运算符一定有左右两个运算子，如果只有右边一个运算子，就是另一个运算符，叫做“数值运算符” 示例： + - 3 // 等同于 +(-3) + 1 + 2 // 等同于 +(1 + 2) + '1' // 1 上面代码中，数值运算符用于返回右边运算子的数值形式，详细解释见下文。
你可能会问，如果只有左边一个运算子，会出现什么情况？答案是会报错 1 + // SyntaxError: Unexpected end of input 加法运算符以外的其他算术运算符（比如减法、除法和乘法），都不会发生重载。它们的规则是：所有运算子一律转为数值，再进行相应的数学运算 示例： 1 - '2' // -1 1 * '2' // 2 1 / '2' // 0.5 上面代码中，减法、除法和乘法运算符，都是将字符串自动转为数值，然后再运算。
由于加法运算符与其他算术运算符的这种差异，会导致一些意想不到的结果，计算时要小心 var now = new Date(); typeof (now + 1) // "string" typeof (now - 1) // "number" 上面代码中，now是一个Date对象的实例。加法运算时，得到的是一个字符串；减法运算时，得到却是一个数值
2.算术运算符 加法运算符（Addition）：x + y 减法运算符（Subtraction）： x - y 乘法运算符（Multiplication）： x * y 除法运算符（Division）：x / y 余数运算符（Remainder）：x % y 自增运算符（Increment）：++x 或者 x++ 自减运算符（Decrement）：--x 或者 x-- 数值运算符（Convert to number）： +x 负数值运算符（Negate）：-x
余数运算符，余数运算符（%）返回前一个运算子被后一个运算子除，所得的余数 12 % 5 // 2 需要注意的是，运算结果的正负号由第一个运算子的正负号决定 -1 % 2 // -1 1 % -2 // 1 为了得到正确的负数的余数值，需要先使用绝对值函数 // 错误的写法 function isOdd(n) { return n % 2 === 1; } isOdd(-5) // false isOdd(-4) // false
// 正确的写法 function isOdd(n) { return Math.abs(n % 2) === 1; } isOdd(-5) // true isOdd(-4) // false
自增和自减运算符，是一元运算符，只需要一个运算子。它们的作用是将运算子首先转为数值，然后加上1或者减去1。它们会修改原始变量 示例： var x = 1; ++x // 2 x // 2
--x // 1 x // 1 自增和自减运算符有一个需要注意的地方，就是放在变量之后，会先返回变量操作前的值，再进行自增/自减操作；放在变量之前，会先进行自增/自减操作，再返回变量操作后的值 示例： var x = 1; var y = 1;
x++ // 1 ++y // 2 上面代码中，x是先返回当前值，然后自增，所以得到1；y是先自增，然后返回新的值，所以得到2
数值运算符（+）同样使用加号，但是加法运算符是二元运算符（需要两个操作数），它是一元运算符（只需要一个操作数）。
数值运算符的作用在于可以将任何值转为数值（与Number函数的作用相同） 示例： +true // 1 +[] // 0 +{} // NaN 上面代码表示，非数值类型的值经过数值运算符以后，都变成了数值（最后一行NaN也是数值） 负数值运算符（-），也同样具有将一个值转为数值的功能，只不过得到的值正负相反。连用两个负数值运算符，等同于数值运算符 示例： var x = 1; -x // -1 -(-x) // 1 上面代码最后一行的圆括号不可少，否则会变成递减运算符。
数值运算符号和负数值运算符，都会返回一个新的值，而不会改变原始变量的值
赋值运算符，用于给变量赋值 示例： x += y // 等同于 x = x + y x -= y // 等同于 x = x - y x *= y // 等同于 x = x * y x /= y // 等同于 x = x / y x %= y // 等同于 x = x % y x >>= y // 等同于 x = x >> y x <<= y // 等同于 x = x << y x >>>= y // 等同于 x = x >>> y x &= y // 等同于 x = x & y x |= y // 等同于 x = x | y x ^= y // 等同于 x = x ^ y
比较运算符，用于比较两个值，然后返回一个布尔值，表示是否满足比较条件 示例： 2 > 1 // true 上面代码比较2是否大于1，返回true。
JavaScript一共提供了8个比较运算符。
== 相等 === 严格相等 != 不相等 !== 严格不相等 < 小于 <= 小于或等于 > 大于 >= 大于或等于
比较运算符的算法 比较运算符可以比较各种类型的值，不仅仅是数值。
除了相等运算符号和精确相等运算符，其他比较运算符的算法如下。
如果两个运算子都是字符串，则按照字典顺序比较（实际上是比较Unicode码点）。 否则，将两个运算子都转成数值，再进行比较（等同于先调用Number函数）。 下面的例子是两个原始类型的值之间的比较 示例： 5 > '4' // true // 等同于 5 > Number('4') // 即 5 > 4
true > false // true // 等同于 Number(true) > Number(false) // 即 1 > 0
2 > true // true // 等同于 2 > Number(true) // 即 2 > 1 上面代码中，字符串和布尔值都会先转成数值，再进行比较。
如果运算子是对象，必须先将其转为原始类型的值，即先调用valueOf方法，如果返回的还是对象，再接着调用toString方法 示例： var x = [2]; x > '11' // true // 等同于 [2].valueOf().toString() > '11' // 即 '2' > '11'
x.valueOf = function () { return '1' }; x > '11' // false // 等同于 [2].valueOf() > '11' // 即 '1' > '11' 两个对象之间的比较也是如此 [2] > [1] // true // 等同于 [2].valueOf().toString() > [1].valueOf().toString() // 即 '2' > '1'
[2] > [11] // true // 等同于 [2].valueOf().toString() > [11].valueOf().toString() // 即 '2' > '11'
{x: 2} >= {x: 1} // true // 等同于 {x: 2}.valueOf().toString() >= {x: 1}.valueOf().toString() // 即 '[object Object]' >= '[object Object]'
字符串的比较，字符串将按照字典顺序进行比较 示例： 'cat' > 'dog' // false 'cat' > 'catalog' // false JavaScript 引擎内部首先比较首字符的 Unicode 码点，如果相等，再比较第二个字符的 Unicode 码点，以此类推
3.严格相等运算符 == === 它们的区别是相等运算符（==）比较两个值是否相等，严格相等运算符（===）比较它们是否为“同一个值”。如果两个值不是同一类型，严格相等运算符（===）直接返回false，而相等运算符（==）会将它们转化成同一个类型，再用严格相等运算符进行比较
不同类型的值 示例： 1 === "1" // false true === "true" // false
同一类型的原始类型值 1 === 0x1 // true
同一类型的复合类型值 {} === {} // false [] === [] // false (function (){} === function (){}) // false 上面代码分别比较两个空对象、两个空数组、两个空函数，结果都是不相等。原因是对于复合类型的值，严格相等运算比较的是，它们是否引用同一个内存地址，而运算符两边的空对象、空数组、空函数的值，都存放在不同的内存地址，结果当然是false
如果两个变量引用同一对象，则它们相等 var v1 = {}; var v2 = v1; v1 === v2 // true
undefined和null undefined和null与自身严格相等 示例： undefined === undefined // true null === null // true
严格不相等运算符 严格相等运算符有一个对应的“严格不相等运算符”（!==），两者的运算结果正好相反 1 !== '1' // true
4.相等运算符 原始类型的数据会转换成数值类型再进行比较 1 == true // true // 等同于 1 === 1
0 == false // true // 等同于 0 === 0
2 == true // false // 等同于 2 === 1
2 == false // false // 等同于 2 === 0
'true' == true // false // 等同于 Number('true') === Number(true) // 等同于 NaN === 1
'' == 0 // true // 等同于 Number('') === 0 // 等同于 0 === 0
'' == false // true // 等同于 Number('') === Number(false) // 等同于 0 === 0
'1' == true // true // 等同于 Number('1') === Number(true) // 等同于 1 === 1
'\n 123 \t' == 123 // true // 因为字符串转为数字时，省略前置和后置的空格
对象与原始类型值比较 [1] == 1 // true // 等同于 Number([1]) == 1
[1] == '1' // true // 等同于 String([1]) == Number('1')
[1] == true // true // 等同于 Number([1]) == Number(true) 上面代码中，数组[1]分别与数值、字符串和布尔值进行比较，会先转成字符串或数值，再进行比较。比如，与数值1比较时，数组[1]会被自动转换成数值1，因此得到true
undefined和null undefined和null与其他类型的值比较时，结果都为false，它们互相比较时结果为true 示例： false == null // false false == undefined // false
0 == null // false 0 == undefined // false
undefined == null // true
5.布尔运算符 取反运算符：! 且运算符：&& 或运算符：|| 三元运算符：?:
取反运算符 !true // false !false // true
且运算符 't' && '' // "" 't' && 'f' // "f" 't' && (1 + 2) // 3 '' && 'f' // "" '' && '' // ""
var x = 1; (1 - 1) && ( x += 1) // 0 x // 1
或运算符 't' || '' // "t" 't' || 'f' // "t" '' || 'f' // "f" '' || '' // ""
6.三元运算符 三元条件运算符用问号（?）和冒号（:），分隔三个表达式。如果第一个表达式的布尔值为true，则返回第二个表达式的值，否则返回第三个表达式的值 't' ? 'hello' : 'world' // "hello" 0 ? 'hello' : 'world' // "world" 上面代码的t和0的布尔值分别为true和false，所以分别返回第二个和第三个表达式的值。
通常来说，三元条件表达式与if...else语句具有同样表达效果，前者可以表达的，后者也能表达。但是两者具有一个重大差别，if...else是语句，没有返回值；三元条件表达式是表达式，具有返回值。所以，在需要返回值的场合，只能使用三元条件表达式，而不能使用if..else console.log(true ? 'T' : 'F'); 上面代码中，console.log方法的参数必须是一个表达式，这时就只能使用三元条件表达式。如果要用if...else语句，就必须改变整个代码写法了
7.位运算符 或运算（or）：符号为|，表示若两个二进制位都为0，则结果为0，否则为1。
与运算（and）：符号为&，表示若两个二进制位都为1，则结果为1，否则为0。
否运算（not）：符号为~，表示对一个二进制位取反。
异或运算（xor）：符号为^，表示若两个二进制位不相同，则结果为1，否则为0。
左移运算（left shift）：符号为<<，详见下文解释。
右移运算（right shift）：符号为>>，详见下文解释。
带符号位的右移运算（zero filled right shift）：符号为>>> 这些位运算符直接处理每一个比特位（bit），所以是非常底层的运算，好处是速度极快，缺点是很不直观，许多场合不能使用它们，否则会使代码难以理解和查错。
有一点需要特别注意，位运算符只对整数起作用，如果一个运算子不是整数，会自动转为整数后再执行。另外，虽然在JavaScript内部，数值都是以64位浮点数的形式储存，但是做位运算的时候，是以32位带符号的整数进行运算的，并且返回值也是一个32位带符号的整数 i = i | 0; 上面这行代码的意思，就是将i（不管是整数或小数）转为32位整数。
利用这个特性，可以写出一个函数，将任意数值转为32位整数 function toInt32(x) { return x | 0; }
toInt32(1.001) // 1 toInt32(1.999) // 1 toInt32(1) // 1 toInt32(-1) // -1 toInt32(Math.pow(2, 32) + 1) // 1 toInt32(Math.pow(2, 32) - 1) // -1 上面代码中，最后两行得到1和-1，是因为一个整数大于32位的数位都会 被舍去
或运算，与运算 这两种运算比较容易理解，就是逐位比较两个运算子。“或运算”的规则是，两个二进制位之中只要有一个为1，就返回1，否则返回0。“与运算”的规则是，两个二进制位之中只要有一个位为0，就返回0，否则返回1 0 | 3 // 3 0 & 3 // 0 位运算只对整数有效，遇到小数时，会将小数部分舍去，只保留整数部分。所以，将一个小数与0进行或运算，等同于对该数去除小数部分，即取整数位 2.9 | 0 // 2 -2.9 | 0 // -2
否运算 “否运算”将每个二进制位都变为相反值（0变为1，1变为0）。它的返回结果有时比较难理解，因为涉及到计算机内部的数值表示机制 ~ 3 // -4 上面表达式对3进行“否运算”，得到-4。之所以会有这样的结果，是因为位运算时，JavaScirpt内部将所有的运算子都转为32位的二进制整数再进行运算。3在JavaScript内部是00000000000000000000000000000011，否运算以后得到11111111111111111111111111111100，由于第一位是1，所以这个数是一个负数。JavaScript内部采用补码形式表示负数，即需要将这个数减去1，再取一次反，然后加上负号，才能得到这个负数对应的10进制值。这个数减去1等于11111111111111111111111111111011，再取一次反得到00000000000000000000000000000100，再加上负号就是-4。考虑到这样的过程比较麻烦，可以简单记忆成，一个数与自身的取反值相加，等于-1 ~ -3 // 2
异或运算 “异或运算”在两个二进制位不同时返回1，相同时返回0 0 ^ 3 // 3 上面表达式中，0的二进制形式是00，3的二进制形式是11，它们每一个二进制位都不同，所以得到11（即3） “异或运算”有一个特殊运用，连续对两个数a和b进行三次异或运算，aˆ=b, bˆ=a, aˆ=b，可以互换它们的值 示例： var a = 10; var b = 99;
a ^= b, b ^= a, a ^= b;
a // 99 b // 10 这是互换两个变量的值的最快方法 异或运算也可以用来取整 12.9 ^ 0 // 12
左移运算符<< 左移运算符表示将一个数的二进制值向左移动指定的位数，尾部补0，即乘以2的指定次方（最高位即符号位不参与移动） 示例： // 4 的二进制形式为100， // 左移一位为1000（即十进制的8） // 相当于乘以2的1次方 4 << 1 // 8
-4 << 1 // -8 上面代码中，-4左移一位得到-8，是因为-4的二进制形式是11111111111111111111111111111100，左移一位后得到11111111111111111111111111111000，该数转为十进制（减去1后取反，再加上负号）即为-8 如果左移0位，就相当于将该数值转为32位整数，等同于取整，对于正数和负数都有效 13.5 << 0 // 13
-13.5 << 0 // -13
右移运算符>> 右移运算符表示将一个数的二进制值向右移动指定的位数，头部补0，即除以2的指定次方（最高位即符号位不参与移动） 示例： 4 >> 1 // 2 /* // 因为4的二进制形式为00000000000000000000000000000100， // 右移一位得到00000000000000000000000000000010， // 即为十进制的2 */
-4 >> 1 // -2 /* // 因为-4的二进制形式为11111111111111111111111111111100， // 右移一位，头部补1，得到11111111111111111111111111111110, // 即为十进制的-2 */ 右移运算可以模拟2的整除运算 示例： 5 >> 1 // 相当于 5 / 2 = 2
21 >> 2 // 相当于 21 / 4 = 5
21 >> 3 // 相当于 21 / 8 = 2
21 >> 4 // 相当于 21 / 16 = 1
带符号位的右移运算符>>> 该运算符表示将一个数的二进制形式向右移动，包括符号位也参与移动，头部补0。所以，该运算总是得到正值。对于正数，该运算的结果与右移运算符（»）完全一致，区别主要在于负数 示例： 4 >>> 1 // 2
-4 >>> 1 // 2147483646 /* // 因为-4的二进制形式为11111111111111111111111111111100， // 带符号位的右移一位，得到01111111111111111111111111111110， // 即为十进制的2147483646。 */ 这个运算实际上将一个值转为32位无符号整数
8.开关作用 位运算符可以用作设置对象属性的开关 假定某个对象有四个开关，每个开关都是一个变量。那么，可以设置一个四位的二进制数，它的每个位对应一个开关 示例： var FLAG_A = 1; // 0001 var FLAG_B = 2; // 0010 var FLAG_C = 4; // 0100 var FLAG_D = 8; // 1000 上面代码设置A、B、C、D四个开关，每个开关分别占有一个二进制位。
然后，就可以用“与运算”检验，当前设置是否打开了指定开关 var flags = 5; // 二进制的0101
if (flags & FLAG_C) { // ... } // 0101 & 0100 => 0100 => true 上面代码检验是否打开了开关C。如果打开，会返回true，否则返回false
9.其他运算符
void运算符的作用是执行一个表达式，然后不返回任何值，或者说返回undefined 示例： void 0 // undefined void(0) // undefined 上面是void运算符的两种写法，都正确。建议采用后一种形式，即总是使用括号。因为void运算符的优先性很高，如果不使用括号，容易造成错误的结果。比如，void 4 + 7实际上等同于(void 4) + 7
逗号运算符 逗号运算符用于对两个表达式求值，并返回后一个表达式的值 示例： 'a', 'b' // "b"
var x = 0; var y = (x++, 10); x // 1 y // 10
10.运算顺序
优先级，优先级高的运算符先执行，优先级低的运算符后执行 4 + 5 * 6 // 34 如果多个运算符混写在一起，常常会导致令人困惑的代码 示例： var x = 1; var arr = [];
var y = arr.length <= 0 || arr[0] === undefined ? x : arr[0]; 上面代码中，变量y的值就很难看出来，因为这个表达式涉及5个运算符，到底谁的优先级最高，实在不容易记住。
根据语言规格，这五个运算符的优先级从高到低依次为：小于等于（<=)、严格相等（===）、或（||）、三元（?:）、等号（=）。因此上面的表达式，实际的运算顺序如下 var y = ((arr.length <= 0) || (arr[0] === undefined)) ? x : arr[0];
圆括号的作用，可以用来提高运算的优先级 (4+5)*6//54 圆括号不是运算符，而是一种语法结构。它一共有两种用法：一种是把表达式放在圆括号之中，提升运算的优先级；另一种是跟在函数的后面，作用是调用函数
左结合右结合 对于优先级别相同的运算符，大多数情况，计算顺序总是从左到右，这叫做运算符的“左结合”（left-to-right associativity），即从左边开始计算 x + y + z 上面代码先计算最左边的x与y的和，然后再计算与z的和 但是少数运算符的计算顺序是从右到左，即从右边开始计算，这叫做运算符的“右结合”（right-to-left associativity）。其中，最主要的是赋值运算符（=）和三元条件运算符（?:） 示例： q = a ? b : c ? d : e ? f : g; 上面代码的运算结果，相当于下面的样子 w = (x = (y = z)); q = a ? b : (c ? d : (e ? f : g)); 上面的两行代码，各有三个等号运算符和三个三元运算符，都是先计算最右边的那个运算符
