Jw
首页
技术
英语
首页
技术
英语
  • 01-权衡的艺术

    • 1.1 命令式与声明式
    • 1.2 性能与可维护性的权衡
    • 1.3 虚拟DOM的性能到底如何
    • 1.4 运行时和编译时
  • 02-框架设计的核心要素

    • 2.1 提升用户的开发体验
    • 2.2 控制框架代码的体积
    • 2.3 框架要做到良好的 Tree-Shaking
    • 2.4 框架应该输出怎样的构建产物
    • 2.5 特性开关
    • 2.6 错误处理
    • 2.7 良好的 TypeScript 类型支持
  • 03-Vue.js 3 的设计思路

    • 3.1 声明式地描述UI
    • 3.2 初识渲染器
    • 3.3 组件的本质
    • 3.4 模板的工作原理
    • 3.5 Vue.js 是各个模块组成的有机整体
  • 04-响应系统的作用与实现

    • 4.1 响应式数据与副作用函数
    • 4.2 响应式数据的基本实现
    • 4.3 设计一个完善的响应系统
    • 4.4 分支切换与 cleanup
    • 4.5 嵌套的effect与effect栈
    • 4.6 避免无限递归循环
    • 4.7 调度执行
    • 4.8 计算属性 computed 与 lazy
    • 4.9 watch 的实现原理
    • 4.10 立即执行的 watch 与回调执行时机
    • 4.11 过期的副作用
  • 05-非原始值的响应式方案

    • 5.1 理解 Proxy 和 Reflect
    • 5.2 JavaScript 对象及 Proxy 的工作原理
    • 5.3 如何代理 Object
    • 5.4 合理地触发响应
    • 5.5 浅响应与深响应
    • 5.6 只读和浅只读
    • 5.7 代理数组
    • 5.7.1 数组的索引与 length
    • 5.7.2 遍历数组
    • 5.7.3 数组的查找方法
    • 5.7.4 隐式修改数组长度的原型方法
    • 5.8 代理 Set 和 Map
    • 5.8.1 如何代理Set和Map
    • 5.8.2 建立响应联系
    • 5.8.3 避免污染原始数据
    • 5.8.4 处理forEach
    • 5.8.5 迭代器方法
    • 5.8.6 values与keys方法
  • 06-原始值的响应式方案

    • 6.1 引入 ref 的概念
    • 6.2 响应丢失问题
    • 6.3 自动脱ref
  • 07-渲染器的设计

    • 7.1 渲染器与响应系统的结合
    • 7.2 渲染器的基本概念
    • 7.3 自定义渲染器
  • 08-挂载与更新

    • 8.1 挂载子节点和元素的属性
    • 8.2 HTML Attributes 与 DOM Properties
    • 8.3 正确地设置元素属性
    • 8.4 class的处理
    • 8.5 卸载操作
    • 8.6 区分vnode类型
    • 8.7 事件的处理
    • 8.8 事件冒泡与更新时机问题
    • 8.9 更新子节点
    • 8.10 文本节点和注释节点
    • 8.11 Fragment
  • 09-简单 Diff 算法

    • 9.1 减少 DOM 操作的性能开销
    • 9.2 DOM 复用与 key 的作用
    • 9.3 找到需要移动的元素
    • 9.4 如何移动元素
    • 9.5 添加新元素
    • 9.6 移除不存在的元素
  • 10-双端 Diff 算法

    • 10.1 双端比较的原理
    • 10.3 非理想状况的处理方式
    • 10.4 添加新元素
    • 10.5 移除不存在的元素
  • 11-快速 Diff 算法

    • 11.1 相同的前置元素和后置元素
    • 11.2 判断是否需要进行 DOM 移动操作
    • 11.3 如何移动元素
  • 12-组件的实现原理

    • 12.1 渲染组件
    • 12.2 组件状态与自更新
    • 12.3 组件实例与组件的生命周期
    • 12.4 props与组件的被动更新
    • 12.5 setup 函数的作用与实现
    • 12.6 组件事件与 emit 的实现
    • 12.7 插槽的工作原理与实现
    • 12.8 注册生命周期
  • 13-异步组件与函数式组件

    • 13.1 异步组件要解决的问题
    • 13.2.1 封装defineAsyncComponent函数
    • 13.2.2 超时与 Error 组件
    • 13.2.3 延迟与 Loading 组件
    • 13.2.4 重试机制
    • 13.3 函数式组件
  • 14-内建组件和模块

    • 14.1.1 组件的激活与失活
    • 14.1.2 include 和 exclude
    • 14.1.3 缓存管理
    • 14.2.1 Teleport 组件要解决的问题
    • 14.2.2 实现 Teleport 组件
    • 14.3.1 原生 DOM 的过渡
    • 14.3.2 实现 Transition 组件
  • 15-编译器核心技术概览

    • 15.1 模板 DSL 的编译器
    • 15.2 parser 的实现原理与状态机
    • 15.3 构造AST
    • 15.4 AST 的转换与插件化架构
    • 15.4.1 节点的访问
    • 15.4.2 转换上下文与节点操作
    • 15.4.3 进入与退出
    • 15.5 将模板 AST 转为 JavaScript AST
    • 15.6 代码生成
  • 16-解析器

    • 16.1 文本模式及其对解析器的影响
    • 16.2 递归下降算法构造模板 AST
    • 16.3 状态机的开启与停止
    • 16.4 解析标签节点
    • 16.5 解析属性
    • 16.6.1 解析文本
    • 16.6.2 解码命名字符引用
    • 16.6.3 解码数字字符引用
    • 16.7 解析插值与注释
  • 17-编译优化

    • 17.1.1 传统Diff算法问题
    • 17.1.2 Block 与 PatchFlags
    • 17.1.3 收集动态节点
    • 17.1.4 渲染器的运行时支持
    • 17.2.1 带有 v-if 指令的节点
    • 17.2.2 带有 v-for 指令的节点
    • 17.2.3 Fragment 的稳定性
    • 17.3 静态提升
    • 17.4 预字符串化
    • 17.5 缓存内联事件处理函数
    • 17.6 v-once
  • 18-同构渲染

    • 18.1 CSR、SSR 以及同构渲染
    • 18.2 将虚拟 DOM 渲染为 HTML 字符串
    • 18.3 将组件渲染为 HTML 字符串
    • 18.4 客户端激活的原理
    • 18.5.1 组件的生命周期
    • 18.5.2 使用跨平台的 API
    • 18.5.3 只在某一端引入模块
    • 18.5.4 避免交叉请求引起的状态污染
    • 18.5.5 ClientOnly 组件

