1.原始类型和引用类型
1.1 什么是类型
原始类型 保存为简单数据值。
引用类型 保存为对象,其本质是指向内存位置的引用。
为了让开发者能够把原始类型和引用类型按相同的方式处理,JavaScript花费了很大的努力来保证语言的一致性。
其他编程语言用栈存原始类型,用对存储引用类型。而JavaScript则完全不同:它使用一个变量对象追踪变量的生存期。原始值被直接保存在变量对象内,而引用值则作为一个指针保存在变量对象内,该指针指向实际对象在内存中的存储位置。
1.2 原始类型
原始类型代表照原样保存的一些简单数据。
JavaScript共有 5 种原始类型:
- boolean 布尔,值为
true
orfalse
- number 数字,值为任何整型或浮点数值
- string 字符串,值为由单引号或双引号括住的单个字符或连续字符
- null 空类型,仅有一个值:null
- undefined 未定义,只有一个值:undefined(undefined会被赋给一个还没有初始化的变量)
JavaScript和许多其他语言一样,原始类型的变量直接保存原始值(而不是一个指向对象的指针)。
var color1 = "red";
var color2 = color1;
console.log(color1); // "red"
console.log(color2); // "red"
color1 = "blue";
console.log(color1); // "blue"
console.log(color2); // "red"
鉴别原始类型
鉴别原始类型的最佳方式是使用 typeof
操作符。
console.log(typeof "Nicholas"); // "string"
console.log(typeof 10); // "number"
console.log(typeof true); // "boolean"
console.log(typeof undefined); // "undefined"
至于空类型(null)则有些棘手。
console.log(typeof null); // "object"
对于 typeof null,结果是"object"。(其实这已被设计和维护JavaScript的委员会TC39认定是一个错误。在逻辑上,你可以认为 null
是一个空的对象指针,所以结果为"object",但这还是很令人困惑。)
判断一个值是否为空类型(null)的最佳方式是直接和 null
比较:
console.log(value === null); // true or false
注意:以上这段代码使用了三等号(全等===),因为三等号(全等)不会将变量强制转换为另一种类型。
console.log("5" == 5); // true
console.log("5" === 5); // false
console.log(undefined == null); // true
console.log(undefined === null); // false
原始方法
虽然字符串、数字和布尔值是原始类型,但是它们也拥有方法(null和undefined没有方法)。
var name = "Nicholas";
var lowercaseName = name.toLowerCase(); // 转为小写
var count = 10;
var fixedCount = count.toFixed(2); // 转为10.00
var flag = true;
var stringFlag = flag.toString(); // 转为"true"
console.log("YIBU".charAt(0)); // 输出"Y"
尽管原始类型拥有方法,但它们不是对象。JavaScript使它们看上去像对象一样,以此来提高语言上的一致性体验。
1.3 引用类型
引用类型是指JavaScript中的对象,同时也是你在该语言中能找到最接近类的东西。
引用值是引用类型的实例,也是对象的同义词(后面将用对象指代引用值)。对象是属性的无序列表。属性包含键(始终是字符串)和值。如果一个属性的值是函数,它就被称为方法。除了函数可以运行以外,一个包含数组的属性和一个包含函数的属性没有什么区别。
创建对象
有时候,把JavaScript对象想象成哈希表可以帮助你更好地理解对象结构。
JavaScript 有好几种方法可以创建对象,或者说实例化对象。第一种是使用 new
操作符和构造函数。
构造函数就是通过 new
操作符来创建对象的函数——任何函数都可以是构造函数。根据命名规范,JavaScript中的构造函数用首字母大写来跟非构造函数进行区分。
var object = new Object();
因为引用类型不再变量中直接保存对象,所以本例中的 object
变量实际上并不包含对象的实例,而是一个指向内存中实际对象所在位置的指针(或者说引用)。这是对象和原始值之间的一个基本差别,原始值是直接保存在变量中。
当你将一个对象赋值给变量时,实际是赋值给这个变量一个指针。这意味着,将一个变量赋值给另外一个变量时,两个变量各获得了一份指针的拷贝,指向内存中的同一个对象。
var obj1 = new Object();
var obj2 = obj1;
对象引用解除
JavaScript语言有垃圾收集的功能,因此当你使用引用类型时无需担心内存分配。但最好在不使用对象时将其引用解除,让垃圾收集器对那块内存进行释放。解除引用的最佳手段是将对象变量设置为 null
。
var obj1 = new Object();
// dosomething
obj1 = null; // dereference
添加删除属性
在JavaScript中,你可以随时添加和删除其属性。
var obj1 = new Object();
var obj2 = obj1;
obj1.myCustomProperty = "Awsome!";
console.log(obj2.myCustomProperty); // "Awsome!" 因为obj1和obj2指向同一个对象。
1.4 内建类型实例化
内建类型如下:
- Array 数组类型,以数字为索引的一组值的有序列表
- Date 日期和时间类型
- Error 运行期错误类型
- Function 函数类型
- Object 通用对象类型
- RegExp 正则表达式类型
可使用 new
来实例化每一个内建引用类型:
var items = new Array();
var new = new Date();
var error = new Error("Something bad happened.");
var func = new Function("console.log('HI');");
var object = new Object();
var re = new RegExp();
字面形式
内建引用类型有字面形式。字面形式允许你在不需要使用 new
操作符和构造函数显示创建对象的情况下生成引用值。属性的键可以是标识符或字符串(若含有空格或其他特殊字符)
var book = {
name: "Book_name",
year: 2016
}
上面代码与下面这段代码等价:
var book = new Object();
book.name = "Book_name";
book.year = 2016;
虽然使用字面形式并没有调用 new Object(),但是JavaScript引擎背后做的工作和 new Object()一样,除了没有调用构造函数。其他引用类型的字面形式也是如此。
1.5 访问属性
可通过 .
和 中括号
访问对象的属性。
中括号[]
在需要动态决定访问哪个属性时,特别有用。因为你可以用变量而不是字符串字面形式来指定访问的属性。
1.6 鉴别引用类型
函数是最容易鉴别的引用类型,因为对函数使用 typeof
操作符时,返回"function"。
function reflect(value){
return value;
}
console.log(typeof reflect); // "function"
对其他引用类型的鉴别则较为棘手,因为对于所有非函数的引用类型,typeof
返回 object
。为了更方便地鉴别引用类型,可以使用 JavaScript 的 instanceof
操作符。
var items = [];
var obj = {};
function reflect(value){
return value;
}
console.log(items instanceof Array); // true;
console.log(obj instanceof Object); // true;
console.log(reflect instanceof Function); // true;
instanceof
操作符可鉴别继承类型。这意味着所有对象都是 Oject
的实例,因为所有引用类型都继承自 Object
。
虽然 instanceof 可以鉴别对象类型(如数组),但是有一个列外。JavaScript 的值可以在同一个网页的不用框架之间传来传去。由于每个网页拥有它自己的全局上下文——Object、Array以及其他内建类型的版本。所以当你把一个对象(如数组)从一个框架传到另外一个框架时,instanceof就无法识别它。
1.8 原始封装类型
原始封装类型有 3
种:String、Number 和 Boolean。
当读取字符串、数字或布尔值时,原始封装类型将被自动创建。
var name = "Nicholas";
var firstChar = name.charAt(0); // "N"
这在背后发生的事情如下:
var name = "Nichola";
var temp = new String(name);
var firstChar = temp.charAt(0);
temp = null;
由于第二行把字符串当成对象使用,JavaScript引擎创建了一个字符串的实体让 charAt(0)
可以工作。字符串对象的存在仅用于该语句并在随后销毁(一种被称为自动打包的过程)。为了测试这一点,试着给字符串添加一个属性看看它是不是对象。
var name = "Nicholas";
name.last = "Zakas";
console.log(name.last); // undefined;
下面是在JavaScript引擎中实际发生的事情:
var name = "Nicholas";
var temp = new String(name);
temp.last = "Zakas";
temp = null; // temporary object destroyed
var temp = new String(name);
console.log(temp.last);
temp = null;
新属性 last
实际上是在一个立刻就被销毁的临时对象上而不是字符串上添加。之后当你试图访问该属性时,另一个不同的临时对象被创建,而新属性并不存在。
虽然原始封装类型会被自动创建,在这些值上进行 instanceof
检查对应类型的返回值却是 false
。
这是因为临时对象仅在值被读取时创建。instanceof
操作符并没有真的读取任何东西,也就没有临时对象的创建。
当然你也可以手动创建原始封装类型。
var str = new String("me");
str.age = 18;
console.log(typeof str); // object
console.log(str.age); // 18
如你所见,手动创建原始封装类型实际会创建出一个 object
。这意味着 typeof
无法鉴别出你实际保存的数据的类型。
另外,手动创建原始封装类型和使用原始值是有一定区别的。所以尽量避免使用。
var found = new Boolean(false);
if(found){
console.log("Found"); // 执行到了,尽管对象的值为 false
}
这是因为一个对象(如 {}
)在条件判断语句中总被认为是 true
;
MDN:Any object whose value is not undefined or null, including a Boolean oject whose value is false, evaluates to true when passed to a conditional statement.
1.9 总结
第一章的东西都是我们一些比较熟悉的知识。但是也有一些需要注意的地方:
- 正确区分原始类型和引用类型
- 对于
5
种原始类型都可以用typeof来鉴别,而空类型必须直接跟null
进行全等比较。 - 函数也是对象,可用
typeof
鉴别。其它引用类型,可用instanceof
和一个构造函数来鉴别。(当然可以用Object.prototype.toString.call()
鉴别,它会返回[object Array]之类的)。 - 为了让原始类型看上去更像引用类型,JavaScript提供了
3
种封装类型。JavaScript会在背后创建这些对象使得你能够像使用普通对象那样使用原始值。但这些临时对象在使用它们的语句结束时就立刻被销毁。虽然可手动创建,但不建议。