查看原文
其他

【React深入】深入分析虚拟DOM的渲染过程和特性

ConardLi code秘密花园 2020-02-17

导读

React的虚拟 DOMDiff算法是 React的非常重要的核心特性,这部分源码也非常复杂,理解这部分知识的原理对更深入的掌握 React是非常必要的。

本来想将虚拟 DOMDiff算法放到一篇文章,写完虚拟 DOM发现文章已经很长了,所以本篇只分析虚拟 DOM

本篇文章从源码出发,分析虚拟 DOM的核心渲染原理,以及 React对它做的性能优化点。

说实话 React源码真的很难读😅,如果本篇文章帮助到了你,那么请给个赞👍支持一下吧。

本文略长,下面是本文的思维导图,您可以从头开始阅读,也可以选择感兴趣的部分阅读:

开发中的常见问题

  • 为何必须引用 React

  • 自定义的 React组件为何必须大写

  • React如何防止 XSS

  • React的 Diff算法和其他的 Diff算法有何区别

  • key在 React中的作用

  • 如何写出高性能的 React组件

如果你对上面几个问题还存在疑问,说明你对 React的虚拟 DOM以及 Diff算法实现原理还有所欠缺,那么请好好阅读本篇文章吧。

首先我们来看看到底什么是虚拟 DOM:

虚拟DOM

在原生的 JavaScript程序中,我们直接对 DOM进行创建和更改,而 DOM元素通过我们监听的事件和我们的应用程序进行通讯。

React会先将你的代码转换成一个 JavaScript对象,然后这个 JavaScript对象再转换成真实 DOM。这个 JavaScript对象就是所谓的虚拟 DOM

比如下面一段 html代码:

  1. <div class="title">

  2. <span>Hello ConardLi</span>

  3. <ul>

  4. <li>苹果</li>

  5. <li>橘子</li>

  6. </ul>

  7. </div>

React可能存储为这样的 JS代码:

  1. const VitrualDom = {

  2. type: 'div',

  3. props: { class: 'title' },

  4. children: [

  5. {

  6. type: 'span',

  7. children: 'Hello ConardLi'

  8. },

  9. {

  10. type: 'ul',

  11. children: [

  12. { type: 'ul', children: '苹果' },

  13. { type: 'ul', children: '橘子' }

  14. ]

  15. }

  16. ]

  17. }

当我们需要创建或更新元素时, React首先会让这个 VitrualDom对象进行创建和更改,然后再将 VitrualDom对象渲染成真实 DOM

当我们需要对 DOM进行事件监听时,首先对 VitrualDom进行事件监听, VitrualDom会代理原生的 DOM事件从而做出响应。

为何使用虚拟DOM

React为何采用 VitrualDom这种方案呢?

提高开发效率

使用 JavaScript,我们在编写应用程序时的关注点在于如何更新 DOM

使用 React,你只需要告诉 React你想让视图处于什么状态, React则通过 VitrualDom确保 DOM与该状态相匹配。你不必自己去完成属性操作、事件处理、 DOM更新, React会替你完成这一切。

这让我们更关注我们的业务逻辑而非 DOM操作,这一点即可大大提升我们的开发效率。

关于提升性能

很多文章说 VitrualDom可以提升性能,这一说法实际上是很片面的。

直接操作 DOM是非常耗费性能的,这一点毋庸置疑。但是 React使用 VitrualDom也是无法避免操作 DOM的。

如果是首次渲染, VitrualDom不具有任何优势,甚至它要进行更多的计算,消耗更多的内存。

VitrualDom的优势在于 ReactDiff算法和批处理策略, React在页面更新之前,提前计算好了如何进行更新和渲染 DOM。实际上,这个计算过程我们在直接操作 DOM时,也是可以自己判断和实现的,但是一定会耗费非常多的精力和时间,而且往往我们自己做的是不如 React好的。所以,在这个过程中 React帮助我们"提升了性能"。

所以,我更倾向于说, VitrualDom帮助我们提高了开发效率,在重复渲染时它帮助我们计算如何更高效的更新,而不是它比 DOM操作更快。

