0%

Javascript 中的严格模式

ES5为Javascript添加了第二种运行模式:严格模式。这使得Javascript在更严格的条件下运行。

设立严格模式的目的:

  • 消除JavaScript语法的一些不合理,不严谨之处,减少一些怪异行为。
  • 消除代码运行的一些不安全之处,保证代码运行的安全。
  • 提高编译器效率,增加运行速度。
  • 为未来新版本的JavaScript做好铺垫。

进入严格模式的标志:

“use strict”

ps:ES6的模块自动采用严格模式,不管有没有使用'use strict'

严格模式可以用于整个JavaScript脚本或者单个函数。如果将'use strict'放在脚本的第一行,则整个脚本都将以严格模式运行,将'use strict'放在函数的第一行,则整个函数以严格模式运行。

1
2
3
'use strict'

console.log('严格模式')
1
2
3
4
function strict() {
'use strict'
return '严格模式'
}

严格模式中的变化

全局变量显式声明

严格模式下无法再意外创建全局变量(非严格模式下,变量没有经过声明而直接使用,这个变量会变成全局变量)。严格模式中意外创建全局变量会抛出错误。

1
2
3
name = 'Jane'

console.log(name) // Jane
1
2
3
4
'use strict'

name = 'Jane'
console.log(name) // name is not defined

Javascript允许动态绑定,即某些属性和方法到底是属于哪一个对象,不是在编译时确定的,而是在运行时(runtime)确定的。

严格模式对动态绑定做了一些限制。某些情况下,只允许静态绑定,这样有利于编译效率的提高,也使得代码更容易阅读,更少地出现意外。

显式报错

严格模式会使引起静默失败(silently fail:不报错也没有任何效果)的赋值操作抛出异常。

例如:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
'use strict'

// 给不可写属性赋值
var obj1 = {}
Object.defineProperty(obj1, 'x', {
value: 42,
writable: false
})
obj1.x = 9 // 抛出TypeError错误

// 给只读属性赋值
var obj2 = {
get x() {
return 17
}
}
obj2.x = 5 // 抛出TypeError错误

// 给不可扩展对象的新属性赋值
var fixed = {}
Object.preventExtensions(fixed)
fixed.newProp = "ohai" // 抛出TypeError错误

禁止使用with语句

因为with语句无法在编译时就确定属性到底归属哪个对象。

1
2
3
4
5
6
7
'use strict'

var v = 1

with(o) {
v = 2
}

eval作用域

正常模式下,JavaScript有两种作用域:全局作用域和函数作用域。严格模式增加了第三种作用域“eval作用域”。

正常模式下,eval语句的作用域,取决于它所处的环境是全局作用域还是函数作用域。但在严格模式下,eval语句本身就是一个作用域,它所生成的变量只能用于eval内部。

1
2
3
4
5
6
'use strict'

var x = 2

console.log(eval("var x = 5; x")) // 5
console.log(x) // 2

禁止this指向全局对象

1
2
3
4
5
6
// 非严格模式下this指向全局对象
function f() {
console.log(!this)
}

f() // false
1
2
3
4
5
6
7
8
// 严格模式下this的值为undefined
function f() {
'use strict'

console.log(!this)
}

f() // true

禁止在函数内部遍历调用栈

对象不能有重名的属性

正常模式下,如果对象有多个重名属性,最后赋值的那个属性会覆盖前面的属性的值。在严格模式下,这属于语法错误。

1
2
3
4
5
6
7
'use stirct'

// 语法错误
var o = {
p: 1,
p: 2
}

ps:这个问题在es6中已经不存在了

禁止删除声明变量

严格模式禁止删除声明变量。delete name在严格模式下会引起语法错误。

1
2
3
4
'use strict'

var x
delete x // Delete of an unqualified identifier in strict mode.

函数不能有重名参数

正常模式下,如果函数有多个重名参数,可以用arguments[i]读取。在严格模式下,这属于语法错误。

1
2
3
4
5
function f(a, a, b) {
console.log(a, a, b)
}

f(1, 2, 3) // 2, 2, 3
1
2
3
4
5
6
7
'use strict'

function f(a, a, b) {
console.log(a, a, b)
}

f(1, 2, 3) // Duplicate parameter name not allowed in this context

不允许对arguments赋值

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
'use strict'

arguments++ // 语法错误

var obj = {
set p(arguments) { }
} // 语法错误

try {
} catch (arguments) {
} // 语法错误

function arguments() {
} // 语法错误

var f = new Function("arguments", "'use strict'; return 17;") // 语法错误

arguments不再追踪参数的变化

1
2
3
4
5
6
function f(a) {
a = 2
console.log([a, arguments[0]])
}

f(1) // [2, 2]
1
2
3
4
5
6
7
8
function f(a) {
'use strict'

a = 2
console.log([a, arguments[0]])
}

f(1) // [2, 1]

禁止使用arguments.callee

正常模式下,arguments.callee指向当前正在执行的函数。这个作用很小,直接给函数命名就可以了。此外,arguments.callee十分不利于优化。例如内联函数,因为arguments.callee会依赖对非内联函数的引用。

1
2
3
4
5
function f() {
console.log(arguments.callee)
}

f() // [Function: f]
1
2
3
4
5
6
7
'use strict'

function f() {
console.log(arguments.callee)
}

f() // TypeError

禁止八进制数字语法

非严格模式下,整数的第一位如果是0,表示这是八进制数。严格模式禁止这种表示法,整数第一位为0,将会报错。

1
2
var num = 0101
console.log(num) // 65
1
2
3
4
'use strict'

var num = 0101
console.log(num) // Octal literals are not allowed in strict mode

函数声明必须在顶层

严格模式只允许在全局作用域或者函数作用域的顶层声明函数,也就是说,不允许在非函数的代码块内声明函数。

1
2
3
4
5
6
7
if (true) {
function f() {
console.log('success')
}
}

f() // 'success'
1
2
3
4
5
6
7
8
9
'use strict'

if (true) {
function f() {
console.log('success')
}
}

f() // f is not defined

参考链接

Strict mode

Javascript严格模式详解