📕
余烬的小册
数据结构与算法GitHub
  • 总述
  • 经验记录
    • 经验总结
      • web component
      • 前端性能优化总结与分析
      • 我的长列表优化方案
      • 双向通讯解决方案
      • 🔧基于istanbul实现代码测试覆盖率工具
      • 表单系统(低代码表单)
      • 跨端小程序
      • 设计一个即时聊天功能
      • 跨页面通讯 3658699fe4cb4d0bbe22b0881390bacd
    • 踩坑记录
      • HTML踩坑记录
      • Flutter踩坑记录
      • CSS踩坑记录
  • 源码解析
    • Vue源码解析
      • Vue2源码解析系列-响应式原理
      • Vue2源码解析系列-模板编译
      • Vue2源码解析系列-渲染系统(待更新)
        • Patch
      • Vue2源码解析系列-调度系统(todo)
      • Vue2组件更新流程(todo)
      • 如何学习Vue源码
      • Vue3源码解析系列-响应系统
      • Vue3源码解析系列-渲染系统
      • Vue3源码解析系列-组件化和渲染优化(todo)
      • Vue router源码解析(todo)
    • React源码解析(todo)
    • 微前端
      • qiankun源码解析(todo)
    • Vite源码解析
      • Vite Client源码
      • Vite Server源码(todo)
  • 前端技术
    • javaScript
      • ES6
        • 变量声明
        • 模块化
        • 箭头函数
        • 你不知道的for...of
        • 新的数据结构Set和Map
        • JavaScript异步编程终极解决方案
        • ES6 Class 3a0c0a225a534984aabe9a943c5df975
      • JavaScript Error
      • JavaScript浅拷贝和深拷贝
      • JavaScript闭包
      • JavaScript最佳实践
      • JavaScript设计模式
      • async函数的polyfill
    • 深入理解JavaScript系列
      • JavaScript中的继承
      • JavaScript原始类型和引用类型
      • JavaScript浅拷贝和深拷贝
      • JavaScript手写系列
      • JavaScript之this
      • 词法环境和环境记录
      • JavaScript内存泄漏
      • 执行上下文
      • 从ECMAScript规范中学习this
    • TypeScript
      • TypeScript基础教程
      • Typescript高级操作
      • TypeScript工具类型
      • Typescript手写实现工具类型
      • Typescript总结(思维导图)
    • 浏览器原理
      • 页面渲染原理
      • 浏览器存储
      • JavaScript事件循环
      • 事件循环
      • 跨域
      • DOM事件流
      • 从输入url到页面渲染
      • 判断节点之间的关系及根据节点关系查找节点
      • history API
    • 跨端技术
      • Flutter
        • Flutter布局组件
    • 前端工程化
      • Babel插件开发指南
      • 循环依赖
      • pm2
    • React
      • React 状态管理
      • React组件通讯
      • Redux入门
      • Flux
      • React Hook(todo)
      • Effect
  • 服务器端
    • 计算机网络
      • 应用层
      • 运输层
      • 物理层
      • 数据链路层
      • HTTP缓存
      • HTTPS
      • 网络层
    • NodeJs
      • Node.js
      • nodejs最佳实践
      • 《深入浅出Nodejs》小结
      • mongoose填充(populate)
      • node事件循环
      • Node子进程
      • nestjs从零开始
      • nodejs流
      • Nodejs调试
      • Koa源码解析
    • 服务器
      • 操作系统
      • Linux
      • nginx常用指令
      • nginx常用配置
    • 数据库
      • Mysql常见语法
      • MongoDB Indexes索引
  • 前端安全与性能优化
    • 前端安全
      • 跨站脚本攻击(XSS)
      • 跨站点请求伪造(CSRF)
      • 点击劫持
      • 中间人攻击
      • 越权攻击与JWT
    • 前端性能优化
      • 前端监控系统
      • 前端性能优化总结与分析 7348bba0918645b1899006dc842a64c1
      • 衡量性能的核心指标 0dc15ef127cf4f4a9f1137c377420292
      • 图片懒加载
  • 杂项
    • 其他
      • Git
      • web component框架
      • 实现滚动框的懒加载
      • Stencil指南
    • CSS
      • 定位和层叠上下文
      • BFC
      • 盒模型
      • css选择器
      • css变量
由 GitBook 提供支持
在本页
  • 词法环境(Lexical Environments)
  • 全局环境
  • 模块环境
  • 函数环境
  • 环境记录(Environment Records)
  • 模块环境记录
  • 全局环境记录
  • 对象环境记录
  • 函数环境记录