如果您对本部分的分析有什么不同见解,欢迎在评论区拍砖。

跨浏览器兼容

React基于 VitrualDom自己实现了一套自己的事件机制,自己模拟了事件冒泡和捕获的过程,采用了事件代理,批量更新等方法,抹平了各个浏览器的事件兼容性问题。

跨平台兼容

VitrualDomReact带来了跨平台渲染的能力。以 ReactNative为例子。 React根据 VitrualDom画出相应平台的 ui层,只不过不同平台画的姿势不同而已。

虚拟DOM实现原理

如果你不想看繁杂的源码,或者现在没有足够时间,可以跳过这一章,直接👇虚拟DOM原理总结

在上面的图上我们继续进行扩展,按照图中的流程,我们依次来分析虚拟 DOM的实现原理。

JSX和createElement

我们在实现一个 React组件时可以选择两种编码方式,第一种是使用 JSX编写:

  1. class Hello extends Component {

  2. render() {

  3. return <div>Hello ConardLi</div>;

  4. }

  5. }

第二种是直接使用 React.createElement编写:

  1. class Hello extends Component {

  2. render() {

  3. return React.createElement('div', null, `Hello ConardLi`);

  4. }

  5. }

实际上,上面两种写法是等价的, JSX只是为 React.createElement(component,props,...children)方法提供的语法糖。也就是说所有的 JSX代码最后都会转换成 React.createElement(...)Babel帮助我们完成了这个转换的过程。

如下面的 JSX

  1. <div>

  2. <img src="avatar.png" className="profile" />

  3. <Hello />

  4. </div>;

将会被 Babel转换为

  1. React.createElement("div", null, React.createElement("img", {

  2. src: "avatar.png",

  3. className: "profile"

  4. }), React.createElement(Hello, null));

注意, babel在编译时会判断 JSX中组件的首字母,当首字母为小写时,其被认定为原生 DOM标签, createElement的第一个变量被编译为字符串;当首字母为大写时,其被认定为自定义组件, createElement的第一个变量被编译为对象;

另外,由于 JSX提前要被 Babel编译,所以 JSX是不能在运行时动态选择类型的,比如下面的代码:

  1. function Story(props) {

  2. // Wrong! JSX type can't be an expression.

  3. return <components[props.storyType] story={props.story} />;

  4. }

需要变成下面的写法:

  1. function Story(props) {

  2. // Correct! JSX type can be a capitalized variable.

  3. const SpecificStory = components[props.storyType];

  4. return <SpecificStory story={props.story} />;

  5. }

所以,使用 JSX你需要安装 Babel插件 babel-plugin-transform-react-jsx

  1. {

  2. "plugins": [

  3. ["transform-react-jsx", {

  4. "pragma": "React.createElement"

  5. }]

  6. ]

  7. }

创建虚拟DOM

下面我们来看看虚拟 DOM的真实模样,将下面的 JSX代码在控制台打印出来:

  1. <div className="title">

  2. <span>Hello ConardLi</span>

  3. <ul>

  4. <li>苹果</li>

  5. <li>橘子</li>

  6. </ul>

  7. </div>

这个结构和我们上面自己描绘的结构很像,那么 React是如何将我们的代码转换成这个结构的呢,下面我们来看看 createElement函数的具体实现(文中的源码经过精简)。

createElement函数内部做的操作很简单,将 props和子元素进行处理后返回一个 ReactElement对象,下面我们来逐一分析:

(1).处理props:

  • 1.将特殊属性 ref、 key从 config中取出并赋值

  • 2.将特殊属性 self、 source从 config中取出并赋值

  • 3.将除特殊属性的其他属性取出并赋值给 props

后面的文章会详细介绍这些特殊属性的作用。

(2).获取子元素

  • 1.获取子元素的个数 —— 第二个参数后面的所有参数

  • 2.若只有一个子元素,赋值给 props.children

  • 3.若有多个子元素,将子元素填充为一个数组赋值给 props.children

(3).处理默认props

  • 将组件的静态属性 defaultProps定义的默认 props进行赋值

ReactElement

