关系表达式

关系表达式

关系表达式总是返回一个布尔值。

相等和不等运算符

相等运算符（== 和 === ）用于比较两个值是否相等。允许任何类型的操作数。
对象的比较是引用的比较，而不是值的比较。一个对象只和其本身是相等的，和其他任何对象都不相等。
严格相等运算符“===”（也叫恒等运算符）首先计算其操作数的值，然后比较这两个值，比较过程没有任何类型转换：

• 如果类型不同，则不相等。
• 如果都是null或都是undefined，则不相等。
• 如果都是true或者都是false，则相等。
• 如果其中一个是NaN，或者两个都是NaN，则不相等。（NaN和其他任何值都是不相等的，包括它本身！ 通过x!==x来判断是否为NaN，只有在x为NaN的时候，这个表达式的值才为true）。
• 如果两个值为数字且数值相等，则相等。如果一个值为0，另一个值为-0，同样相等。
• 如果两个为字符串，且所包含的对应位上的16位数(UTF-16编码)完全相等，则它们相等。如果长度或内容不同，则不相等。
• 如果两个引用值指向同一个对象、数组或函数，则相等。

相等运算符和恒等运算符相似，但比较并不严格。如果两个操作数不是同一类型，那么会尝试进行一些类型转换，然后进行比较：

• 如果类型相同，则和严格相等的比较规则一样。
• 如果类型不同，则会遵守以下规则和类型转换：
  
  • 如果一个是null，另一个是undefined，则它们相等。
  • 如果一个是数字，另一个是字符串，先将字符串转换为数字，然后使用转换后的值进行比较。
  • 如果其中一个值是true，则将其转换为1再进行比较。同理，false会转换为0。
  • 如果一个值是对象，另一个是数字或字符串，则对象转换为原始值，然后再进行比较。JavaScript语言核心的内置类首先尝试使用valueOf()，再尝试使用toString()，而日期类只使用toString()转换。不是核心的为，则通过各自实现中定义的方法转换为原始值。
  • 其他不同类型之间的比较均不相等。

"1" == true     // true

首先，布尔值true转换为数字1，然后字符串“1”也转换为数字1，所以结果为true。

比较运算符

比较运算符用来检测两个操作数的大小关系（数值大小或者字母表顺序）：

• 小于（<）：如果第一个操作数小于第二个，则返回true，否则为false
• 大于（>）：如果第一个操作数大于第二个，则返回true，否则为false
• 小于等于（<=）：如果第一个操作数小于或者等于第二个，则返回true，否则为false
• 大于等于（>=）：如果第一个操作数大于或者等于第二个，则返回true，否则为false

比较操作符的操作数可以是任意类型，只有数字和字符串才能真正执行比较操作，因此不是数字和字符串的操作数都将进行类型转换，规则如下：

• 如果操作数为对象，则转换为原始值。如果valueOf()返回一个原始值，则直接使用；否则，使用toString()的返回值进行比较。
• 在对象转换为原始值之后，如果两个操作数都是字符串，那么将依照字母表的顺序进行比较（字母表顺序指的是组成这个字符串的16位Unicode字符的索引顺序）。
• 在对象转换为原始值之后：
  
  • 如果至少有一个操作数不是字符串，那么两个操作数都将转换为数字进行数值比较
  • 0和-0相等，Infinity比任何数字都大（除了它本身）
  • -Infinit比任何数字都小（除了它自身）
  • 如果其中一个操作数是（或转换后是）NaN，则比较操作符总是返回false。

需要注意的是：JavaScript字符串是一个由16位整数值组成的序列，字符串的比较也只是两个字符串中的字符的数值比较。
String.localCompare()方法更加健壮可靠，它参照本地语言的字母字符次序。
比较运算符合算优先考虑数字的比较：

11 < 3      // false，数字比较"11" < "3"  // true，字符串比较"11" < 3    // false，数字比较，"11"转换为11"one" < 3   // false，"one"转换为NaN

“<=”和“>=”在判断相等时，并不依赖于相等运算符和严格相等运算符的比较规则。
有一个操作数是（或转换后是）NaN时，则所有4个比较运算符均返回false。

in运算符

in运算符希望它的左操作数是一个字符串或可以转换为字符串，希望它的右操作数是一个对象。如果右侧的对象拥有一个名为右操作数值的属性名，则返回true，否则返回false。例如：

var point = { x:1, y:1 };"x" in point;   // true"z" in point;    // false"toString" in point;    // true，对象继承了toString()方法var data = [6, 7, 8];"0" in data;    // true1 in data;      // true，数字转换为字符串3 in data;      // false，数字转换为字符串

对于数组，元素的索引其实就是数组对象的属性。所以，上面代码中1，3都是针对索引的。

instanceof运算符

instanceof运算符希望左操作数是一个对象，右操作数是标识对象的类。如果左侧的对象是右侧类的实例，则表达式返回true；否则，返回false。JavaScript中对象的类是通过初始化它们的构造函数来定义的，所以右操作数应当是一个函数。

var d = new Date();d instanceof Date;      // trued instanceof Object;    // trued instanceof Number;    // false，d不是一个Number对象var a = [1, 2, 3];a instanceof Array;     // truea instanceof Object;    // truea instanceof RegExp;    // false，数组不是正则表达式

所有对象都是Object的实例。在判断一个对象是否是一个类的实例的时候，也会包含对“父类”的检测。
如果左操作数不是对象的话，返回false，如果右操作数不是函数，则抛出一个类型错误异常。
instanceof的工作原理：首先要理解“原型链”，原型链是JavaScript的继承机制。为了计算表达式o instanceof f，首先计算f.prototype，然后在原型链中查找o，如果找到，那么o是f（或者f的父类）的一个实例，表达式返回true。如果f.prototype不在o的原型链中，那么o不是f的实例，则返回false。

对象o中存在一个隐藏的成员，这个成员指向其父类的原型，如果父类的原型是另外一个类的实例的话，则这个原型对象中也存在一个隐藏成员指向在的原型，这种链条将许多对象或类串连起来，即是原型链。f.prototype不在o的原型链中也就是f和o没有派生关系。