3.5 操作符
ECMA-262 描述了一组用于操作数据值的操作符，包括算术操作符（如加号和减号）、位操作符、关系操作符和相等操作符。
在应用于对象时，相应的操作符通常都会调用对象的 valueOf()和（或）toString()方法，以便取得可以操作的值。
3.5.1 一元操作符
只能操作一个值的操作符叫做一元操作符。一元操作符是 ECMAScript 中最简单的操作符。
1. 递增和递减操作符
++a，a++，--a，a--
所有这 4 个操作符对任何值都适用，也就是它们不仅适用于整数，还可以用于字符串、布尔值、浮点数值和对象。
在应用于一个包含有效数字字符的字符串时，先将其转换为数字值，再执行加减 1 的操作。字符串变量变成数值变量。
在应用于一个不包含有效数字字符的字符串时，将变量的值设置为 NaN（第 4 章将详细讨论）。字符串变量变成数值变量。
在应用于布尔值 false 时，先将其转换为 0 再执行加减 1 的操作。布尔值变量变成数值变量。
在应用于布尔值 true 时，先将其转换为 1 再执行加减 1 的操作。布尔值变量变成数值变量。
在应用于浮点数值时，执行加减 1 的操作。
在应用于对象时，先调用对象的 valueOf()方法（第 5 章将详细讨论）以取得一个可供操作的值。然后对该值应用前述规则。如果结果是 NaN，则在调用 toString()方法后再应用前述规则。对象变量变成数值变量。
2. 一元加和减操作符
先调用它们的 valueOf()和（或）toString()方法，再转换得到的值。
一元加和减操作符主要用于基本的算术运算，也可以用于转换数据类型。
3.5.2 位操作符
位操作符用于在最基本的层次上，即按内存中表示数值的位来操作数值。
ECMAScript 中的所有数值都以 IEEE-754 64 位格式存储，(64->32->64)
有符号的整数，32 位中的前 31 位用于表示整数的值。第 32 位用于表示数值的符号：0 表示正数，1 表示负数。(符号位)
负数同样以二进制码存储，但使用的格式是二进制补码。计算一个数值的二进制补码，需要经过下列 3 个步骤：
(1) 求这个数值绝对值的二进制码（例如，要求18 的二进制补码，先求 18 的二进制码）；
(2) 求二进制反码，即将 0 替换为 1，将 1 替换为 0；
(3) 得到的二进制反码加 1。
默认情况下，ECMAScript 中的所有整数都是有符号整数。
在对特殊的 NaN 和 Infinity 值应用位操作时，这两个值都会被当成 0 来处理。
对非数值应用位操作符，会先使用 Number()函数将该值转换为一个数值（自动完成），然后再应用位操作。得到的结果将是一个数值。
1. 按位非（NOT）
按位非操作符由一个波浪线（~）表示，执行按位非的结果就是返回数值的反码。
2. 按位与（AND）
按位与操作符由一个和号字符（&）表示，它有两个操作符数。
3. 按位或（OR）
按位或操作符由一个竖线符号（|）表示，同样也有两个操作数。
4. 按位异或（XOR）
按位异或操作符由一个插入符号（^）表示，也有两个操作数。
5. 左移
左移操作符由两个小于号（<<）表示，这个操作符会将数值的所有位向左移动指定的位数。
6. 有符号的右移
有符号的右移操作符由两个大于号（>>）表示，这个操作符会将数值向右移动，但保留符号位（即正负号标记）。
7. 无符号右移
无符号右移操作符由 3 个大于号（>>>）表示，这个操作符会将数值的所有 32 位都向右移动。对正数来说，无符号右移的结果与有符号右移相同。
3.5.3 布尔操作符
1. 逻辑非
逻辑非操作符由一个叹号（！）表示，可以应用于 ECMAScript 中的任何值。
逻辑非操作符遵循下列规则：
如果操作数是一个对象，返回 false；
如果操作数是一个空字符串，返回 true；
如果操作数是一个非空字符串，返回 false；
如果操作数是数值 0，返回 true；
如果操作数是任意非 0 数值（包括 Infinity），返回 false；
如果操作数是 null，返回 true；
如果操作数是 NaN，返回 true；
如果操作数是 undefined，返回 true。
同时使用两个逻辑非操作符，实际上就会模拟 Boolean()转型函数的行为。
2. 逻辑与
逻辑与操作符由两个和号（&&）表示，有两个操作数。
逻辑与遵循下列规则：
如果第一个操作数是对象，则返回第二个操作数；
如果第二个操作数是对象，则只有在第一个操作数的求值结果为 true 的情况下才会返回该对象；
如果两个操作数都是对象，则返回第二个操作数；
如果有一个操作数是 null，则返回 null；
如果有一个操作数是 NaN，则返回 NaN；
如果有一个操作数是 undefined，则返回 undefined。
逻辑与操作属于短路操作，即如果第一个操作数能够决定结果，那么就不会再对第二个操作数求值。对于逻辑与操作而言，如果第一个操作数是 false，则无论第二个操作数是什么值，结果都不再可能是true 了。
3. 逻辑或
逻辑或操作符由两个竖线符号（||）表示，有两个操作数。
遵循下列规则：
如果第一个操作数是对象，则返回第一个操作数；
如果第一个操作数的求值结果为 false，则返回第二个操作数；
如果两个操作数都是对象，则返回第一个操作数；
如果两个操作数都是 null，则返回 null；
如果两个操作数都是 NaN，则返回 NaN；
如果两个操作数都是 undefined，则返回 undefined。
与逻辑与操作符相似，逻辑或操作符也是短路操作符。也就是说，如果第一个操作数的求值结果为true，就不会对第二个操作数求值了。
3.5.4 乘性操作符
ECMAScript 定义了 3 个乘性操作符：乘法、除法和求模。
在操作数为非数值的情况下会执行自动的类型转换。
如果参与乘性计算的某个操作数不是数值，后台会先使用 Number()转型函数将其转换为数值。
1. 乘法
乘法操作符由一个星号（*）表示，用于计算两个数值的乘积。
在处理特殊值的情况下，乘法操作符遵循下列特殊的规则：
如果操作数都是数值，执行常规的乘法计算，即两个正数或两个负数相乘的结果还是正数，而如果只有一个操作数有符号，那么结果就是负数。如果乘积超过了 ECMAScript 数值的表示范围，则返回 Infinity 或-Infinity；
如果有一个操作数是 NaN，则结果是 NaN；
如果是 Infinity 与 0 相乘，则结果是 NaN；
如果是 Infinity 与非 0 数值相乘，则结果是 Infinity 或-Infinity，取决于有符号操作数的符号；
如果是 Infinity 与 Infinity 相乘，则结果是 Infinity；
如果有一个操作数不是数值，则在后台调用 Number()将其转换为数值，然后再应用上面的规则。
2. 除法
除法操作符由一个斜线符号（/）表示，执行第二个操作数除第一个操作数的计算。
有特殊的处理规则如下：
如果操作数都是数值，执行常规的除法计算，即两个正数或两个负数相除的结果还是正数，而如果只有一个操作数有符号，那么结果就是负数。如果商超过了 ECMAScript 数值的表示范围，则返回 Infinity 或-Infinity；
如果有一个操作数是 NaN，则结果是 NaN；
如果是 Infinity 被 Infinity 除，则结果是 NaN；
如果是零被零除，则结果是 NaN；
如果是非零的有限数被零除，则结果是 Infinity 或-Infinity，取决于有符号操作数的符号；
如果是 Infinity 被任何非零数值除，则结果是 Infinity 或-Infinity，取决于有符号操作数的符号；
如果有一个操作数不是数值，则在后台调用 Number()将其转换为数值，然后再应用上面的规则。
3. 求模
求模（余数）操作符由一个百分号（%）表示。
特殊规则如下：
如果操作数都是数值，执行常规的除法计算，返回除得的余数；
如果被除数是无穷大值而除数是有限大的数值，则结果是 NaN；
如果被除数是有限大的数值而除数是零，则结果是 NaN；
如果是 Infinity 被 Infinity 除，则结果是 NaN；
如果被除数是有限大的数值而除数是无穷大的数值，则结果是被除数；
如果被除数是零，则结果是零； 如果有一个操作数不是数值，则在后台调用 Number()将其转换为数值，然后再应用上面的规则。
3.5.5 加性操作符
1. 加法
如果两个操作符都是数值，执行常规的加法计算，然后根据下列规则返回结果：
如果有一个操作数是 NaN，则结果是 NaN；
如果是 Infinity 加 Infinity，则结果是 Infinity；
如果是-Infinity 加-Infinity，则结果是-Infinity；
如果是 Infinity 加-Infinity，则结果是 NaN；
如果是+0 加+0，则结果是+0；
如果是-0 加-0，则结果是-0；
如果是+0 加-0，则结果是+0。
不过，如果有一个操作数是字符串，那么就要应用如下规则：
如果两个操作数都是字符串，则将第二个操作数与第一个操作数拼接起来；
如果只有一个操作数是字符串，则将另一个操作数转换为字符串，然后再将两个字符串拼接起来。
如果有一个操作数是对象、数值或布尔值，则调用它们的 toString()方法取得相应的字符串值，然后再应用前面关于字符串的规则。对于 undefined 和 null，则分别调用 String()函数并取得字符串"undefined"和"null"。
2. 减法
减法操作符（-）是另一个极为常用的操作符，其用法如下所示：
与加法操作符类似，ECMAScript 中的减法操作符在处理各种数据类型转换时，同样需要遵循一些特殊规则。
3.5.6 关系操作符
ECMAScript 中的其他操作符一样，当关系操作符的操作数使用了非数值时，也要进行数据转换或完成某些奇怪的操作。
如果两个操作数都是数值，则执行数值比较。
如果两个操作数都是字符串，则比较两个字符串对应的字符编码值。
如果一个操作数是数值，则将另一个操作数转换为一个数值，然后执行数值比较。
如果一个操作数是对象，则调用这个对象的 valueOf()方法，用得到的结果按照前面的规则执行比较。如果对象没有 valueOf()方法，则调用 toString()方法，并用得到的结果根据前面的规则执行比较。
如果一个操作数是布尔值，则先将其转换为数值，然后再执行比较。
3.5.7 相等操作符
ECMAScript 的解决方案就是提供两组操作符：相等和不相等——先转换再比较，全等和不全等——仅比较而不转换。
1. 相等和不相等
ECMAScript 中的相等操作符由两个等于号（==）表示，如果两个操作数相等，则返回 true。而不相等操作符由叹号后跟等于号（!=）表示，如果两个操作数不相等，则返回 true。
这两个操作符都会先转换操作数（通常称为强制转型），然后再比较它们的相等性。
在转换不同的数据类型时，相等和不相等操作符遵循下列基本规则：
如果有一个操作数是布尔值，则在比较相等性之前先将其转换为数值——false 转换为 0，而true 转换为 1；
如果一个操作数是字符串，另一个操作数是数值，在比较相等性之前先将字符串转换为数值；
如果一个操作数是对象，另一个操作数不是，则调用对象的 valueOf()方法，用得到的基本类型值按照前面的规则进行比较；这两个操作符在进行比较时则要遵循下列规则。
null 和 undefined 是相等的。
要比较相等性之前，不能将 null 和 undefined 转换成其他任何值。
如果有一个操作数是 NaN，则相等操作符返回 false，而不相等操作符返回 true。重要提示：即使两个操作数都是 NaN，相等操作符也返回 false；因为按照规则，NaN 不等于 NaN。
如果两个操作数都是对象，则比较它们是不是同一个对象。如果两个操作数都指向同一个对象，则相等操作符返回 true；否则，返回 false。
2. 全等和不全等
除了在比较之前不转换操作数之外，全等和不全等操作符与相等和不相等操作符没有什么区别。全等操作符由 3 个等于号（===）表示，它只在两个操作数未经转换就相等的情况下返回 true。
3.5.8 条件操作符
条件操作符应该算是 ECMAScript 中最灵活的一种操作符了，而且它遵循与 Java 中的条件操作符相同的语法形式。
variable = boolean_expression ? true_value : false_value;
3.5.9 赋值操作符
简单的赋值操作符由等于号（=）表示，其作用就是把右侧的值赋给左侧的变量。
每个主要算术操作符（以及个别的其他操作符）都有对应的复合赋值操作符。
这些操作符如下所示：
乘/赋值（*=）；
除/赋值（/=）；
模/赋值（%=）；
加/赋值（+=）；
减/赋值（-=）；
左移/赋值（<<=）；
有符号右移/赋值（>>=）；
无符号右移/赋值（>>>=）。
3.5.10 逗号操作符
使用逗号操作符可以在一条语句中执行多个操作。
3.6 语句
ECMA-262 规定了一组语句（也称为流控制语句）。
从本质上看，语句定义了 ECMAScript 中的主要语法，语句通常使用一或多个关键字来完成给定任务。
3.6.1 if语句（条件）
if (condition) statement1 else statement2
其中的 condition（条件）可以是任意表达式；而且对这个表达式求值的结果不一定是布尔值。ECMAScript 会自动调用 Boolean()转换函数将这个表达式的结果转换为一个布尔值。如果对 condition求值的结果是 true，则执行 statement1（语句 1），如果对 condition求值的结果是 false，则执行 statement2（语句 2）。
3.6.2 do-while语句（后测试循环语句）
do { statement} while (expression);
像 do-while 这种后测试循环语句最常用于循环体中的代码至少要被执行一次的情形。
3.6.3 while语句（前测试循环语句）
while(expression) statement
3.6.4 for语句（前测试循环语句）
for (initialization; expression; post-loop-expression) statement
3.6.5 for-in语句（精准的迭代语句）
for (property in expression) statement
3.6.6 label语句
使用 label 语句可以在代码中添加标签，以便将来使用。
label: statement
3.6.7 break和continue语句
break 语句会立即退出循环，强制继续执行循环后面的语句。
而 continue 语句虽然也是立即退出循环，但退出循环后会从循环的顶部继续执行。
3.6.8 with语句
with 语句的作用是将代码的作用域设置到一个特定的对象中。
with (expression) statement;
严格模式下不允许使用 with 语句，否则将视为语法错误。
3.6.9 switch语句
switch 语句与 if 语句的关系最为密切，而且也是在其他语言中普遍使用的一种流控制语句。
switch (expression) {
case value: statement
break;
case value: statement
break;
case value: statement
break;
case value: statement
break;
default: statement
}
switch 语句在比较值时使用的是全等操作符，因此不会发生类型转换（例如，字符串"10"不等于数值 10）。
3.7 函数
函数对任何语言来说都是一个核心的概念。通过函数可以封装任意多条语句，而且可以在任何地方、任何时候调用执行。ECMAScript 中的函数使用 function 关键字来声明，后跟一组参数以及函数体。
function functionName(arg0, arg1,...,argN) {
statements
}
推荐的做法是要么让函数始终都返回一个值，要么永远都不要返回值。否则，如果函数有时候返回值，有时候有不返回值，会给调试代码带来不便。
严格模式对函数有一些限制：
不能把函数命名为 eval 或 arguments；
不能把参数命名为 eval 或 arguments；
不能出现两个命名参数同名的情况。
3.7.1 理解参数
ECMAScript 中的参数在内部是用一个数组来表示的。
函数接收到的始终都是这个数组，而不关心数组中包含哪些参数（如果有参数的话）。如果这个数组中不包含任何元素，无所谓；如果包含多个元素，也没有问题。实际上，在函数体内可以通过 arguments 对象来访问这个参数数组，从而获取传递给函数的每一个参数。
arguments 对象只是与数组类似（它并不是 Array 的实例），因为可以使用方括号语法访问它的每一个元素（即第一个元素是 arguments[0]，第二个元素是 argumetns[1]，以此类推），使用 length 属性来确定传递进来多少个参数。
命名的参数只提供便利，但不是必需的。另外，在命名参数方面，其他语言可能需要事先创建一个函数签名，而将来的调用必须与该签名一致。但在 ECMAScript 中，没有这些条条框框，解析器不会验证命名参数。
ECMAScript 中的所有参数传递的都是值，不可能通过引用传递参数。
严格模式对如何使用 arguments 对象做出了一些限制。
首先，像前面例子中那样的赋值会变得无效。也就是说，即使把 arguments[1]设置为 10，num2 的值仍然还是 undefined。
其次，重写arguments 的值会导致语法错误（代码将不会执行）。
3.7.2 没有重载
在 ECMAScript 中定义了两个名字相同的函数，则该名字只属于后定义的函数。