JavaScript 数据类型

一，数据类型

以下内容基于ES5（ES6引入了一种新的原始数据类型Symbol，表示独一无二的值。它是JavaScript语言的第七种数据类型。）

JavaScript是一种弱类型动态语言，定义变量时无需指定类型，看似简单，但背后有繁琐的转换逻辑。让我们一起来看下js常见的数据类型和背后的隐式转换逻辑。

ES5中有5种简单的数据类型（也叫基本数据类型）:number,string,boolean,null,undefined(null和undefined是两种特殊的基本数据类型，下面会讲到)；还有一种复杂数据类型——Object（函数是一种特殊的对象，后面会讲到）

Undefined类型：

Undefined类型只有一个值，即特殊的undefined。在使用var声明变量但未对其加以初始化时，这个变量的值就是undefined,例如：

var message;
alert(message == undefined);//true

这个例子只声明了变量message,但未对其进行初始化。比较这个变量与undefined字面量，结果表明它们是相等的。这个例子与下面的例子是等价的：

var message = undefined;
alert(message == undefined);//true  

这个例子是用undefined值显示初始化了变量message.但我们没有必要这么做，因为未经初始化的值默认都会取得undefined值。

（一般而言，不存在需要显示地把一个变量设置为undefined值的情况。字面值undefined的主要目的是用于比较，而ECMA-262第3版之前的版本中并没有规定这个值。第3版引入这个值是为了正式区分空对象指针与未经初始化的变量。）

不过，包含undefined值的变量与尚未定义的变量还是不一样的。请看下面的例子：

var message;//这个变量声明之后默认取得了undefined值
//下面这个变量并没有声明
//var age
alert(message);//'undefined'
alert(age);//产生错误  Uncaught ReferenceError: age is not defined(…)

运行以上代码，第一个警告框会显示变量message的值，即'undefined'。而第二个警告框由于传递给alert()函数的是尚未声明的变量age，则会导致一个错误。对于尚未声明过的变量，只能执行一项操作，即使用typeof操作符检测其数据类型。

然而，令人困惑的是：对未初始化的变量执行typeof操作符会返回undefined值，而对未声明的变量执行typeof操作符同样也会返回undefined值。来看下面的例子：

var message;//这个变量声明之后默认取得了undefined值
//下面这个变量并没有声明
//var age
alert(typeof message);//'undefined'
alert(typeof age);//'undefined'

结果表明，对未初始化和未声明的变量执行typeof操作符都返回了undefined值，这个结果有其逻辑上的合理性，因为虽然这两种变量从技术角度看有本质区别，但实际上无论对哪种变量也不可能执行真正的操作。

（即使未初始化的变量会自动被赋予undefined值，但我们仍然建议读者养成显式初始化变量－即在声明变量的同时给变量赋值的习惯。如果能够做到这一点，那么当typeof操作符返回undefined值时，我们就知道被检测的变量是还没有被声明的，而不是尚未初始化的了。）

Null类型

Null类型是第二个只有一个值的数据类型，这个特殊的值就是null。从逻辑角度来看，null值表示一个空对象指针，而这也正是typeof操作符检测null值会返回'Object'的原因，如下面的例子所示：

var car = null;
alert(typeof car);//'object'

如果定义的变量准备在将来用于保存对象，那么最好将该变量初始化为null而不是其他值。这样一来，只要直接检查null值就可以知道相应的变量是否已经保存了一个对象的引用了，如下面的例子所示：

if(car != null){
    //对car执行某些操作
}

实际上，undefined值是派生自null值的，因此ECMA-262规定对它们的相等性测试要返回true；

alert(null == undefined);//'true'

这里，位于null和undefined之间的相等操作符（==）总是返回true,不过要注意的是，这个操作符出于比较的目的会转换其操作数（后面会详细介绍相关内容）。

尽管null和udefined有这样的关系，但它们的用途完全不同。如前所述，无论在什么情况下，都没有必要把一个变量的值显式地设置为undefined，可是同样的规则对null却不适用。换句话说，只要意在保存对象的变量还没有真正保存对象，就应该明确地让该变量保存null值。这样做不仅可以体现null作为空对象指针的惯例，而且也有助于进一步区分null和undefined。

二，隐式转换

+和－

在js中，虽然我们不需要显式地定义变量的类型，但在实际的处理中，会根据不同的类型，会有不同的处理。先看几个例子：

var x = 'The answer is ' + 42;//"The answer is 42"  这里的'+'会理解为字符串拼接
var y = 42 + ' is the answer';//"42 is the answer"   这里的'+'会理解为字符串拼接
'37' + 7;//"377"   这里的'+'会理解为字符串拼接
'37' - 7;//30  这里的'-'会理解为减法运算

我们也可以巧用类型转换，去做一些事情，比如想把一个变量num转换为数字类型，非常简单的办法就是减去数字‘0’，如果想把一个变量num变为字符串类型，那么可以加上一个空字符串''。

var num;
num = num - 0;
alert(typeof num);//"number"
num = num + '';
alert(typeof num);//"string"

 ===

严格等于a===b，首先会判断等号两边的类型，如果两边的类型不同，直接返回false，不再往下进行，如果类型相同，判断值是否想等。需注意NaN和任何东西比较都不想等，包括和自己比较也不想等。另外，JavaScript中的对象的比较是用引用去比较，而不是用值去比较，所以比较两个对象也不相等，因为不是两个完全相同的对象。可以定义变量x（不区分类型），让x和x比较，返回true。