ReactElement将传入的几个属性进行组合,并返回。

  • type:元素的类型,可以是原生html类型(字符串),或者自定义组件(函数或 class

  • key:组件的唯一标识,用于 Diff算法,下面会详细介绍

  • ref:用于访问原生 dom节点

  • props:传入组件的 props

  • owner:当前正在构建的 Component所属的 Component

$$typeof:一个我们不常见到的属性,它被赋值为 REACT_ELEMENT_TYPE

  1. var REACT_ELEMENT_TYPE =

  2. (typeof Symbol === 'function' && Symbol.for && Symbol.for('react.element')) ||

  3. 0xeac7;

可见, $$typeof是一个 Symbol类型的变量,这个变量可以防止 XSS

如果你的服务器有一个漏洞,允许用户存储任意 JSON对象, 而客户端代码需要一个字符串,这可能会成为一个问题:

  1. // JSON

  2. let expectedTextButGotJSON = {

  3. type: 'div',

  4. props: {

  5. dangerouslySetInnerHTML: {

  6. __html: '/* put your exploit here */'

  7. },

  8. },

  9. };

  10. let message = { text: expectedTextButGotJSON };

  11. <p>

  12. {message.text}

  13. </p>

JSON中不能存储 Symbol类型的变量。

ReactElement.isValidElement函数用来判断一个 React组件是否是有效的,下面是它的具体实现。

  1. ReactElement.isValidElement = function (object) {

  2. return typeof object === 'object' && object !== null && object.$$typeof === REACT_ELEMENT_TYPE;

  3. };

可见 React渲染时会把没有 $$typeof标识,以及规则校验不通过的组件过滤掉。

当你的环境不支持 Symbol时, $$typeof被赋值为 0xeac7,至于为什么, React开发者给出了答案:

0xeac7看起来有点像 React

selfsource只有在非生产环境才会被加入对象中。

  • self指定当前位于哪个组件实例。

  • _source指定调试代码来自的文件( fileName)和代码行数( lineNumber)。

虚拟DOM转换为真实DOM

上面我们分析了代码转换成了虚拟 DOM的过程,下面来看一下 React如何将虚拟 DOM转换成真实 DOM

本部分逻辑较复杂,我们先用流程图梳理一下整个过程,整个过程大概可分为四步:

过程1:初始参数处理

在编写好我们的 React组件后,我们需要调用 ReactDOM.render(element,container[,callback])将组件进行渲染。

render函数内部实际调用了 _renderSubtreeIntoContainer,我们来看看它的具体实现:

  1. render: function (nextElement, container, callback) {

  2. return ReactMount._renderSubtreeIntoContainer(null, nextElement, container, callback);

  3. },

  • 1.将当前组件使用 TopLevelWrapper进行包裹

TopLevelWrapper只一个空壳,它为你需要挂载的组件提供了一个 rootID属性,并在 render函数中返回该组件。

  1. TopLevelWrapper.prototype.render = function () {

  2. return this.props.child;

  3. };

ReactDOM.render函数的第一个参数可以是原生 DOM也可以是 React组件,包裹一层 TopLevelWrapper可以在后面的渲染中将它们进行统一处理,而不用关心是否原生。

  • 2.判断根结点下是否已经渲染过元素,如果已经渲染过,判断执行更新或者卸载操作

  • 3.处理 shouldReuseMarkup变量,该变量表示是否需要重新标记元素

  • 4.调用将上面处理好的参数传入 _renderNewRootComponent,渲染完成后调用 callback

_renderNewRootComponent中调用 instantiateReactComponent对我们传入的组件进行分类包装:

根据组件的类型, React根据原组件创建了下面四大类组件,对组件进行分类渲染:

  • ReactDOMEmptyComponent:空组件

  • ReactDOMTextComponent:文本

  • ReactDOMComponent:原生 DOM

  • ReactCompositeComponent:自定义 React组件

他们都具备以下三个方法:

  • construct:用来接收 ReactElement进行初始化。

  • mountComponent:用来生成 ReactElement对应的真实 DOM或 DOMLazyTree

  • unmountComponent:卸载 DOM节点,解绑事件。

具体是如何渲染我们在过程3中进行分析。

过程2:批处理、事务调用

_renderNewRootComponent中使用 ReactUpdates.batchedUpdates调用 batchedMountComponentIntoNode进行批处理。

  1. ReactUpdates.batchedUpdates(batchedMountComponentIntoNode, componentInstance, container, shouldReuseMarkup, context);

batchedMountComponentIntoNode中,使用 transaction.perform调用 mountComponentIntoNode让其基于事务机制进行调用。

  1. transaction.perform(mountComponentIntoNode, null, componentInstance, container, transaction, shouldReuseMarkup, context);

关于批处理事务,在我前面的分析setState执行机制中有更多介绍。

过程3:生成html

mountComponentIntoNode函数中调用 ReactReconciler.mountComponent生成原生 DOM节点。

mountComponent内部实际上是调用了过程1生成的四种对象的 mountComponent方法。首先来看一下 ReactDOMComponent

  • 1.对特殊 DOM标签、 props进行处理。

  • 2.根据标签类型创建 DOM节点。

  • 3.调用 _updateDOMProperties将 props插入到 DOM节点, _updateDOMProperties也可用于 propsDiff,第一个参数为上次渲染的 props,第二个参数为当前 props,若第一个参数为空,则为首次创建。

  • 4.生成一个 DOMLazyTree对象并调用 _createInitialChildren将孩子节点渲染到上面。

那么为什么不直接生成一个 DOM节点而是要创建一个 DOMLazyTree呢?我们先来看看 _createInitialChildren做了什么:

判断当前节点的 dangerouslySetInnerHTML属性、孩子节点是否为文本和其他节点分别调用 DOMLazyTreequeueHTMLqueueTextqueueChild

可以发现: DOMLazyTree实际上是一个包裹对象, node属性中存储了真实的 DOM节点, childrenhtmltext分别存储孩子、html节点和文本节点。

它提供了几个方法用于插入孩子、 html以及文本节点,这些插入都是有条件限制的,当 enableLazy属性为 true时,这些孩子、 html以及文本节点会被插入到 DOMLazyTree对象中,当其为 false时会插入到真实 DOM节点中。

  1. var enableLazy = typeof document !== 'undefined' &&

  2. typeof document.documentMode === 'number' ||

  3. typeof navigator !== 'undefined' &&

  4. typeof navigator.userAgent === 'string' &&

  5. /\bEdge\/\d/.test(navigator.userAgent);

可见: enableLazy是一个变量,当前浏览器是 IEEdge时为 true

IE8-11Edge浏览器中,一个一个插入无子孙的节点,效率要远高于插入一整个序列化完整的节点树。

所以 lazyTree主要解决的是在 IE8-11Edge浏览器中插入节点的效率问题,在后面的过程4我们会分析到:若当前是 IEEdge,则需要递归插入 DOMLazyTree中缓存的子节点,其他浏览器只需要插入一次当前节点,因为他们的孩子已经被渲染好了,而不用担心效率问题。

下面来看一下 ReactCompositeComponent,由于代码非常多这里就不再贴这个模块的代码,其内部主要做了以下几步:

  • 处理 props、 contex等变量,调用构造函数创建组件实例

  • 判断是否为无状态组件,处理 state

  • 调用 performInitialMount生命周期,处理子节点,获取 markup

  • 调用 componentDidMount生命周期

performInitialMount函数中,首先调用了 componentWillMount生命周期,由于自定义的 React组件并不是一个真实的DOM,所以在函数中又调用了孩子节点的 mountComponent。这也是一个递归的过程,当所有孩子节点渲染完成后,返回 markup并调用 componentDidMount

过程4:渲染html

mountComponentIntoNode函数中调用将上一步生成的 markup插入 container容器。

在首次渲染时, _mountImageIntoNode会清空 container的子节点后调用 DOMLazyTree.insertTreeBefore

判断是否为 fragment节点或者 <object>插件:


  • 如果是以上两种,首先调用 insertTreeChildren将此节点的孩子节点渲染到当前节点上,再将渲染完的节点插入到 html



  • 如果是其他节点,先将节点插入到插入到 html,再调用 insertTreeChildren将孩子节点插入到 html



  • 若当前不是 IEEdge,则不需要再递归插入子节点,只需要插入一次当前节点。


  • 判断不是 IE或 bEdge时 return

  • 若 children不为空,递归 insertTreeBefore进行插入

  • 渲染html节点

  • 渲染文本节点

原生DOM事件代理

有关虚拟 DOM的事件机制,我曾专门写过一篇文章,有兴趣可以👇【React深入】React事件机制

虚拟DOM原理、特性总结

React组件的渲染流程


  • 使用 React.createElementJSX编写 React组件,实际上所有的 JSX代码最后都会转换成 React.createElement(...)Babel帮助我们完成了这个转换的过程。



  • createElement函数对 keyref等特殊的 props进行处理,并获取 defaultProps对默认 props进行赋值,并且对传入的孩子节点进行处理,最终构造成一个 ReactElement对象(所谓的虚拟 DOM)。



  • ReactDOM.render将生成好的虚拟 DOM渲染到指定容器上,其中采用了批处理、事务等机制并且对特定浏览器进行了性能优化,最终转换为真实 DOM


虚拟DOM的组成

ReactElementelement对象,我们的组件最终会被渲染成下面的结构:

  • type:元素的类型,可以是原生html类型(字符串),或者自定义组件(函数或 class

  • key:组件的唯一标识,用于 Diff算法,下面会详细介绍

  • ref:用于访问原生 dom节点

  • props:传入组件的 props, chidren是 props中的一个属性,它存储了当前组件的孩子节点,可以是数组(多个孩子节点)或对象(只有一个孩子节点)

  • owner:当前正在构建的 Component所属的 Component

  • self:(非生产环境)指定当前位于哪个组件实例

  • _source:(非生产环境)指定调试代码来自的文件( fileName)和代码行数( lineNumber)

防止XSS

ReactElement对象还有一个 $$typeof属性,它是一个 Symbol类型的变量 Symbol.for('react.element'),当环境不支持 Symbol时, $$typeof被赋值为 0xeac7

这个变量可以防止 XSS。如果你的服务器有一个漏洞,允许用户存储任意 JSON对象, 而客户端代码需要一个字符串,这可能为你的应用程序带来风险。 JSON中不能存储 Symbol类型的变量,而 React渲染时会把没有 $$typeof标识的组件过滤掉。

批处理和事务

React在渲染虚拟 DOM时应用了批处理以及事务机制,以提高渲染性能。

关于批处理以及事务机制,在我之前的文章【React深入】setState的执行机制中有详细介绍。

针对性的性能优化

IE8-11Edge浏览器中,一个一个插入无子孙的节点,效率要远高于插入一整个序列化完整的节点树。

React通过 lazyTree,在 IE8-11Edge中进行单个节点依次渲染节点,而在其他浏览器中则首先将整个大的 DOM结构构建好,然后再整体插入容器。

并且,在单独渲染节点时, React还考虑了 fragment等特殊节点,这些节点则不会一个一个插入渲染。

虚拟DOM事件机制

React自己实现了一套事件机制,其将所有绑定在虚拟 DOM上的事件映射到真正的 DOM事件,并将所有的事件都代理到 document上,自己模拟了事件冒泡和捕获的过程,并且进行统一的事件分发。

React自己构造了合成事件对象 SyntheticEvent,这是一个跨浏览器原生事件包装器。 它具有与浏览器原生事件相同的接口,包括 stopPropagation()preventDefault()等等,在所有浏览器中他们工作方式都相同。这抹平了各个浏览器的事件兼容性问题。

上面分析了虚拟 DOM的部分原理,当然这并不包括虚拟 DOM进行 Diff的过程,下一篇文章我们再来详细探讨。

末尾

关于开篇提的几个问题,我们在下篇文章中进行统一回答。

文中如有错误,欢迎在评论区指正,或者您对文章的排版,阅读体验有什么好的建议,欢迎在评论区指出,谢谢阅读。

推荐关注我的微信公众号【code秘密花园】,每天推送高质量文章,我们一起交流成长。


    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存