三剑客

编译,顾名思义,就是源代码执行前会经历的过程,分三个步骤,

Tip1:js在语法分析和代码生成阶段有对运行性能进行优化,对冗余元素进行优化

Tip2:js的编译过程不是发生在构建之前,而是代码执行之前

理解作用域,首先知道三剑客,分别是

举例子,加深印象,对于var a = 2,三剑客如何协同工作,

编译器进行分词、语法分析,然后要代码生成时,遇到 var a,问一下当前作用域集合“你有没有这个名称的变量呀?”,作用域如果说有,那么忽略声明,继续编译,如果说没有,那么就要要求作用域收集一下,并且给它个名字a,然后编译器就生成了代码,引擎准备来执行了,先问当前作用域集合,“你这里有a这个变量吗?”,有引擎就拿来用,没有就继续找该变量,要么找到,就给它附个值2,没有那就给你报个错!

理解编译器的相关术语

作用域嵌套

当一个块或是函数嵌套在另外一个块或函数时,就会产生作用域嵌套,于是在当前作用域找不到某个变量时,引擎会往外层嵌套作用域继续查找,直达到最外层作用域(全局作用域)为止,也就是所谓的作用域链啦!

词法作用域

相信有很多人都是搞不懂词法作用域是什么?

所谓的词法作用域,就是定义在词法阶段(词法分析)的作用域,由你写代码时将变量和块作用域写在哪里来决定的。

遮蔽效应

作用域查找会在找到第一个匹配的标识符时停止,不会继续往上层作用域查找,这就会产生遮蔽效应

欺骗词法作用域

导致性能下降的原因,前面我们提过,在解析/语法分析、生成代码阶段,我们会对代码进行优化,剔除冗余元素,但是当使用eval/with时,所有优化变得没有意义,因为存在不可预见性,不知道修改和创建的词法作用域是什么?所以会导致性能下降。

函数声明、函数表达式、匿名函数表达式

函数表达式:function为第一个词,那么就是一个函数声明,否则就是一个函数表达式

匿名函数表达式:没有函数名,匿名函数在栈追踪这种不会显示有意义的函数名,使得调试困难

IIFE: 立即执行函数表达式((function() { ... }())(function(){ ... })()

块级作用域

let为其声明的变量隐式地去劫持了所在的块级作用域,不会在块级作用域中进行提升【变量提升】

Demo: with关键字为块级作用域、{...}为块级作用域,用完即销毁

const常量,不可修改!

任何声明在某个作用域(函数作用域和块级作用域)的变量,都是属于这个作用域。

每个作用域都会进行提升操作。

函数声明会被提升,函数表达式不会提升,变量声明提升的过程中,函数会优先!

闭包

闭包,有权访问另外一个函数的变量标识符的函数,比较常见的一个闭包问题,就是for循环。

    for(var i = 1; i <= 5; i++) {
setTimeout(function() {
console.log(i);
}, i*1000)
}

会发现每一次输出的都是6,为啥勒?所有的回调函数回在循环结束后才会执行(事件循环)。所以每次都是输出一个6来。

解决办法:

1、IIFE,每个迭代储存i的值

    for(var i = 1; i <= 5; i++) {
(function(i) {
var j = i;
setTimeout(function() {
console.log(j);
}, j*1000);
})(i)
}

2、IIFE,将i入参修改成j

    for(var i = 1; i <= 5; i++) {
(function(j) {
setTimeout(function() {
console.log(j);
}, j*1000);
})(i)
}

3、创建闭包的块作用域

    for(var i = 1; i <= 5; i++) {
let j = i;
setTimeout(function() {
console.log(j);
}, j*1000);
}

4、最优

    for(let i = 1; i <= 5; i++) {
setTimeout(function() {
console.log(i);
}, i*1000)
}

另外一个闭包常用的场景,就是模块暴露了,在这里提供一个现代模块机制的实现方式,大家可以细细品尝,

var MyMoudles = (function Manger() {
var modules = {};
function define(name, deps, impl) {
for (var i = 0; i < deps.length; i++) {
deps[i] = modules[deps[i]];
}
modules[name] = impl.apply(impl, deps);
}
function get(name) {
return modules[name];
}
})()

调用Demo:

MyMoudles.define('bar', [], function() {
function hello(who) {
return "Let me introduce: " + who;
}
return {
hello: hello
}
})
MyMoudles.define('foo', ['bar'], function(bar) {
var hungry = 'hippo';
function awesome() {
console.log(bar.hello(hungry).toUpperCase());
}
return {
awesome: awesome
}
})
var bar = MyMoudles.get('bar');
var foo = MyMoudles.get('foo'); console.log(bar.hello('hippo')); // Let me introduce: hippo
foo.awesome();

未来模块机制

ES6提供了全新的模块机制,基于函数的模块(如上述现代模块机制)并不是一个能被静态识别的模式(编译器无法识别),它们的API语义只有等到代码运行时才会考虑进来,而ES6模块就是一个能被静态识别的模式,就是说API在编译阶段就会检查API成员是否存在。

原文地址

05-22 05:01