15.5 将模板 AST 转为 JavaScript AST

渲染函数是 JavaScript 代码,要生成它,就必须先把模板 AST 转成「描述这段 JavaScript 代码」的 JavaScript AST。

一、为什么要转

  • 编译目标是渲染函数,而渲染函数由 JavaScript 代码描述。
  • 与「模板 AST 是模板的描述」一样,JavaScript AST 是 JavaScript 代码的描述:本质上就是设计一组数据结构,来描述渲染函数的代码。
// 模板
`<div><p>Vue</p><p>Template</p></div>`

// 等价的渲染函数
function render() {
  return h('div', [h('p', 'Vue'), h('p', 'Template')])
}

二、JavaScript AST 的节点类型

节点 type描述关键属性
FunctionDecl函数声明语句id(标识符)、params(参数数组)、body(语句数组)
ReturnStatementreturn 语句return
CallExpression函数调用表达式callee(被调用函数名)、arguments(参数数组)
StringLiteral字符串字面量value
ArrayExpression数组表达式elements
Identifier标识符name
// 对应 function render() {}
const FunctionDeclNode = {
  type: 'FunctionDecl',
  id: { type: 'Identifier', name: 'render' },
  params: [],
  // 函数体可以有多个语句,所以是数组
  body: [{ type: 'ReturnStatement', return: null }]
}

// 对应 h()
const CallExp = {
  type: 'CallExpression',
  callee: { type: 'Identifier', name: 'h' },
  arguments: []
}

// 对应 'div' 与 []
const Str = { type: 'StringLiteral', value: 'div' }
const ArrayExp = { type: 'ArrayExpression', elements: [] }

用这些节点描述 function render() { return h('div', [h('p', 'Vue'), h('p', 'Template')]) }:

