大多数开发者认为,像JavaScript这样的动态语言是没有类型的。在ES5.1规范中对此是这样界定的: 本规范中的运算法则所操纵的值均有相应的类型。本节中定义了所有可能出现的类型。ECMAScript类型又进一步细分为语言类型和规范类型。ECMAScript类型又进一步细分为语言类型和规范类型。 ECMAScript语言中酥油的值都有一个对应的语言类型。ECMAScript语言类型包括Undefined,Null,Boolean,String,Number和Object.
喜欢强类型(又称静态类型)语言的人也许会认为"类型"一词用在这里不妥。"类型"在强类型语言中的涵义要广很多。
也有人认为,JavaScript中的"类型"应该称为"标签"(tag)或者"子类型"(subtype)。而对语言引擎和开发人员来说,类型是值的内部特征,它定义了值的行为,以使其区别于其他值。换句话说,如果语言引擎和开发人员对42(数字)和"42"(字符串)采取不同的处理方式,那就说明它们是不同的类型,一个是number,一个是String。通常我们对数字42进行数学运算,而对字符串"42"进行字符串操作,比如输出到页面。它们是不同的类型。
1,类型
要正确合理的进行类型转换,我们必须掌握JavaScript中的各个类型及其内在行为。几乎所有的JavaScript程序都会涉及某种形式的强制类型转换,处理这些情况时我们需要有充分的把握和自信。
如果要将42作为string来处理,比如获得其中第二个字符"2",就需要将它从number(强制类型)转换为String。这看似简单,但是强制类型转换形式多样。有些方法简明易懂,也很安全,然而稍不留神,就会出现意想不到的结果。
要灵活的理解和运用强制类型转换,必须深入的了解值和类型。
2,内置类型
JavaScript有七种类型: null,undefined,string,number,object,sybol,boolean
我们可以使用typeof运算符来查看值的类型,它返回的是类型的字符串值。有意思的是,这七种类型和它们的字符串值并不一一对应:
console.log(typeof undefined) //undefined
console.log(typeof true) //boolean
console.log(typeof 42) //number
console.log(typeof "42") //string
console.log(typeof {life:42}) //object
console.log(typeof null) //object
在typeof null中,正确的结果应该是null,但这个bug由来已久,在JavaScript中已经存在了将近二十年,也许永远不会修复,因为在牵涉到太多的Web系统,"修复"它会产生更多的bug,令许多系统无法正常工作。
我们需要使用复合类型来检测null值的类型:
var a = null;
console.log(!a && typeof a === "object") //true
null是"假值"(falsy或者false-like),也是唯一一个用typeof检测会返回"object"的基本类型值。
还有一种情况:typeof function a(){/* ... */} === “function”; //true
这样看来,function(函数)也是JavaScript的一个内置类型。然而查阅规范就会知道,它实际上是object的一个"子类型"。具体来说,函数是"可调用对象",它有一个内部属性[[Call]],该属性使其可以被调用。
函数不仅是对象,还可以拥有属性。例如:function a(b,c){ /*....*/ }
函数对象的length属性是其声明的参数的个数: a.length; // 2
因为该函数声明了两个命名参数,b和c,所以其length值为2
再来看看数组,JavaScript支持数组,那么它是否也是一个特殊类型?
typeof[1,2,3] === “object”; //true
不,数组也是对象。确切的说,它也是object的一个“子类型”,数组的元素按数字顺序来进行索引(而非想普通对象那样通过字符串键值),其length属性是元素的个数
3,值和类型
JavaScript中的变量是没有类型的,只有值才有。变量可以随时持有任何类型的值。
换个角度来理解就是,JavaScript不做"类型强制";也就是说,语言引擎不要求变量总是持有与其初始值同类型的值。一个变量可以被赋值为字符串类型值,随后又被赋值为数字类型值。
42的类型是number,并且无法更改。而"42"的类型为string。数字42可以通过强制类型转换(coercion)为字符串"42"
在对变量执行typeof操作时,得到的结果并不是该变量的类型,而是该变量持有的值的类型,因为JavaScript中的变量没有类型。
var a = 42;
typeof a; //"number"
a = true;
typeof a; //"boolean"
typeof运算符总是会返回一个字符串:
typeof typeof 42; //"string"
typeof 42 首先返回字符串 “number” ,然后typeof “number” 返回“string”
3.1 undefined 和 undeclared
变量在未持有值的时候为undefined。此时typeof返回"undefined":
var a;
typeof a; //undefined
var b = 42;
var c;
//later
b=c;
typeof b; //"undefined"
typeof c; //"undefined"
大多数开发者倾向于将undefined等同于undeclared(未声明),但在JavaScript中它们完全是两回事。
已在作用域中声明但还没有赋值的变量,是undefined的,相反,还没有在作用域中声明过的变量,是undeclared的。
例如:
var a;
a; //undefined
b; //ReferenceError: b is not defined
浏览器对这类情况的处理很让人抓狂。上例中,“b is not defined”容易让人物以为是“b is undefined”。这里再强调一遍,"undefined"和“is not defined”是两码事。此时如果浏览器报错成"b is not found"或者" b is not declared"会更准确。
更让人抓狂的是typeof处理undeclared变量的方式。例如:
var a;
typeof a;//"undefined"
typeof b;//"undefined"
对于undeclared(或者 not defined)变量,typeof照样返回"undefined"。请注意虽然b是一个undeclared变量,但typeof b 并没有报错。这是因为typeof有一个特殊的安全防范机制。
此时typeof如果能返回undeclared(而非undefined)的话,情况会好很多。
3.2 typeof Undeclared
该安全防范机制对在浏览器中运行的JavaScript代码来生活还是很有帮助的,因为多个脚本文件会在共享的全局命名空间中加载变量。
很多开发人员认为全局命名空间红不应该有变量存在,所有东西都应该被封装到模块和私有/独立的命名空间中。理论上这样没错,却不切实际。然而在仍不失为一个值得为之努力奋斗的目标。好在ES6中加入了对模块的支持,这使我们又向目标迈进了一步。
举个简单的例子,在程序中使用全局变量DEBUG作为"调试模式的开关"。在属胡扯调试信息到控制台之前,我们会检查DEBUG变量是否已被声明。顶层的全局变量生命var DEBUG = true只在debug.js文件中才有,而该文件只在开发和测试时才被加载到浏览器,在生产环境中不予加载。
问题是如何在程序中检查全局变量DEBUG才不会出现RefenceError错误。这时typeof的安全防范机制就成了我们的好帮手。
//这样会抛出错误
if(DEBUG){
console.log("Debugging is starting");
}
//这样是安全的
if(typeof DEBUG !== "undefined"){
console.log("Debugging is starting");
}
这不仅对用户定义的变量(比如DEBUG)有用,对内建的API也有帮助:
if(typeof atob === "undefined"){
atob = function(){ /*..*/ };
}
还有一种不用通过typeof的安全防范机制的方法,就是检查所有全局变量是否是全局对象的属性,浏览器中的全局对象是window。所以前面的例子也可以这样来实现:
if(window.DEBUG){
//...
}
if(!window.atob){
//...
}
与undeclared变量不同,访问不存在的对象属性(甚至是在全局对象window上)不会产生ReferenceError错误。
一些开发人员不喜欢通过window来访问全局对象,尤其当代码需要运行在多种JavaScript环境中时(不仅仅是浏览器,还有服务器端,如node.js等),因此此时全局对象并非总是window。
从技术角度来说,typeof的全局防范机制对于非全局变量也很管用,虽然这中情况并不多见,也有一些开发人员不太愿意这样做。如果想让别人在他们的程序或模块中复制粘贴你的代码,就需要检查你用到的变量是否已经在宿主程序中定义过:
function doSomethingCool(){
var helper =
(typeof eatureXYZ !== "undefined")?
FeatureXYZ:
function(){ /*..default feature ..*/};
var val = helper();
//...
}
其他模块和程序引用doSomethingCool()时,doSomethingCool()会检查FeatureXYZ变量是否已经在宿主程序中定义过;如果是,就用现成的,否则就自己定义:
4,小结
JavaScript有七种内置类型:null,undefined,boolean,number,string,object和symbol,可以使用typeof运算符来查看。
变量没有类型,但它们持有的值有类型。类型定义了值的行为特征。
很多开发人员将undefined和undeclared混为一谈,但在JavaScript中它们是两码事。undefined是值的一种。undeclared则表示变量还没有被声明过。
遗憾的是,JavaScript却将它们混为一谈,在我们试图范围"undeclared"变量时这样报错:RefenercaError:a is not defined,并且 typeof对undefined和undeclared变量都返回"undefined"。
然而,通过typeof的安全防范机制(阻止报错)来检查undeclared变量,有时是个不错的办法。