js词法分析

1.概念

var str1 = 'global';
function t1(){
console.log(str1);//global
console.log(str2);//undefinde

var str2 = 'local';
}

t1();

注：
js 代码自上而下执行：
js代码在整体运行分：
1.词法分析期：
2.运行期：
自上而下执行之前，先有一个词法分析过程
分析 :
1.先分析t1函数
t1(){
var str2  //分析出， t1内有str2 局部变量，此时为函数未执行
//因此str2的值是undefined
}

2.执行t1函数
console.log(str1) //global
console.log(str2) //undefinde

2.解释

词法分析：

1.先分析参数；

2.再分析变量声明；

3.分析函数声明；

一个函数能使用的局部变量，就从上面的3步分析而来

具体步骤：
1.函数运行前的一瞬间，生成 Active Object(活动对象)；
2.
2.1 函数声明的参数，形成AO的属性，参数的值即属性的值；
2.2 接收实参，形成AO相应的属性值
3.分析变量声明，如 var xxx
1.如果AO上还没有 xxx 属性，则添加AO属性, 值是undefined
2.如果AO上己经有 xxx 属性，则不做任何影响
4.分析函数声明：如 function foo(){},
1.把函数赋值给 AO.foo 属性
2.如果此前 foo 属性已存在，则覆盖之前的

实例1

function t5(greet){
var greet ='hello';
alert(greet);
function greet(){
}
alert(greet);
}
t5(null);

词法分析过程：
1.形成活动对象：AO={};
2.
2.1分析参数：AO ={greet:undefined};
2.2接收参数：AO={greet:null};
3.分析greet变量声明，AO已经有greet属性，因此不做任何影响；
4.分析greet函数声明，AO.greet = function() {} ,被覆盖成函数

执行过程：
greet = 'hello';
alert(greet); //hello
alert(greet);//hello

实例2

function a(b){
alert(b);
function b(){
alert(b);
}
b();
}
a(1);

分析期：
1.AO={};
2.
2.1分析参数 AO = {b:undefined};
2.2接收参数 AO = {b:1};
3.分析var声明，此函数没有var
4.分析函数声明, AO = {b:function(){}}
执行期：
1.alert(b); function
2.b();  //由作用域寻找到a函数中的b，即 function

实例3

function a(b){
alert(b);
b = function(){
alert(b);
}
b();
}
a(1);

分析期：
1.AO={};
2.
2.1分析参数 AO = {b:undefined}
2.2接收参数 AO = {b:1};
3.分析var声明，此函数没有var
4.分析函数声明，没有函数声明；

执行期：
1.alert(b); 1
2.b = function(){
alert(b);
}
3.b(); //function

注：是赋值，只有在执行时才有效；
b = function(){
alert(b);
}

函数声明与函数表达式

JS被称为披着C外衣的Lisp语言

Lisp:是一种强大的函数式语言

函数可以赋值给变量，可以作为参数来传递

function t1(){
}

t2=function(){
}

t1:是函数声明，虽然全局内也得到一个t1变量，值是 函数

t2:只是一个赋值过程，值是右侧的表达式的返回结果，即 函数

t1 和 t2 两种方在词法分析时，区别：

t1 在词法分析阶段，就发挥作用

t2 在运行阶段，才发挥作用；

(function(window,undefined){}) //内层表达式，返回值是函数，小括号内，当成表达式来执行

(function(window,undefined){})（）立即调用，好处：不污染全局，称为立即执行匿名函数表达式

(function(window,undefined){})（window）:传window是为了加快内部查

找全局变量的速度，因此直接把window以参数形式传进来，这样window就

在内部的 AO 上

不传undefined :是为了安全，因为在ie低版本中，undefined可以重新赋

值，如： undefined = 3;

声明undefined 局部变量，又不传参，值自然就是undefined,防止了外界

对undefined的污染