const FunctionDeclNode = {
  type: 'FunctionDecl',
  id: { type: 'Identifier', name: 'render' },
  params: [],
  body: [
    {
      type: 'ReturnStatement',
      return: {
        type: 'CallExpression',
        callee: { type: 'Identifier', name: 'h' },
        arguments: [
          { type: 'StringLiteral', value: 'div' },
          {
            type: 'ArrayExpression',
            elements: [
              {
                type: 'CallExpression',
                callee: { type: 'Identifier', name: 'h' },
                arguments: [
                  { type: 'StringLiteral', value: 'p' },
                  { type: 'StringLiteral', value: 'Vue' }
                ]
              },
              {
                type: 'CallExpression',
                callee: { type: 'Identifier', name: 'h' },
                arguments: [
                  { type: 'StringLiteral', value: 'p' },
                  { type: 'StringLiteral', value: 'Template' }
                ]
              }
            ]
          }
        ]
      }
    }
  ]
}

三、映射关系

模板 ASTJavaScript AST
RootFunctionDecl(名为 render 的函数声明)
ElementCallExpression,callee 为 h
TextStringLiteral
只有一个子节点直接把子节点的 jsNode 作为 h 的第二个参数
有多个子节点用 ArrayExpression 包起来,元素是各子节点的 jsNode

转换产生的 JavaScript AST 节点都保存在模板 AST 节点的 node.jsNode 属性下。

四、辅助函数

// 创建 StringLiteral 节点
function createStringLiteral(value) { return { type: 'StringLiteral', value } }
// 创建 Identifier 节点
function createIdentifier(name) { return { type: 'Identifier', name } }
// 创建 ArrayExpression 节点
function createArrayExpression(elements) { return { type: 'ArrayExpression', elements } }
// 创建 CallExpression 节点
function createCallExpression(callee, arguments) {
  return { type: 'CallExpression', callee: createIdentifier(callee), arguments }
}

五、转换实现

// 转换文本节点:文本 → 字符串字面量
function transformText(node) {
  if (node.type !== 'Text') return
  node.jsNode = createStringLiteral(node.content)
}

// 转换标签节点:标签 → h 函数调用
function transformElement(node) {
  // 写在退出阶段的回调中,才能保证该标签节点的子节点全部处理完毕
  return () => {
    if (node.type !== 'Element') return

    // 1. 创建 h 函数调用语句,第一个参数是标签名
    const callExp = createCallExpression('h', [createStringLiteral(node.tag)])
    // 2. 处理 h 函数调用的参数
    node.children.length === 1
      // 只有一个子节点 → 直接使用子节点的 jsNode
      ? callExp.arguments.push(node.children[0].jsNode)
      // 多个子节点 → 创建 ArrayExpression 作为参数
      : callExp.arguments.push(
          createArrayExpression(node.children.map(c => c.jsNode))
        )
    // 3. 挂到 jsNode 属性下
    node.jsNode = callExp
  }
}

// 转换 Root 根节点:Root → render 函数声明
function transformRoot(node) {
  // 同样写在退出阶段,保证子节点全部被处理完毕
  return () => {
    if (node.type !== 'Root') return
    // 根节点的第一个子节点就是模板的根节点(暂不考虑多根节点)
    const vnodeJSAST = node.children[0].jsNode
    node.jsNode = {
      type: 'FunctionDecl',
      id: { type: 'Identifier', name: 'render' },
      params: [],
      body: [{ type: 'ReturnStatement', return: vnodeJSAST }]
    }
  }
}

注册顺序:

nodeTransforms: [
  transformText,     // 转换文本节点
  transformElement,  // 转换标签节点
  transformRoot      // 转换 Root 根节点
]
const ast = parse(`<p>Vue</p>`)
transform(ast)
console.log(ast.jsNode) // FunctionDecl: render → return h('p', 'Vue')

为什么 transformElement / transformRoot 要把逻辑写在退出阶段:只有子节点都转换完、children[i].jsNode 都就绪,才能自底向上组装出 h(tag, children),最终拼出 render 函数的返回值。 易错点:node.children.length === 1 时直接传 jsNode,多个子节点才包一层 ArrayExpression——这就是「模板 AST 的 children 数组」到「h 第二个参数」的映射规则。

相关

  • 15.4.3 进入与退出:为什么转换逻辑要写在退出阶段
  • 15.6 代码生成:把 JavaScript AST 拼成渲染函数源码
最近更新: 2026/10/12 00:05
Contributors: liujw
Prev
15.4.3 进入与退出
Next
15.6 代码生成