在 Vue 的响应式系统中，diff 算法是 Virtual DOM 更新的核心。它通过对比新旧虚拟节点树，找到需要变更的部分，并高效地进行最小化更新，确保性能与用户体验的平衡。
Vue2 中的 diff 算法采用了“双端比较”策略，而在 Vue3 中，随着虚拟节点结构的简化和优化，diff 算法也进行了重构。其核心逻辑更加模块化，同时结合了一些现代浏览器的性能特性（如 patchFlag 和 keyed children 优化），使得渲染性能进一步提升。
本篇文章将结合 Vue3 的源码，深入解析其 diff 算法的实现原理和优化策略，帮助你理解它背后的设计哲学以及对性能的提升是如何达成的。
HTML 是构建网页结构的基础，而“解析 HTML”是前端开发、爬虫编程、浏览器内核等领域的核心技术之一。本文将带你从手动构建状态机开始，理解 HTML 是如何被逐字符拆解、识别和组织成 DOM 树的。
数据描述语言
JSON、XML、SQL、CSS 等
编程语言
Python、JavaScript、Java、C、C++、Ruby、PHP 等
声明式语言
SQL、Prolog、XSLT、HTML、CSS 等
命令式语言
C、C++、Java、Python、JavaScript、Ruby、PHP、Swift、Go 等
命令式语言 —— 基于图灵机模型
特征：支持 goto、if 和 while 等控制流语句
声明式语言 —— 基于 λ 演算
特征：强调递归和函数式计算
| 特性 | 动态类型 | 静态类型 |
|---|---|---|
| 运行阶段 | 在用户设备或服务器产品运行时（runtime） | 在程序员设备产品开发时（compile-time） |
| 类型检查位置 | 运行时 | 编译时 |
动态类型系统与静态类型系统
区别在于类型信息保留的位置：运行时 vs 编译时
强类型与弱类型
关注语言中类型转换的严格程度和规则
结构类型系统（符合类型）
例如结构体和函数签名中的参数/返回值匹配
子类型（如 C++ 中）
支持继承与多态
泛型
提供类型参数化，提高代码复用性