'1.23' === '1.23';//true
null === null;//true
undefined == undefined;//true
null === undefined;//false
NaN === NaN;//false NaN属于number值，和任何东西比较都不想等，包括和自己比较也不想等
NaN == NaN;//false NaN属于number值，和任何东西比较都不想等，包括和自己比较也不想等
[1,2] == [1,2];//false 由于js中对象的比较是用引用去比较，虽然两边都是数组，而且长度一样、相同的值、相同的顺序，也是不等的，因为不是完全相同的对象。
new Object() == new Object();//false 引用比较，两个空对象是不同的两个对象，不相等。
var x；
x === x;//true 定义变量x，，让x和x比较 返回true 

 ＝＝

如果类型相同，比较方法同'==='，如果类型不同，会尝试类型转换和比较：

null == undefined //相等
number == string //尝试把string转换成number再去比较
1.0 == '1.0';//true
boolean == ? //无论右边是什么，会先把boolean先转换成数字，true转换成1,false转换成0,然后再去和右边的比较
true == 1; //true.
object == number | string //会尝试把对象转换为基本类型再去比较 其他的情况是false.
new String('hi') == 'hi';//true
new Boolean(false) == 0;//true

 三，包装对象

number,string,boolean这三种基本类型都有对应的包装类型，先看一个例子：

从上面的例子可以看出，js中当把一个基本类型(比如string类型)尝试以对象的方式去使用的时候，比如访问它的length属性，或者增加一些属性的时候，js会很智能地把被操作的基本类型转换成对应的包装类型对象，（相当于new String()），这个临时包装对象的内容和基本类型的值是一样的，当完成访问或者属性设置的时候，这个临时包装对象会被销毁掉，所以再去访问已经设置的属性，是访问不到的。number和boolean基本类型转换成包装类型对象的原理都是一样的。

var a = 'string';//定义变量a，赋值基本类型'string'
alert(a.length);//"6" 创建对应的临时包装对象，访问临时包装对象的length属性,得到结果6
a.t = 3;//3，设置成功后，临时对象被销毁，所以下面alert值是undefined
alert(a.t);//"undefined" 

var b = 123;
b.toString();//"123" 调用对应临时包装对象Number()上的toString()方法，转换成字符串

 四，类型检测

1，最常见的是用typeof操作符，会返回一个字符串，适合函数对象和基本类型的判断，遇到null失效，会返回Object。

typeof 100 //"number" 数值
typeof NaN; //"number"  数值
typeof Infinity;//"number" 数值
typeof true //"Boolean" 布尔值
typeof(undefined); //"undefined" 表示这个值未定义
typeof new Object(); //"object" 对象
typeof [1, 2]; //"object" 数组是对象，没有特殊处理
typeof null; //"object" null值表示一个空对象指针，所以返回Object
typeof function //"function" 从技术角度讲，函数在ECMAScript中是对象，不是一种数据类型，然而，函数也确实有一些特殊的属性，因此通过typeof操作符来区分函数和其他对象是有必要的

2，如果要判断对象类型，常用的是instanceof，适合自定义对象，也可以用来检测原生对象，在不同iframe和window间检测时失效，是基于原型链去判断，instanceof原理： 判断obj对象的原型链上是否有右边的构造函数的prototype属性，关于原型链，详见后面篇章。

obj instanceof Object（obj：必须是对象，如果是基本类型，直接会返回false;  Object：必须是函数对象，或者函数构造器，如果不是，就会抛出TypeError异常。）

看下简单的例子

new Object() instanceof Array === false //true
[1, 2] instanceof Array === true //true
[] instanceof Array===true//true

我们知道，任何一个构造函数，都有一个prototype对象属性，这个对象属性将用作使用new构造函数这种方式构造出的对象的原型。比如Person这个函数，函数有prototype属性. 我们用new Person()去创建Person实例的时候，这个对象实例就会有一个原型指向Person.prototype这个对象。我们用var bosn=new Student(),创建一个Student实例bosn,bosn的原型会指向它的构造器Student的prototype对象属性。检测bosn instanceof Person时，bosn.__proto__=Student.prototype,然后原型链会继续往上查找，bosn.__proto__.__proto__=person.prototype.就会返回true。注意，不同window或iframe间的对象类型检测不能使用instanceof！

3，Object.prototype.toString()判断类型，适合内置对象和基本类型，遇到null和undefined失效,IE6/IE7/IE8返回'[object Object]'

Object.prototype.toString.apply([]);==='[object Array]';
Object.prototype.toString.apply(function(){});==='[object Function]';
Object.prototype.toString.apply(null);==='[object Null]';//IE6/IE7/IE8返回'[object Object]'
Object.prototype.toString.apply(undefined);==='[object Undefined]';//IE6/IE7/IE8返回'[object Object]'
Object.prototype.toString.apply('123');==="[object String]";
Object.prototype.toString.apply(123);==="[object Number]";
Object.prototype.toString.apply(true);==="[object Boolean]";
Object.prototype.toString.apply(String);==="[object Function]";
Object.prototype.toString.apply(Boolean);==="[object Function]"

4，constructor检测类型

任何一个对象都有一个constructor属性，继承自原型，会执向构造这个对象的构造函数, constructor可以被改写，使用时要小心。

5，duck type检测类型

比如我们不知道一个对象是否是数组，我们可以判断这个对象的length是否是数字，是否有join,push等数组的函数方法，通过特征判断对象是否属于某些类型，有时也会用到。