声明命令
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>
|