关系表达式
关系表达式总是返回一个布尔值。
相等和不等运算符
相等运算符(== 和 === )用于比较两个值是否相等。允许任何类型的操作数。
对象的比较是引用的比较,而不是值的比较。一个对象只和其本身是相等的,和其他任何对象都不相等。
严格相等运算符“===”(也叫恒等运算符)首先计算其操作数的值,然后比较这两个值,比较过程没有任何类型转换:
- 如果类型不同,则不相等。
- 如果都是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; // true
1 in data; // true,数字转换为字符串
3 in data; // false,数字转换为字符串
对于数组,元素的索引其实就是数组对象的属性。所以,上面代码中1,3都是针对索引的。
instanceof运算符
instanceof运算符希望左操作数是一个对象,右操作数是标识对象的类。如果左侧的对象是右侧类的实例,则表达式返回true;否则,返回false。JavaScript中对象的类是通过初始化它们的构造函数来定义的,所以右操作数应当是一个函数。
var d = new Date();
d instanceof Date; // true
d instanceof Object; // true
d instanceof Number; // false,d不是一个Number对象
var a = [1, 2, 3];
a instanceof Array; // true
a instanceof Object; // true
a 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没有派生关系。