不想说作用域scope,因为是scopeTree,

简介: ps:本文前面大部分是错的,后边大部分也是错的,搞混了不要怪我。。。。。。。。。。。。。。。。。。。 这篇文章讲述了一个悲伤的故事,从一个似似而非的概念一步一步到错误的理解,最后勉强正确的过程 其实我本不想说我对scope的理解,因为我没写过c++,没看过脚本引擎规范,没看过js脚本引擎实现,说...

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的作用域

image

首先在 全局扫描结束后创建 父作用域 P   

              假设作用域p是个js对象 例如 p={}

               p里面应该存储什么呢?扫描倒啥就存储啥呗,应该是 p.a,p.makescope

当执行makescope 的时候,因为改函数有自己的作用域,所以得进入makescope的作用域,

那么 p应该进入jslstack了,jslstack.push(P) 操作,由于js是单线程的,不能两个作用域同时跑,so p一定要进入stack

image

执行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>

在看下输出数据

image

在刚才的代码里面增加了一个函数 Grandson() 并在makescope 函数内部进行调用 因为要进入Grandson所以makescope 的作用域要进行

image

这个时候开始执行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>

再看看输出

image

这说明啥了呢?好像扯了半天和刚才说的js 栈结构没什么关系………….貌似的确是没 关系

不过还是说明了写问题

1 js 在语法扫面阶段会扫描全部 需要扫描的东西 一般都是var 和 function,从而形成一个语法树…………ps我是这么称呼的

2 js 的每一个作用域在编码阶段已经定义完毕,在扫描阶段称为语法树 上的一个节点,

    [[scope]]是静态的, 在编码函数定义时就确定下来了,[[scope]] 节点组成 的[[scope]] 树 也是静态的

3 平时说的变量在当前作用域下没找到,就到父亲的作用域去找,这个作用域是在编码阶段就可以看到的

4 那这运行时作用域和js栈结构有关系吗?

 

 

这是这个例子的 各个作用域组成 树状结构  这个树结构,在扫描阶段生成,并且每个作用域内,查找本级作用域内的变量,

没有找到的时候,只能向上查找,而不能向下查找,

为啥只能向上不能向下呢? 我觉得这是 js 栈 结构运行时决定的

现在这个树是扫描时候生成的,运行时候是按照栈进行访问的(我猜测是按照 栈结构对作用域进行执行和访问的)

 

image

因为js 的 栈 运行时,以一个一个的作用域为单元,他在处理当前作用域节点的时候,如果改作用域内部的数据处理了一部分,还没有处理完如果这个时候进入新的函数作用域,那么就要吧当前则个作用域存储起来,进行压栈操作,这个作用域的数据也将得到保存,进而可以处理新进入的作用域例如这里的

Grandson (makescope 内部的 )如果Grandson 处理完了,那么就取出刚才存储的makescope作用域继续进行处理

so js 栈 的单个节点是 scope

image

==============================================================================================

说道这里忽然发现一次生成一个很大的作用域树还是很浪费资源的,所以,一般大家都用函数表达式创建函数,因为函数表达式是在执行时候才执行的,扫描阶段不执行,因此,加快了扫描阶段的速度

===================================================================================================

还有闭包是在扫描阶段就定义好的呢还是在执行阶段定义好了?闭包的作用域有没有在扫描后生成的树上

这个还需要实验数据看看

代码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>

输出

image

代码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>

输出

image

看看代码扫描阶段形成的作用域树

image

1:就会发现 闭包返回的作用域 在查找值的时候,是按照生成的作用域树向上查找的

2:闭包可以保存状态是因为闭包引用了其父作用域内的值,造成阻挡了垃圾回收策略,但是这个父亲是在写代码时候就确定了的

test
相关文章
|
4月前
|
JavaScript 前端开发
scope=“scope“和作用域插槽
scope=“scope“和作用域插槽
35 0
|
1月前
|
Java
作用域
作用域
15 2
|
1月前
C 作用域详解
在 C 语言中,作用域决定了变量和函数的可见性和生命周期,包括块作用域、函数作用域、文件作用域和全局作用域。块作用域内的变量仅在块内有效,函数作用域内的变量在整个函数内有效,文件作用域内的全局变量和函数在整个文件内有效,而全局作用域内的变量和函数在整个程序运行期间有效。作用域的优先级遵循局部变量优先的原则,局部变量会遮蔽同名的全局变量。变量的生命周期分为局部变量(函数调用时创建和销毁)、全局变量(程序开始时创建和结束时销毁)以及静态变量(整个程序期间有效)。理解作用域有助于避免命名冲突和错误,提高代码的可读性和可维护性。
|
5月前
|
JavaScript 前端开发 Python
函数与作用域
编程中的函数与作用域概念。函数是可重用的代码块,能提高代码的可读性、可维护性和复用性。基础用法包括定义、调用和返回值。高级用法涉及函数嵌套、匿名函数(lambda函数)和装饰器。装饰器能在不修改原函数代码的情况下添加功能。 作用域决定了变量的可见范围,从内到外是局部、嵌套、全局和内置作用域。闭包是能访问外部函数变量的内部函数,即使外部函数执行完毕,闭包仍能保留其状态。闭包常用于实现特殊功能,如记忆化和延迟执行。 立即执行函数表达式(IIFE)是JavaScript中的模式,用于创建私有作用域和防止变量污染全局。IIFE常用于封装变量、避免命名冲突以及实现模块化和函数作为参数传递。
|
5月前
|
JavaScript 前端开发
js开发:请解释什么是作用域(scope),并说明全局作用域、局部作用域和块级作用域的区别。
JavaScript中的作用域规定了变量和函数的可见性与生命周期。全局作用域适用于整个脚本,变量可通过全局对象访问,可能导致命名冲突和内存占用。局部作用域限于函数内部,每次调用创建新作用域,执行完毕后销毁。ES6引入的块级作用域通过`let`和`const`实现,变量仅在其代码块内有效,并有暂时性死区。作用域机制有助于代码组织和变量管理。
44 1
|
JavaScript 前端开发 开发者
|
Linux 网络架构
暂时性死区以及函数作用域
暂时性死区以及函数作用域
167 0
|
自然语言处理 JavaScript 前端开发
作用域是什么
作用域是什么
119 0
|
编译器 C语言
作用域和链接属性
作用域和链接属性
作用域和链接属性
|
Java 容器 Spring
Spring注解(三):@scope设置组件作用域
在《Spring揭秘》中对Scope的解释是:
178 0
Spring注解(三):@scope设置组件作用域