本文系统梳理 ECMAScript 6 (ES6) 的核心语法与特性,涵盖变量声明、函数优化、数据结构及异步处理。详细解析 let/const 作用域、箭头函数 this 指向、解构赋值、Symbol 类型、迭代器与生成器,以及 Promise 异步编程模型,帮助开发者快速掌握现代 JavaScript 开发标准。
ECMAScript 6 概述
简介
ECMAScript 6 作为 JavaScript 的后续标准,目前正处于快速迭代阶段,旨在支持复杂应用程序、函数库及代码自动生成器的开发。现代浏览器已部分支持其语法,且 ES6 已成为业界主流标准,普及速度远超 ES5。这主要归功于 Chrome 和 Firefox 等主流浏览器对 ES6 特性的迅速支持,绝大多数特性已可用。
变量声明与作用域
1. let、const 和 block 作用域
let 关键字用于创建块级作用域,ES6 建议在函数内部使用 let 而非 var 来定义变量。
var a = 2;
{
let a = 3;
console.log(a); // 3
}
console.log(a); // 2
在块级作用域中有效的另一种声明方式是 const,用于定义常量。在 ES6 中,const 声明的常量类似于指针,指向某个引用,因此该「常量」本身并非不可变,例如:
{
const ARR = [5,6];
ARR.push(7);
console.log(ARR); // [5,6,7]
ARR = 10; // TypeError
}
使用 let 和 const 时需注意以下几点:
let 声明的变量不具备变量提升(hoisting)特性。
let 和 const 的作用域仅限于最接近的块(花括号内)。
使用 const 声明常量时,建议采用大写变量命名法,例如:CAPITAL_CASING。
const 在声明时必须进行赋值。
箭头函数与 this 绑定
2. 箭头函数(Arrow Functions)
ES6 引入了箭头函数作为函数的简写形式,语法为括号包裹参数后跟 =>,紧接着是函数体:
var getPrice = function() {
return 4.55;
};
// Implementation with Arrow Function
var getPrice = () => 4.55;
需要注意的是,上述示例中的 getPrice 箭头函数使用了简洁函数体,无需 return 语句。以下示例展示了使用常规函数体的情况:
let arr = ['apple', 'banana', 'orange'];
let breakfast = arr.map(fruit => {
return fruit + 's';
});
console.log(breakfast); // apples bananas oranges
箭头函数不仅简化了代码,还确保了函数中的 this 始终指向定义时的对象。参考以下示例:
function Person() {
this.age = 0;
setInterval(function growUp() {
// 在非严格模式下,growUp() 函数的 this 指向 window 对象
this.age++;
}, 1000);
}
var person = new Person();
传统方式中,我们常需保存 this 的引用,然后在 growUp 函数中使用:
function Person() {
var self = this;
self.age = 0;
setInterval(function growUp() {
self.age++;
}, 1000);
}
使用箭头函数可避免这一繁琐操作:
function Person(){
this.age = 0;
setInterval(() => {
// |this| 指向 person 对象
this.age++;
}, 1000);
}
var person = new Person();
函数参数与操作符
3. 函数参数默认值
ES6 允许为函数参数设置默认值:
let getFinalPrice = (price, tax=0.7) => price + price * tax;
getFinalPrice(500); // 850
4. Spread / Rest 操作符
Spread / Rest 操作符使用 ... 表示,具体含义取决于上下文语境。
在迭代器中使用 Spread 操作符:
function foo(x,y,z) {
console.log(x,y,z);
}
let arr = [1,2,3];
foo(...arr); // 1 2 3
在函数传参时使用 Rest 操作符:
function foo(...args) {
console.log(args);
}
foo( 1, 2, 3, 4, 5); // [1, 2, 3, 4, 5]
对象与字面量扩展
5. 对象词法扩展
ES6 允许在对象字面量中使用简写语法初始化属性变量和定义函数,并支持在对象属性中进行计算:
function getCar(make, model, value) {
return {
// 简写变量
make, // 等同于 make: make
model, // 等同于 model: model
value, // 等同于 value: value
// 属性可以使用表达式计算值
['make' + make]: true,
// 忽略 `function` 关键词简写对象函数
depreciate() {
this.value -= 2500;
}
};
}
let car = getCar('Barret', 'Lee', 40000);
// output: {
// make: 'Barret',
// model:'Lee',
// value: 40000,
// makeBarret: true,
// depreciate: function()
// }
6. 二进制和八进制字面量
ES6 支持二进制和八进制字面量,通过在数字前添加 0o 或 0O 即可转换为二进制值:
let oValue = 0o10;
console.log(oValue); // 8
let bValue = 0b10; // 二进制使用 `0b` 或者 `0B`
console.log(bValue); // 2
解构与数据结构
7. 对象和数组解构
解构赋值可避免在对象赋值时产生中间变量:
function foo() {
return [1,2,3];
}
let arr = foo(); // [1,2,3]
let [a, b, c] = foo();
console.log(a, b, c); // 1 2 3
function bar() {
return {
x: 4,
y: 5,
z: 6
};
}
let {x: x, y: y, z: z} = bar();
console.log(x, y, z); // 4 5 6
8. 对象超类
ES6 允许在对象中使用 super 方法:
var parent = {
foo() {
console.log("Hello from the Parent");
}
}
var child = {
foo() {
super.foo();
console.log("Hello from the Child");
}
}
Object.setPrototypeOf(child, parent);
child.foo(); // Hello from the Parent
// Hello from the Child
9. 模板语法和分隔符
ES6 提供了一种简洁的方法来组装字符串和变量。
${ ... } 用于渲染变量,` 作为分隔符。
let user = 'Barret';
console.log(`Hi ${user}!`); // Hi Barret!
10. for...of VS for...in
for...of 用于遍历迭代器,如数组:
let nicknames = ['di', 'boo', 'punkeye'];
nicknames.size = 3;
for (let nickname of nicknames) {
console.log(nickname);
}
Result: di, boo, punkeye
for...in 用于遍历对象中的属性:
let nicknames = ['di', 'boo', 'punkeye'];
nicknames.size = 3;
for (let nickname in nicknames) {
console.log(nickname);
}
Result: 0, 1, 2, size
Map、WeakMap 与 Set
11. Map 和 WeakMap
ES6 引入了两种新的数据结构:Map 和 WeakMap。实际上,每个对象都可以视为一个 Map。
Map 由多个 key-value 对组成,任何类型均可作为 key,例如:
var myMap = new Map();
var keyString = "a string",
keyObj = {},
keyFunc = function () {};
// 设置值
myMap.set(keyString, "value 与 'a string' 关联");
myMap.set(keyObj, "value 与 keyObj 关联");
myMap.set(keyFunc, "value 与 keyFunc 关联");
myMap.size; // 3
// 获取值
myMap.get(keyString); // "value 与 'a string' 关联"
myMap.get(keyObj); // "value 与 keyObj 关联"
myMap.get(keyFunc); // "value 与 keyFunc 关联"
WeakMap
WeakMap 是一种特殊的 Map,其所有 key 均为弱引用。这意味着垃圾回收时 WeakMap 中的内容不会被考虑,从而避免内存泄漏问题。
此外,WeakMap 的所有 key 必须是对象,且仅提供四个方法:delete(key)、has(key)、get(key) 和 set(key, val):
let w = new WeakMap();
w.set('a', 'b');
// Uncaught TypeError: Invalid value used as weak map key
var o1 = {},
o2 = function(){},
o3 = window;
w.set(o1, 37);
w.set(o2, "azerty");
w.set(o3, undefined);
w.get(o3); // undefined, because that is the set value
w.has(o1); // true
w.delete(o1);
w.has(o1); // false
12. Set 和 WeakSet
Set 对象是一组不重复的值,可包含原始类型和引用类型:
let mySet = new Set([1, 1, 2, 2, 3, 3]);
mySet.size; // 3
mySet.has(1); // true
mySet.add('strings');
mySet.add({ a: 1, b:2 });
可通过 forEach 和 for...of 遍历 Set 对象:
mySet.forEach((item) => {
console.log(item);
// 1
// 2
// 3
// 'strings'
// Object { a: 1, b: 2 }
});
for (let value of mySet) {
console.log(value);
// 1
// 2
// 3
// 'strings'
// Object { a: 1, b: 2 }
}
Set 同样提供 delete() 和 clear() 方法。
WeakSet
类似于 WeakMap,WeakSet 允许在集合中保存对象的弱引用,且每个对象只允许出现一次:
var ws = new WeakSet();
var obj = {};
var foo = {};
ws.add(window);
ws.add(obj);
ws.has(window); // true
ws.has(foo); // false, foo 没有添加成功
ws.delete(window); // 从结合中删除 window 对象
ws.has(window); // false, window 对象已经被删除
类与继承机制
13. 类
ES6 引入了 class 语法。需注意,这里的 class 并非新的对象继承模型,而是原型链的语法糖表现形式。
在函数中使用 static 关键词定义构造函数的方法和属性:
class Task {
constructor() {
console.log("task instantiated!");
}
showId() {
console.log(23);
}
static loadAll() {
console.log("Loading all tasks..");
}
}
console.log(typeof Task); // function
let task = new Task(); // "task instantiated!"
task.showId(); // 23
Task.loadAll(); // "Loading all tasks.."
类中的继承和超集:
class Car {
constructor() {
console.log("Creating a new car");
}
}
class Porsche extends Car {
constructor() {
super();
console.log("Creating Porsche");
}
}
let c = new Porsche();
// Creating a new car
// Creating Porsche
extends 允许子类继承父类,需注意子类的 constructor 函数中必须执行 super()。
此外,可在子类方法中调用父类方法,如 super.parentMethodName()。
在 这里 阅读更多关于类的介绍。
需注意以下几点:
类的声明不会提升(hoisting),使用前必须定义,否则会抛出 ReferenceError 错误。在类中定义函数无需使用 function 关键词。
Symbol 与唯一标识
14. Symbol
Symbol 是一种新的数据类型,其值唯一且不可变。ES6 提出 symbol 的目的是生成唯一标识符,但该标识符不可直接访问:
var sym = Symbol( "some optional description" );
console.log(typeof sym); // symbol
注意,Symbol 前不能使用 new 操作符。
若作为对象属性,该属性将是不可枚举的:
var o = {
val: 10,
[ Symbol("random") ]: "I'm a symbol",
};
console.log(Object.getOwnPropertyNames(o)); // val
要获取对象的 symbol 属性,需使用 Object.getOwnPropertySymbols(o)。
迭代器与生成器
15. 迭代器(Iterators)
迭代器允许每次访问数据集合的一个元素,当指针指向最后一个元素时退出。它提供 next() 函数来遍历序列,该方法返回包含 done 和 value 属性的对象。
ES6 可通过 Symbol.iterator 为对象设置默认遍历器,当对象需要遍历时,执行其 @@iterator 方法即可返回用于获取值的迭代器。
数组默认即为一个迭代器:
var arr = [11,12,13];
var itr = arr[Symbol.iterator]();
itr.next(); // { value: 11, done: false }
itr.next(); // { value: 12, done: false }
itr.next(); // { value: 13, done: false }
itr.next(); // { value: undefined, done: true }
可通过 [Symbol.iterator]() 自定义对象的迭代器。
16. Generators
Generator 函数是 ES6 的新特性,允许函数返回的可遍历对象生成多个值。
使用中会看到 * 语法和新的关键词 yield:
function *infiniteNumbers() {
var n = 1;
while (true){
yield n++;
}
}
var numbers = infiniteNumbers(); // returns an iterable object
numbers.next(); // { value: 1, done: false }
numbers.next(); // { value: 2, done: false }
numbers.next(); // { value: 3, done: false }
每次执行 yield 时,返回的值变为迭代器的下一个值。
异步编程与 Promise
17. Promises
ES6 原生支持 Promise,它是一个等待异步执行的对象,执行完成后状态变为 resolved 或 rejected。
var p = new Promise(function(resolve, reject) {
if (/* condition */) {
// fulfilled successfully
resolve(/* value */);
} else {
// error, rejected
reject(/* reason */);
}
});
每个 Promise 都有 .then 方法,接受两个参数:处理 resolved 状态的回调和处理 rejected 状态的回调:
p.then((val) => console.log("Promise Resolved", val),
(err) => console.log("Promise Rejected", err));
以上为 ECMAScript 6 核心特性的快速入门指南,供开发者学习参考。