ps:本文前面大部分是错的,后边大部分也是错的,搞混了不要怪我。。。。。。。。。。。。。。。。。。。
这篇文章讲述了一个悲伤的故事,从一个似似而非的概念一步一步到错误的理解,最后勉强正确的过程
其实我本不想说我对scope的理解,因为我没写过c++,没看过脚本引擎规范,没看过js脚本引擎实现,说的也都是乱七八糟看到的加我自己猜测的,首先看一块js代码,因为这真是一块代码
<script type="application/javascript"> var a='topscope'; function makescope() { console.log(a); var a='some scope'; console.log(a); } makescope(); console.log(a); </script>
在看看输出
undefined
some scope
topscope
这是怎么回事呢?为什么会是undefined
1:很久以前我发现这个怪物时候,我也不懂,但是我可以规避,那就是把var 放在第一行
2:后来我学习了python,接触了第一门动态脚本语言,知道了脚本语言基本分为解析和执行两个过程,对这个现象就进一步“异想天开”的解释了下,让自己更容易接受
在全局语法扫描阶段,全局a声明了,但是没有复制,函数makescope声明了,但是内部还未进行扫描
在全局执行阶段,先给 全局a进行赋值,在执行makescope 时,
先进行makescope语法扫描,扫描时候发现了var 声明的局部变量a,但没有进行赋值
makescope语法扫描 完成后一行一行的执行,发现a已经在函数作用域内进行了定义但是没有赋值,所以值为undefined
在执行makescope 后,离开了makescope的作用域输出a值,a是全局的所以为topscope
3:再后来,我知道了js执行时候是单线程的栈运行时,那这些scope就进一步有了想象空间了
什么是栈,我也不知道,每次用的时候谷歌下
http://zh.wikipedia.org/zh-cn/%E5%A0%86%E6%A0%88
打开太慢了 还是百度下
http://baike.baidu.com/link?url=B2MYX6pxno5uC9df1t3oK6sAQdOUrLHa8vbp51Q8CAkf_LkcQOhExMpytIhwvWAp
在计算机领域,堆栈是一个不容忽视的概念,堆栈是两种数据结构。堆栈都是一种数据项按序排列的数据结构,只能在一端(称为栈顶(top))对数据项进行插入和删除。要点:堆,顺序随意。栈,后进先出(Last-In/First-Out)
栈 有个特点 后进先出,so 我们再看看看刚才的一块js的作用域
首先在 全局扫描结束后创建 父作用域 P
假设作用域p是个js对象 例如 p={}
p里面应该存储什么呢?扫描倒啥就存储啥呗,应该是 p.a,p.makescope
当执行makescope 的时候,因为改函数有自己的作用域,所以得进入makescope的作用域,
那么 p应该进入jslstack了,jslstack.push(P) 操作,由于js是单线程的,不能两个作用域同时跑,so p一定要进入stack
执行makescope 创建的作用域 假设为 s, s={}
在扫描阶段创建了那些属于s的对象呢? 因为有个var 所以 s.a 被创建了,
在 执行 console.log(a); 的时候由于还没有被赋值,所以a为undefined ,
这里我把代码改一下,增加点小东西,让实验数据更有意思
<script type="application/javascript">
var a='topscope';
function makescope()
{
console.log(a);
var a='some scope';
console.log(a);
var b='b';
Grandson();
}
function Grandson(){ console.log("a:"+a); console.log("b:"+b); }
makescope(); console.log(a); </script>
在看下输出数据
在刚才的代码里面增加了一个函数 Grandson() 并在makescope 函数内部进行调用 因为要进入Grandson所以makescope 的作用域要进行
这个时候开始执行Grandson, 输出结果里面 a的值为topscope,b is not defined
这是为啥呢?
为什么没有去makescope 去找呢?
其实我也不太了解,难道js的 栈结构是坑爹的?
没关系 代码再改一改还是 可以运行正确的
经过试验发现刚才想的是错的
<script type="application/javascript"> var a='topscope'; function makescope() { console.log(a); var a='some scope'; console.log(a); var b='b'; Grandson();
function Grandson(){ console.log("a in:"+a); console.log("b in:"+b); }
} function Grandson(){ console.log("a:"+a); console.log("b:"+b); } makescope(); console.log(a); Grandson(); </script>
再看看输出
这说明啥了呢?好像扯了半天和刚才说的js 栈结构没什么关系………….貌似的确是没 关系
不过还是说明了写问题
1 js 在语法扫面阶段会扫描全部 需要扫描的东西 一般都是var 和 function,从而形成一个语法树…………ps我是这么称呼的
2 js 的每一个作用域在编码阶段已经定义完毕,在扫描阶段称为语法树 上的一个节点,
[[scope]]是静态的, 在编码函数定义时就确定下来了,[[scope]] 节点组成 的[[scope]] 树 也是静态的
3 平时说的变量在当前作用域下没找到,就到父亲的作用域去找,这个作用域是在编码阶段就可以看到的
4 那这运行时作用域和js栈结构有关系吗?
这是这个例子的 各个作用域组成 树状结构 这个树结构,在扫描阶段生成,并且每个作用域内,查找本级作用域内的变量,
没有找到的时候,只能向上查找,而不能向下查找,
为啥只能向上不能向下呢? 我觉得这是 js 栈 结构运行时决定的
现在这个树是扫描时候生成的,运行时候是按照栈进行访问的(我猜测是按照 栈结构对作用域进行执行和访问的)
因为js 的 栈 运行时,以一个一个的作用域为单元,他在处理当前作用域节点的时候,如果改作用域内部的数据处理了一部分,还没有处理完如果这个时候进入新的函数作用域,那么就要吧当前则个作用域存储起来,进行压栈操作,这个作用域的数据也将得到保存,进而可以处理新进入的作用域例如这里的
Grandson (makescope 内部的 )如果Grandson 处理完了,那么就取出刚才存储的makescope作用域继续进行处理
so js 栈 的单个节点是 scope
==============================================================================================
说道这里忽然发现一次生成一个很大的作用域树还是很浪费资源的,所以,一般大家都用函数表达式创建函数,因为函数表达式是在执行时候才执行的,扫描阶段不执行,因此,加快了扫描阶段的速度
===================================================================================================
还有闭包是在扫描阶段就定义好的呢还是在执行阶段定义好了?闭包的作用域有没有在扫描后生成的树上
这个还需要实验数据看看
代码1
<script> var topone='topone' function makesacpe(){ var topone='sacpeone' function smallsacpe(){ console.log(topone) } //return smallsacpe return smallsacpe2 } function smallsacpe2(){ console.log(topone) } makesacpe() console.log('==') makesacpe()(); </script>
输出
代码2
<script> var topone='topone' function makesacpe(){ var topone='sacpeone' function smallsacpe(){ console.log(topone) } return smallsacpe //return smallsacpe2 } function smallsacpe2(){ console.log(topone) } makesacpe() console.log('==') makesacpe()(); </script>
输出
看看代码扫描阶段形成的作用域树
1:就会发现 闭包返回的作用域 在查找值的时候,是按照生成的作用域树向上查找的
2:闭包可以保存状态是因为闭包引用了其父作用域内的值,造成阻挡了垃圾回收策略,但是这个父亲是在写代码时候就确定了的
test