es6新增功能
声明命令
1. let命令
ES6新增了let命令,用来声明变量。它的用法类似于var,但是所声明的变量,只在let命令所在的代码块内有效。下面代码在代码块之中,分别用let和var声明了两个变量。然后在代码块之外调用这两个变量,结果let声明的变量报错,var声明的变量返回了正确的值。这表明,let声明的变量只在它所在的代码块有效。
1
2
3
4
5
6
|
{ let a = 10; var b = 1; } console.log(b); // 1 console.log(a); // 报错a没有定义 |
for循环的计数器,就很合适使用let命令,计数器i只在for循环体内有效,在循环体外引用就会报错:
1
2
3
4
|
for ( let i = 0; i < 10; i++) { // ... } console.log(i); // 报错i没有定义 |
下面的代码如果使用var,最后输出的是10。因为变量i是var命令声明的,在全局范围内都有效,每一次循环,变量i的值都会发生改变,而循环内被赋给数组a的函数内部的console.log(i),里面的i指向的就是全局的i。也就是说,所有数组a的成员里面的i,指向的都是同一个i,导致运行时输出的是最后一轮的i的值,也就是10。
如果使用let,声明的变量仅在块级作用域内有效,最后输出的是6。因为变量i是let声明的,当前的i只在本轮循环有效,所以每一次循环的i其实都是一个新的变量,所以最后输出的是6。由于JavaScript引擎内部会记住上一轮循环的值,初始化本轮的变量i时,就在上一轮循环的基础上进行计算:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
var a = []; for ( var i = 0; i < 10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 10 var a = []; for ( let i = 0; i < 10; i++) { a[i] = function () { console.log(i); }; } a[6](); // 6 |
let不允许在相同作用域内,重复声明同一个变量,不能在函数内部相同模块范围重新声明参数。
1
2
3
4
5
6
7
8
9
10
11
12
|
let a = 10; // 即使声明是var a = 10;后面一样报错 let a = 1; // 报错 function func(arg) { let arg; // 调用时报错 } function func(arg) { { let arg; // 不报错,因为对上一个arg来看在子模块中 } } |
另外,for循环还有一个特别之处,就是设置循环变量的那部分是一个单独的父作用域,而循环体内部是子作用域:
1
2
3
4
5
6
7
8
9
10
11
|
let i = 123; console.log(i); for ( let i = 0; i < 2; i++,console.log(i)) { let i = 'abc' ; console.log(i); } // 123 // abc // 1 // abc // 2 |
var命令会发生“变量提升”现象,即变量可以在声明之前使用,值为undefined。为了纠正这种现象,let命令改变了语法行为,它所声明的变量一定要在声明后使用,否则报错。这在语法上,称为“暂时性死区”(temporal dead zone,简称TDZ)。
1
2
|
typeof x; // 报错:同一块作用域在let x之前,x无法进行任何操作 let x; |
let实际上为JavaScript新增了块级作用域,在{}被包围的范围外,不受内层的let变量影响(但会受var的“变量提升”影响):
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
function text1(){ let n = 5; //或var n = 5; if ( true ) { let n = 10; } console.log(n); // 5 } function text2(){ var n = 5; if ( true ) { var n = 10; } console.log(n); // 10 } function text3(){ let n = 5; if ( true ) { var n = 10; //报错,已经声明了n } } |
2. const命令
const声明一个只读的常量。一旦声明,常量的值就不能改变,且声明时必须立即初始化,不能留到以后赋值。const的作用域与let命令相同:只在声明所在的块级作用域内有效。
1
2
3
4
|
const PI = 3.1415; PI = 3; //报错,赋值给常量 const a; //报错,缺少初始化 |
const实际上保证的,并不是变量的值不得改动,而是变量指向的那个内存地址不得改动。对于简单类型的数据(数值、字符串、布尔值),值就保存在变量指向的那个内存地址,因此等同于常量。但对于复合类型的数据(主要是对象和数组),变量指向的内存地址,保存的只是一个指针,const只能保证这个指针是固定的,至于它指向的数据结构是不是可变的,就完全不能控制了。因此,将一个对象声明为常量必须非常小心。
1
2
3
4
|
const foo = {}; // const foo = []同理,可以正常使用push等功能 foo.prop = 123; // 为foo添加一个属性,可以成功 console.log(foo.prop); //123 foo = {}; // 将foo指向另一个对象,就会报错 |
3.Class命令
ES6 提供了更接近传统语言的写法,引入了Class(类)这个概念(类的数据类型就是函数,类本身就指向构造函数),作为对象的模板。通过class关键字,可以定义类。class可以看作只是一个语法糖,它的绝大部分功能,ES5都可以做到,新的class写法只是让对象原型的写法更加清晰、更像面向对象编程的语法而已:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
function Point(x, y) { this .x = x; this .y = y; } Point.prototype.toString = function () { return '(' + this .x + ', ' + this .y + ')' ; }; // 上面为原先写法,下面为ES6的Class写法 class Point { constructor(x, y) { // 构造方法,this关键字代表实例对象 this .x = x; this .y = y; } toString() { // 自定义方法,方法之间不需要逗号分隔,加了会报错 return '(' + this .x + ', ' + this .y + ')' ; } } |
构造函数的prototype属性,在ES6的类上面继续存在。事实上,类的所有方法都定义在类的prototype属性上面。但类的内部所有定义的方法,都是不可枚举的(non-enumerable):
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
class Point { constructor() { } toString() { } toValue() { } } console.log(Object.keys(Point.prototype)); // [] 不可枚举 console.log(Object.getOwnPropertyNames(Point.prototype)); // ["constructor", "toString", "toValue"] // 相当于 function Point() { } Point.prototype = { constructor() {}, toString() {}, toValue() {}, }; console.log(Object.keys(Point.prototype)); // ["constructor", "toString", "toValue"] |
类的属性名,可以采用表达式:
1
2
3
4
5
|
let methodName = 'getArea' ; class Square { [methodName]() { } } |
与函数一样,类也可以使用表达式的形式定义。下面代码使用表达式定义了一个类。需要注意的是,这个类的名字是MyClass而不是Me,Me只在 Class 的内部代码可用,指代当前类:
1
2
3
4
5
6
7
8
|
const MyClass = class Me { // 如果类的内部没用到的话,可以省略Me getClassName() { return Me.name; } }; let inst = new MyClass(); console.log(inst.getClassName()) // Me Me.name // 报错,Me没有定义 |
类相当于实例的原型,所有在类中定义的方法,都会被实例继承。如果在一个方法前,加上static关键字,就表示该方法不会被实例继承,而是直接通过类来调用,这就称为“静态方法”。
1
2
3
4
5
6
7
8
|
class Foo { static classMethod() { return 'hello' ; } } Foo.classMethod() // 'hello' var foo = new Foo(); foo.classMethod() // 报错foo.classMethod不是一个函数(不存在该方法) |
如果静态方法包含this关键字,这个this指的是类,而不是实例。静态方法可以与非静态方法重名,父类的静态方法,可以被子类继承:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
class Foo { static bar () { this .baz(); //等同于调用Foo.baz } static baz () { console.log( 'hello' ); } baz () { console.log( 'world' ); } } Foo.bar() // hello class Bar extends Foo { } Bar.classMethod() // hello |
4.import命令
import虽然属于声明命令,但它是和export命令配合使用的。export命令用于规定模块的对外接口,import命令用于输入其他模块提供的功能。
一个模块就是一个独立的文件。该文件内部的所有变量,外部无法获取。如果外部能够读取模块内部的某个变量、函数或类,就必须使用export关键字输出。export输出的变量就是本来的名字,但是可以使用as关键字重命名:
1
2
3
4
5
6
7
8
9
10
|
// profile.js export var firstName = 'Michael' ; export function f() {}; export var year = 1958; //写法2,与上等同 var firstName = 'Michael' ; function f() {}; var y = 1958; export {firstName, f, y as year}; |
export语句输出的接口,与其对应的值是动态绑定关系,即通过该接口,可以取到模块内部实时的值。这一点与CommonJS规范完全不同,CommonJS模块输出的是值的缓存。export命令可以出现在模块的任何位置,只要处于模块顶层就可以。如果处于块级作用域内,就会报错:
1
2
3
4
5
6
|
export var foo = 'bar' ; setTimeout(() => foo = 'baz' , 500); // 输出变量foo,值为bar,500毫秒之后变成baz function foo() { export default 'bar' // 语法错误 } |
使用export命令定义了模块的对外接口以后,其他JS文件就可以通过import命令加载这个模块,变量名必需与被导入模块(profile.js)对外接口的名称相同。import命令可以使用as关键字,将输入的变量重命名。除了指定加载某个输出值,还可以使用整体加载,即用*指定一个对象,所有输出值都加载在这个对象上面。
1
2
3
4
5
6
|
import {firstName as name, f, year} from './profile.js' ; import * as p from './profile.js' ; function setName(element) { element.textContent = name + ' ' + year; // 值等同于p.firstName + ' ' + p.year; } |
import命令输入的变量都是只读的,因为它的本质是输入接口。也就是说,不允许在加载模块的脚本里面,改写接口。但是,如果是一个对象,改写对象的属性是允许的。并且由于import是静态执行,所以不能使用表达式和变量,这些只有在运行时才能得到结果的语法结构。
1
2
3
4
5
6
7
8
9
10
11
12
|
import {a} from './xxx.js' ; // 也可以是绝对路径,.js后缀可以省略 a.foo = 'hello' ; // 合法操作 a = {}; // 报错:a是只读的 import { 'f' + 'oo' } from '/my_module.js' ; // 报错,语法错误(不能用运算符) if (x === 1) { import { foo } from 'module1' ; // 报错,语法错误(import不能在{}内) } else { import { foo } from 'module2' ; } |
注意,import命令具有提升效果,会提升到整个模块的头部,首先执行。import可以不导入模块中的任何内容,只运行模块中的全局代码。如果多次执行同一模块的import语句,那么只会执行一次其全局代码,但变量均会正常引入(相当于合并处理)。
1
2
3
4
|
foo(); import { foo } from '/my_module.js' ; // 不会报错,因为import的执行早于foo的调用 import '/modules/my-module.js' ; // 不引入变量,但执行其中全局代码 import { a } from '/modules/my-module.js' ; // 重复引入不执行全局代码,但引入变量a |
除了用大括号引入变量,import还可以直接自定义引入默认变量:
1
2
3
4
5
6
7
8
|
// export-default.js export default function () { console.log( 'foo' ); } // import-default.js import customName from './export-default.js' ; //customName可以是任意名字 customName(); // 'foo' |
解构赋值
ES6允许按照一定模式,从数组和对象中提取值,对变量进行赋值,这被称为解构(Destructuring)。本质上,这种写法属于“模式匹配”,只要等号两边的模式相同,左边的变量就会被赋予对应的值。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
let a = 1; let b = 2; let c = 3; // 等价于 let [a, b, c] = [1, 2, 3]; let [ , third] = [ "foo" , "bar" , "baz" ]; third // "bar" let [head, ...tail] = [1, 2, 3, 4]; head // 1 tail // [2, 3, 4] let [x, y, ...z] = [ 'a' ]; x // "a" y // 变量解构不成功,赋值为undefined z // 数组解构不成功,赋值为[] |
解构赋值允许指定默认值,只有当一个数组成员严格等于undefined,默认值才会生效:
1
2
3
4
|
let [foo = true ] = []; // foo = true let [x, y = 'b' ] = [ 'a' ]; // x='a', y='b' let [q = 1, w = 'b' ] = [ 'a' , undefined]; // q='a', w='b' let [e = 1] = [ null ]; // e = null |
解构不仅可以用于数组,还可以用于对象。对象的解构与数组有一个重要的不同。数组的元素是按次序排列的,变量的取值由它的位置决定;而对象的属性没有次序,变量必须与属性同名,才能取到正确的值。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
let { bar, foo } = { foo: "aaa" , bar: "bbb" }; foo // "aaa" bar // "bbb" let { abc } = { foo: "aaa" , bar: "bbb" }; abc // undefined let { foo: baz } = { foo: 'aaa' , bar: 'bbb' }; baz // "aaa" const node = { loc: { start: { line: 1, column: 5 } } }; let { loc, loc: { start }, loc: { start: { line }} } = node; line // 1 loc // Object {start: Object} start // Object {line: 1, column: 5} |
解构赋值用途示例:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//交换变量的值 let x = 1; let y = 2; [x, y] = [y, x]; //提取 JSON 数据 let jsonData = { id: 42, status: "OK" , data: [867, 5309] }; let { id, status, data: number } = jsonData; console.log(id, status, number); // 42, "OK", [867, 5309] //遍历 Map 结构 const map = new Map(); map.set( 'first' , 'hello' ); map.set( 'second' , 'world' ); for ( let [key, value] of map) { console.log(key + " is " + value); } // first is hello // second is world |
不同浏览器的不同版本对ES6的支持度不同,而Babel是一个广泛使用的ES6转码器,可以将ES6代码转为ES5代码,从而在现有环境执行,例如:
1
2
3
4
5
6
7
|
/// 转码前 input.map(item => item + 1); // 转码后 input.map( function (item) { return item + 1; }); |
另外,使用Google公司的Traceur转码器,也可以将ES6代码转为ES5代码,需要提前引入其js库:
1
2
3
|
|
第一个是加载Traceur的库文件,第二个和第三个是将这个库文件用于浏览器环境。然后就可以加载ES6的用户脚本了,如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
//引用外部ES6的js <script type= "module" > import './Greeter.js' ; </script> //直接写ES6的JS <script type= "module" > class Calc { constructor() { console.log( 'Calc constructor' ); } add(a, b) { return a + b; } } var c = new Calc(); console.log(c.add(4,5)); //正常情况下,会在控制台打印出9。 </script> |
注意,自定义的script标签的type属性的值是module,而不是text/javascript。这是Traceur编译器识别ES6代码的标志,编译器会自动将所有type=module的代码编译为ES5,然后再交给浏览器执行。
如果想对Traceur的行为有精确控制,可以采用下面参数配置的写法:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<script> // 创建系统对象 window.System = new traceur.runtime.BrowserTraceurLoader(); // 设置参数 var metadata = { traceurOptions: { experimental: true , properTailCalls: true , symbols: true , arrayComprehension: true , asyncFunctions: true , asyncGenerators: exponentiation, forOn: true , generatorComprehension: true } }; // 加载模块 System. import ( './myModule.js' , {metadata: metadata}). catch ( function (ex) { console.error( 'Import failed' , ex.stack || ex); }); </script> |