在GitHub上编辑
  1. 前端技术
  2. 深入理解JavaScript系列

词法环境和环境记录

tags: 深入理解JavaScript Created time: December 25, 2022 11:39 AM emoji: https://tc39.es/ecma262/img/favicon.ico readerNumber: 121

词法环境(Lexical Environments)

词法环境是一种规范类型,用于根据ECMAScript代码的词法嵌套结构定义标识符与特定变量和函数的关联。词法环境由环境记录和外层词法环境的引用组成。通常,词法环境与ECMAScript代码的某些特定语法结构相关联,例如函数声明、块级声明或try…catch语句等,并且每次运行此类代码时都会创建一个新的词法环境。

环境记录记录着与其关联的词法环境范围内的所有被创建的标识符绑定。它被称为词法环境的环境记录(EnvironmentRecord)。换句话说就是词法环境定义了了标识符与具体变量、函数的关联关系,而环境记录则保存着这些标识符绑定。

全局环境

词法环境是嵌套结构,一个词法环境可以作为多个内部词法环境的外部词法环境。但是全局环境是没有外部环境的词汇环境。全局环境的外部环境引用为null。全局环境的环境记录可以预先填充标识符绑定,并包括一个关联的全局对象(例如浏览器中的window),其属性提供了一些全局环境的标识符绑定。此全局对象是全局环境的This绑定的值。在执行ECMAScript代码时,可以向全局对象添加其他属性,并修改初始属性。

模块环境

模块环境是一个词汇环境,包含模块顶级声明的绑定。它还包含由模块显式导入的绑定。模块环境的外部环境是全局环境。

函数环境

函数环境是对应于ECMAScript函数对象调用的词汇环境。函数环境可以建立新的this绑定。函数环境还捕获支持super方法调用所需的状态。

注意: 词法环境和环境记录值纯粹是规范机制,不需要对应于ECMAScript实现的任何特定构件。ECMAScript程序不可能直接访问或操作这些值。

环境记录(Environment Records)

ESCMAScript规范中使用了两种主要的环境记录值:声明性环境记录和对象环境记录。声明性环境记录用于定义ECMAScript语言语法元素(如FunctionDeclarations、VariableDeclarations和Catch子句)的效果,这些语法元素将标识符绑定与ECMAScript语言值直接关联。对象环境记录用于定义ECMAScript元素的效果,例如将标识符绑定与某些对象的属性相关联的WithStatement。全局环境记录和函数环境记录则是指具体被用于script内的全局声明和函数内顶级声明。

环境记录是一个抽象类,包含三个子类:声明性环境记录、对象环境记录和全局环境记录。函数环境记录和模块环境记录是声明性环境记录的子类。也就是说环境记录总共有四种:函数环境记录、模块环境记录、对象环境记录和全局环境记录。

模块环境记录

模块环境记录保存着模块顶级声明和不可变的导入绑定。

模块环境记录的HasThisBinding方法总是返回true,并且GetThisBinding方法返回undefined。

全局环境记录

全局环境记录保存着所有顶级声明、全局对象的属性和所有内置的全局变量的绑定。

全局环境记录的HasThisBinding方法总是返回true,并且GetThisBinding方法返回全局环境记录绑定的全局对象

对象环境记录

每个对象环境记录都与它的绑定对象相关联。对象环境记录绑定与其绑定对象的属性名称直接对应的字符串标识符名称集合。无论[[Enumerable]]属性的设置如何,都会将自己的属性和继承的属性都包含在集合中。由于可以从对象中动态添加和删除属性,因此对象环境记录绑定的标识符集可能会发生更改,这是添加或删除属性的任何操作的副作用。由于这种副作用而创建的任何绑定都被视为可变绑定,即使相应属性的Writable属性的值为false。对象环境记录不存在不可变绑定。

对象环境记录的HasThisBinding方法总是返回false。

函数环境记录

函数环境记录是一种声明性环境记录,用于表示函数的顶级范围,如果函数不是箭头函数(ArrowFunction),则提供this绑定。如果函数不是ArrowFunction函数并引用super,则其函数环境记录还包含用于从函数内执行super方法调用的状态。

函数环境记录中有两个与this相关的内部属性和方法:

  • [[thisValue]]: 函数调用时的this的值

  • BindThisValue(): 设置[[thisValue]]并记录其已初始化。

上一页JavaScript之this下一页JavaScript内存泄漏