深入学习js之——词法作用域和动态作用域
开篇
当我们在开始学习任何一门语言的时候,都会接触到变量的概念,变量的出现其实是为了解决一个问题,为的是存储某些值,进而,存储某些值的目的是为了在之后对这个值进行访问或者修改,正是这种存储和访问变量的能力将状态给了程序。我们的程序中到处都充斥着对于状态的判断,根据不同的状态执行不同的逻辑。
我们试想一下,如果没有状态这个概念,程序虽然也能够执行一些简单的任务,但是它会受到很多的限制,所能完成的功能是有限制的,举个例子,没有状态你是如何执行循环语句?没有状态如何更加优雅地使用逻辑结构?
仔细想想,好像是寸步难行,当然引入变量后帮我们解决了这个问题。
但是,引入变量和状态的概念之后会引起几个问题:这些变量住在哪里?换句话说,它们存储在哪里?最重要的是,程序需要它们的时候如何找到它们?
今天我们就一起学习一下这套存储和查找变量的规则,这套规则我们称之为:作用域。
作用域
我们来拆解一下这个词语,所谓的“域”我们可以理解为:范围、区域,加上“作用”两个字所要表述的问题就是作用的范围、区域,比如国家的行政区域划分是为了便于管理,类比到程序源代码中作用域的出现也是为了便于对于变量做管理。
好,这里我们简单做一下总结:
- 定义:作用域是指程序源代码中定义变量的区域。
- 作用:作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限。
- 在javaScript中的应用 :JavaScript采用词法作用域(lexical scoping),也就是静态作用域。
那什么又是 词法作用域或者静态作用域呢?
请继续往下看
静态作用域与动态作用域
因为javaScript采用的是词法作用域,函数的作用域在函数定义的时候就决定了。
而词法作用域相对的是动态作用域,函数的作用域是在函数调用的时候才决定的。
让我们看一个例子来理解词法作用域和动态作用域之间的区别:
var value = 1;
function foo() {
console.log(value);
}
function bar() {
var value = 2;
foo();
}
bar();
// 结果是 ???
上面的代码中:
- 1.我们首先定义了一个value,并赋值为1;
- 2.声明一个函数foo,函数的功能是打印 value 这个变量的值;
- 3.声明一个函数bar,函数内部重新创建了一个变量 value 这个变量赋值为2;
在函数内部执行了 foo() 这个函数;- 4.执行 bar() 这个函数
假设javaScript采用静态作用域,让我们分析下执行过程:
执行foo函数,首先从 foo 函数内部查找是否有变量 value ,如果没有
就根据书写的位置,查找上面一层的代码,我们发现value等于1,所以结果会打印 1。
假设javaScript采用动态作用域,让我们分析下执行过程:
执行foo函数,依然是从 foo 函数内部查找是否有局部变量 value。如果没有,
就从调用函数的作用域,也就是 bar 函数内部查找 value 变量,所以结果会打印 2。
上面在区分静态作用于和动态作用域的时候,我们已经说了如果是静态作用域,那么函数在书写定义的时候已经确定了,而动态作用域是函数执行过程中才确定的。
JavaScript采用的是静态作用域,所以这个例子的结果是 1。
我们在控制台中输入执行上面的函数,检验一下执行结果果然是 1。
动态作用域
那什么语言是采用的动态的作用域呢? 其实bash 就是动态作用域,
我们可以新建一个 scope.bash 文件将下列代码放进去,执行一下这个脚本文件:
value=1
function foo () {
echo $value;
}
function bar () {
local value=2;
foo;
}
bar
上面代码运行的结果输出2很好解释,虽然在代码最上层定义了 value并赋值为1,但是在调用foo函数的时候,在查找 foo 内部没有 value 变量后,会在foo 函数执行的环境中继续查找,也就是在bar 函数中查找,很幸运我们找到了。
思考
最后,让我们看一个《JavaScript权威指南》中的例子:
// 例1:
var scope = "global scope";
function checkscope(){
var scope = "local scope";
function f(){
return scope;
}
return f();
}
checkscope();
// 例2:
var scope = "global scope";
function checkscope(){
var scope = "local scope";
function f(){
return scope;
}
return f;
}
checkscope()();
让我们来分析一下上面例1的代码:
- 1、定义一个变量 scope 并赋值 global scope;
- 2、声明一个函数 checkscope ,在这个函数中 定义一个变量 scope 并赋值 local scope;
- 3、在checkscope 函数中 又定义一个函数 f ,这个函数 只做了一件事:返回scope 这个变量;
- 4、最后返回并执行 f 这个函数;
- 5、调用checkscope
按照我们上面解释的javaScript中静态作用域理解,在执行 checkscope 这个函数的时候在函数内部执行的是f 这个函数,首先在 f 这个函数内部查找 scope 这个变量发现没有,继续在定义函数f的上面一层查找,发现在checkscope 这个函数作用域内 找到了scope的值 直接返回,至于 checkscope外面定义的scope没有理睬。
让我们来分析一下上面例2的代码:
- 1、定义一个变量 scope 并赋值 global scope;
- 2、声明一个函数 checkscope 在这个函数中 定义一个变量 scope 并赋值 local scope;
- 3、在checkscope 函数中 又定义一个函数 f 这个函数 只做了一件事:返回scope 这个变量;
- 4、最后单纯的返回 f 这个函数;
- 5、调用checkscope
按照我们上面解释的javaScript中静态作用域理解,在执行 checkscope 这个函数的时候在函数内返回了函数f实际是在最外面调用的f但是由于javaScript是采用的词法作用域,因此函数的作用域基于函数创建的位置。
而引用《JavaScript权威指南》的回答就是:
JavaScript 函数的执行用到了作用域链,这个作用域链是在函数定义的时候创建的。嵌套的函数 f() 定义在这个作用域链里,其中的变量 scope 一定是局部变量,不管何时何地执行函数 f(),这种绑定在执行 f() 时依然有效。
但是在这里真正想让大家思考的是:
虽然两段代码执行的结果一样,但是两段代码究竟有哪些不同呢?
敬请期待下面一篇关于javaScript 中的执行上下文栈的相关内容。
参考:
- 1、《你不知道的Javascript上卷》
- 2、JavaScript深入之词法作用域和动态作用域
来源:https://segmentfault.com/a/1190000018093818
深入学习js之——词法作用域和动态作用域的更多相关文章
- js之词法作用域与动态作用域
事实上JavaScript并不具有动态作用域,它只有词法作用域,简单明了,但是this机制某种程度上很像动态作用域 词法作用域:是一套引擎如何寻找变量以及会在何处找到变量的规则,它是定义在词法阶段的作 ...
- Javascript中的词法作用域、动态作用域、函数作用域和块作用域(四)
一.js中的词法作用域和动态作用域 词法作用域也就是在词法阶段定义的作用域,也就是说词法作用域在代码书写时就已经确定了. js中其实只有词法作用域,并没有动态作用域,this的执 ...
- 深入理解javascript作用域系列第二篇——词法作用域和动态作用域
× 目录 [1]词法 [2]动态 前面的话 大多数时候,我们对作用域产生混乱的主要原因是分不清楚应该按照函数位置的嵌套顺序,还是按照函数的调用顺序进行变量查找.再加上this机制的干扰,使得变量查找极 ...
- JavaScript深入之词法作用域和动态作用域
作用域 作用域是指程序源代码中定义变量的区域. 作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限. JavaScript 采用词法作用域,也就是静态作用域. 静态作用域与动态作用域 因 ...
- 词法作用域 vs 动态作用域
词法作用域 vs 动态作用域 链接:https://www.jianshu.com/p/cdebb5965000 scheme是一门采用词法作用域(lexical scoping)的lisp方言,这个 ...
- 【转】深入理解javascript作用域——词法作用域和动态作用域
前面的话 大多数时候,我们对作用域产生混乱的主要原因是分不清楚应该按照函数位置的嵌套顺序,还是按照函数的调用顺序进行变量查找.再加上this机制的干扰,使得变量查找极易出错.这实际上是由两种作用域工作 ...
- 前端知识体系:JavaScript基础-作用域和闭包-词法作用域和动态作用域
词法作用域和动态作用域 1.作用域: 作用域是指程序代码中定义变量的区域 JavaScript采用词法作用域,也就是静态作用域 2.词法作用域和动态作用域 因为JavaScript采用的是词法作用域, ...
- JavaScript深入之词法作用域和动态作用域(转载)
作用域 作用域是指程序源代码中定义变量的区域. 作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限. JavaScript 采用词法作用域(lexical scoping),也就是静态作 ...
- 【作用域】词法作用域(静态作用域,如:js)、动态作用域(如:.bash脚本)
作用域 作用域是指程序源代码中定义变量的区域. 作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限. JavaScript 采用词法作用域(lexical scoping),也就是静态作 ...
随机推荐
- Android 获取当前应用的版本号和当前系统的版本号
1.获取当前程序版本名 我们可以在AndroidManifest.xml中设置程序的版本号等,如android:versionName="1.0",那如果想在代码中获取这个版本号呢 ...
- LAMP集群项目二 初始化系统
1.关闭防火墙 /etc/init.d/iptables stop chkconfig iptables off 2.关闭selinux cat /etc/selinux/config #查看状态 s ...
- LeetCode 笔记系列12 Trapping Rain Water [复杂的代码是错误的代码]
题目:Given n non-negative integers representing an elevation map where the width of each bar is 1, com ...
- angular4 组件间通信
父传子用@input 子传父用@output 例:子组件 <p> <span *ngFor="let star of stars;let i=index" cla ...
- 160505、oracle 修改字符集 修改为ZHS16GBK
修改oracle字符集 方法/步骤 oracle数据库的字符集更改 A.oracle server 端 字符集查询 select userenv('language') from dual 其中N ...
- vscode编辑器配置C语言编译运行环境
1.安装C/C++插件 2.安装编译环境,这里选择MinGW(http://mingw.org/ ) 选择一个安装目录,如:E:\workspace\MinGW mingw32-gcc开头的(包括了m ...
- Socket连接何时需要断开
socket连接没有正常断开,导致无法下次无法进行连接.
- inode file 结构
inode位图(inode Bitmap) 和块位图类似,本身占一个块,其中每个bit表示一个inode是否空闲可用. inode表(inode Table) 我们知道,一个文件除了数据需要存储之外, ...
- Spark源码分析 -- TaskScheduler
Spark在设计上将DAGScheduler和TaskScheduler完全解耦合, 所以在资源管理和task调度上可以有更多的方案 现在支持, LocalSheduler, ClusterSched ...
- 介绍importlib
Python将importlib作为标准库提供.它旨在提供Pythonimport语法和(__import__()函数)的实现.另外,importlib提供了开发者可以创建自己的对象(即importe ...