React源码分析(一)-调用ReactDOM.render后发生了什么

本文主要是介绍React源码分析(一)-调用ReactDOM.render后发生了什么,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

所谓知其然还要知其所以然. 本系列文章将分析 React 15-stable的部分源码, 包括组件初始渲染的过程、组件更新的过程等. 这篇文章先介绍组件初始渲染的过程的几个重要概念, 包括大致过程、创建元素、实例化组件、事务、批量更新策略等. 在这之前, 假设读者已经:

  • 对React有一定了解
  • 知道React element、component、class区别
  • 了解生命周期、事务、批量更新、virtual DOM大致概念等

如何分析 React 源码

代码架构预览

首先, 我们找到React在Github上的地址, 把15-stable版本的源码copy下来, 观察它的整体架构, 这里首先阅读关于源码介绍的官方文档, 再接着看.

我们 要分析的源码在 src 目录下:

1
2
3
4
5
6
7
8
9
10
// src 部分目录├── ReactVersion.js    # React版本号
├── addons             # 插件
├── isomorphic		   # 同构代码,作为react-core, 提供顶级API
├── node_modules
├── package.json
├── renderers          # 渲染器, 包括DOM,Native,art,test等
├── shared             # 子目录之间需要共享的代码,提到父级目录shared
├── test			   # 测试代码

分析方法

1、首先看一些网上分析的文章, 对重点部分的源码有个印象, 知道一些关键词意思, 避免在无关的代码上迷惑、耗费时间;

2、准备一个demo, 无任何功能代码, 只安装react,react-dom, Babel转义包, 避免分析无关代码;

3、打debugger; 利用Chrome devtool一步一步走, 打断点, 看调用栈,看函数返回值, 看作用域变量值;

4、利用编辑器查找代码、阅读代码等

正文

我们知道, 对于一般的React 应用, 浏览器会首先执行代码 ReactDOM.render来渲染顶层组件, 在这个过程中递归渲染嵌套的子组件, 最终所有组件被插入到DOM中. 我们来看看

调用ReactDOM.render 发生了什么

大致过程(只展示主要的函数调用):

React 初始渲染

如果看不清这有矢量图

让我们来分析一下具体过程:


1、创建元素

首先, 对于你写的jsx, Babel会把这种语法糖转义成这样:

1
2
3
4
5
6
7
8
9
10
11
// jsx
ReactDOM.render(<C />,document.getElementById('app')
)// 转义后
ReactDOM.render(React.createElement(C, null), document.getElementById('app')
);

没错, 就是调用React.createElement来创建元素. 元素是什么? 元素只是一个对象描述了DOM树, 它像这样:

1
2
3
4
5
6
7
8
9
10
11
{$$typeof: Symbol(react.element)key: nullprops: {}        // props有child属性, 描述子组件, 同样是元素ref: nulltype: class C    // type可以是类(自定义组件)、函数(wrapper)、string(DOM节点)_owner: null_store: {validated: false}_self: null_source: null
}

React.createElement源码在ReactElement.js中, 其他逻辑比较简单, 值得说的是props属性, 这个props属性里面包含的就是我们给组件传的各种属性:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
// jsx
return (<div className='container'>"dscsdcsd"<i onClick={(e) => console.log(e)}>{this.state.val}</i><Children val={this.state.val}/></div>
)// bable 转义后
// createElement(type, props, children)
return React.createElement('div', { className: 'container' }, '"dscsdcsd"',React.createElement('i', { onClick: e => console.log(e) }, this.state.val),React.createElement(Children, { val: this.state.val })
);// 对应的元素树
{$$typeof: Symbol(react.element)key: nullprops: {  // props有children属性, 描述子组件, 同样是元素children: [""dscsdcsd"",// 子元素{$$typeof: Symbol(react.element), type: "i", key: null, ref: null, props: {…}, …},{$$typeof: Symbol(react.element), type: class Children, props: {…}, …}]className: 'container'}  ref: nulltype: 'div'_owner: null_store: {validated: false}_self: null_source: null
}

2、创建对应类型的React组件

创建出来的元素被当作参数和指定的 DOM container 一起传进ReactDOM.render. 接下来会调用一些内部方法, 接着调用了 instantiateReactComponent, 这个函数根据element的类型实例化对应的component. 当element的类型为:

  • string时, 说明是文本, 创建ReactDOMTextComponent;
  • ReactElement时, 说明是react元素, 进一步判断element.type的类型, 当为
    • string时, 为DOM原生节点, 创建ReactDOMComponent;
    • 函数或类时, 为react 组件, 创建ReactCompositeComponent

instantiateReactComponent函数在instantiateReactComponent.js :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
/*** Given a ReactNode, create an instance that will actually be mounted.*/
function instantiateReactComponent(node(这里node指element), shouldHaveDebugID) {...// 如果element为空if (node === null || node === false) {// 创建空componentinstance = ReactEmptyComponent.create(instantiateReactComponent);} else if (typeof node === 'object') {  // 如果是对象...     // 这里是类型检查// 如果element.type是字符串if (typeof element.type === 'string') {//实例化 宿主组件, 也就是DOM节点instance = ReactHostComponent.createInternalComponent(element);} else if (isInternalComponentType(element.type)) {// 保留给以后版本使用,此处暂时不会涉及到} else { // 否则就实例化ReactCompositeComponentinstance = new ReactCompositeComponentWrapper(element);}// 如果element是string或number} else if (typeof node === 'string' || typeof node === 'number') {// 实例化ReactDOMTextComponentinstance = ReactHostComponent.createInstanceForText(node);} else {invariant(false, 'Encountered invalid React node of type %s', typeof node);}...return instance;
}

3、开启批量更新以应对可能的setState

在调用instantiateReactComponent拿到组件实例后, React 接着调用了batchingStrategy.batchedUpdates并将组件实例当作参数执行批量更新(首次渲染为批量插入).

批量更新是一种优化策略, 避免重复渲染, 在很多框架都存在这种机制. 其实现要点是要弄清楚何时存储更新, 何时批量更新.

在React中, 批量更新受batchingStrategy控制,而这个策略除了server端都是ReactDefaultBatchingStrategy:

不信你看, 在ReactUpdates.js中 :

1
2
3
4
5
6
7
8
9
var ReactUpdatesInjection = {...// 注入批量策略的函数声明injectBatchingStrategy: function(_batchingStrategy) {... batchingStrategy = _batchingStrategy;},
};

在ReactDefaultInjection.js中注入ReactDefaultBatchingStrategy :

1
ReactInjection.Updates.injectBatchingStrategy(ReactDefaultBatchingStrategy); // 注入

那么React是如何实现批量更新的? 在ReactDefaultBatchingStrategy.js我们看到, 它的实现依靠了事务.

3.1 我们先介绍一下事务.

在 Transaction.js中, React 介绍了事务:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
* <pre>*                       wrappers (injected at creation time)*                                      +        +*                                      |        |*                    +-----------------|--------|--------------+*                    |                 v        |              |*                    |      +---------------+   |              |*                    |   +--|    wrapper1   |---|----+         |*                    |   |  +---------------+   v    |         |*                    |   |          +-------------+  |         |*                    |   |     +----|   wrapper2  |--------+   |*                    |   |     |    +-------------+  |     |   |*                    |   |     |                     |     |   |*                    |   v     v                     v     v   | wrapper*                    | +---+ +---+   +---------+   +---+ +---+ | invariants* perform(anyMethod) | |   | |   |   |         |   |   | |   | | maintained* +----------------->|-|---|-|---|-->|anyMethod|---|---|-|---|-|-------->*                    | |   | |   |   |         |   |   | |   | |*                    | |   | |   |   |         |   |   | |   | |*                    | |   | |   |   |         |   |   | |   | |*                    | +---+ +---+   +---------+   +---+ +---+ |*                    |  initialize                    close    |*                    +-----------------------------------------+* </pre>

React 把要调用的函数封装一层wrapper, 这个wrapper一般是一个对象, 里面有initialize方法, 在调用函数前调用;有close方法, 在函数执行后调用. 这样封装的目的是为了, 在要调用的函数执行前后某些不变性约束条件(invariant)仍然成立.

这里的不变性约束条件(invariant), 我把它理解为 “真命题”, 因此前面那句话意思就是, 函数调用前后某些规则仍然成立. 比如, 在调和(reconciliation)前后保留UI组件一些状态.

React 中, 事务就像一个黑盒, 函数在这个黑盒里被执行, 执行前后某些规则仍然成立, 即使函数报错. 事务提供了函数执行的一个安全环境.

继续看Transaction.js对事务的抽象实现:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
// 事务的抽象实现, 作为基类
var TransactionImpl = {// 初始化/重置实例属性, 给实例添加/重置几个属性, 实例化事务时会调用reinitializeTransaction: function () {this.transactionWrappers = this.getTransactionWrappers();if (this.wrapperInitData) {this.wrapperInitData.length = 0;} else {this.wrapperInitData = [];}this._isInTransaction = false;},_isInTransaction: false,// 这个函数会交给具体的事务实例化时定义, 初始设为nullgetTransactionWrappers: null,// 判断是否已经在这个事务中, 保证当前的Transaction正在perform的同时不会再次被performisInTransaction: function () {return !!this._isInTransaction;},// 顶级API, 事务的主要实现, 用来在安全的窗口下执行函数perform: function (method, scope, a, b, c, d, e, f) {var ret;var errorThrown;try {this._isInTransaction = true;errorThrown = true;this.initializeAll(0);  // 调用所有wrapper的initialize方法ret = method.call(scope, a, b, c, d, e, f); // 调用要执行的函数errorThrown = false;} finally {// 调用所有wrapper的close方法, 利用errorThrown标志位保证只捕获函数执行时的错误, 对initialize	  // 和close抛出的错误不做处理try {if (errorThrown) {try {this.closeAll(0);} catch (err) {}} else {this.closeAll(0);}} finally {this._isInTransaction = false;}}return ret;},// 调用所有wrapper的initialize方法的函数定义initializeAll: function (startIndex) {var transactionWrappers = this.transactionWrappers; // 得到wrapper// 遍历依次调用for (var i = startIndex; i < transactionWrappers.length; i++) {var wrapper = transactionWrappers[i];try {...this.wrapperInitData[i] = wrapper.initialize ? wrapper.initialize.call(this):null;} finally {if (this.wrapperInitData[i] === OBSERVED_ERROR) {try {this.initializeAll(i + 1);} catch (err) {}}}}},// 调用所有wrapper的close方法的函数定义closeAll: function (startIndex) {...var transactionWrappers = this.transactionWrappers; // 拿到wrapper// 遍历依次调用for (var i = startIndex; i < transactionWrappers.length; i++) {var wrapper = transactionWrappers[i];var initData = this.wrapperInitData[i];var errorThrown;try {...if (initData !== OBSERVED_ERROR && wrapper.close) {wrapper.close.call(this, initData);}errorThrown = false;} finally {if (errorThrown) {...try {this.closeAll(i + 1);} catch (e) {}}}}this.wrapperInitData.length = 0;}
};

这只是React事务的抽象实现(基类), 还需要实例化事务并对其加强的配合, 才能发挥事务的真正作用. 另外, 在React 中, 一个事务里开启另一个事务很普遍, 这说明事务是有粒度大小的, 就像进程和线程一样.

3.2 批量更新依靠了事务

刚讲到, 在React中, 批量更新受batchingStrategy控制,而这个策略除了server端都是ReactDefaultBatchingStrategy, 而在ReactDefaultBatchingStrategy.js中, 批量更新的实现依靠了事务:

ReactDefaultBatchingStrategy.js :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
...
var Transaction = require('Transaction');// 引入事务
...var RESET_BATCHED_UPDATES = {   // 重置的 wrapperinitialize: emptyFunction,close: function() {ReactDefaultBatchingStrategy.isBatchingUpdates = false;  // 事务结束即一次batch结束},
};var FLUSH_BATCHED_UPDATES = {  // 批处理的 wrapperinitialize: emptyFunction,close: ReactUpdates.flushBatchedUpdates.bind(ReactUpdates),
};// 组合成 ReactDefaultBatchingStrategyTransaction 事务的wrapper
var TRANSACTION_WRAPPERS = [FLUSH_BATCHED_UPDATES, RESET_BATCHED_UPDATES]; // 调用 reinitializeTransaction 初始化
function ReactDefaultBatchingStrategyTransaction() {this.reinitializeTransaction();
}// 参数中依赖了事务
Object.assign(ReactDefaultBatchingStrategyTransaction.prototype, Transaction, {getTransactionWrappers: function() {return TRANSACTION_WRAPPERS;},
});var transaction = new ReactDefaultBatchingStrategyTransaction(); // 实例化这类事务// 批处理策略
var ReactDefaultBatchingStrategy = {isBatchingUpdates: false, // 是否处在一次BatchingUpdates标志位// 批量更新策略调用的就是这个方法batchedUpdates: function(callback, a, b, c, d, e) {var alreadyBatchingUpdates = ReactDefaultBatchingStrategy.isBatchingUpdates;// 一旦调用批处理, 重置isBatchingUpdates标志位, 表示正处在一次BatchingUpdates中ReactDefaultBatchingStrategy.isBatchingUpdates = true;// 避免重复分配事务if (alreadyBatchingUpdates) {return callback(a, b, c, d, e);} else {return transaction.perform(callback, null, a, b, c, d, e);  // 将callback放进事务里执行}},
};

那么, 为什么批量更新的实现依靠了事务呢? 还记得实现批量更新的两个要点吗?

  • 何时存储更新
  • 何时批处理

对于这两个问题, React 在执行事务时调用wrappers的initialize方法, 建立更新队列, 然后执行函数, 接着 :

  • 何时存储更新—— 在执行函数时遇到更新请求就存到这个队列中
  • 何时批处理—— 函数执行后调用wrappers的close方法, 在close方法中调用批量处理函数

口说无凭, 得有证据. 我们拿ReactDOM.render会调用的事务ReactReconcileTransaction来看看是不是这样:

ReactReconcileTransaction.js 里有个wrapper, 它是这样定义的(英文是官方注释) :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
var ON_DOM_READY_QUEUEING = {/*** Initializes the internal `onDOMReady` queue.*/initialize: function() {this.reactMountReady.reset();},/*** After DOM is flushed, invoke all registered `onDOMReady` callbacks.*/close: function() {this.reactMountReady.notifyAll();},
};

我们再看ReactReconcileTransaction事务会执行的函数mountComponent, 它在

ReactCompositeComponent.js :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
/** Initializes the component, renders markup, and registers event listeners.
*/mountComponent: function(transaction,hostParent,hostContainerInfo,context,) {...if (inst.componentDidMount) {if (__DEV__) {transaction.getReactMountReady().enqueue(() => { // 将要调用的callback存起来measureLifeCyclePerf(() => inst.componentDidMount(),this._debugID,'componentDidMount',);});} else {transaction.getReactMountReady().enqueue(inst.componentDidMount, inst);}}...}

而上述wrapper定义的close方法调用的this.reactMountReady.notifyAll()在这

CallbackQueue.js :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
/*** Invokes all enqueued callbacks and clears the queue. This is invoked after* the DOM representation of a component has been created or updated.*/notifyAll() {...// 遍历调用存储的callbackfor (var i = 0; i < callbacks.length; i++) {callbacks[i].call(contexts[i], arg);}callbacks.length = 0;contexts.length = 0;}}

即证.

你竟然读到这了

好累(笑哭), 先写到这吧. 我本来还想一篇文章就把组件初始渲染的过程和组件更新的过程讲完, 现在看来要分开讲了… React 细节太多了, 蕴含的信息量也很大…说博大精深一点不夸张…向React的作者们以及社区的人们致敬!

我觉得读源码是一件很费力但是非常值得的事情. 刚开始读的时候一点头绪也没有, 不知道它是什么样的过程, 不知道为什么要这么写, 有时候还会因为断点没打好绕了很多弯路…也是硬着头皮一遍一遍看, 结合网上的文章, 就这样云里雾里的慢慢摸索, 不断更正自己的认知.后来看多了, 就经常会有大彻大悟的感觉, 零碎的认知开始连通起来, 逐渐摸清了来龙去脉.

现在觉得确实很值得, 自己学到了不少. 看源码的过程就感觉是跟作者们交流讨论一样, 思想在碰撞! 强烈推荐前端的同学们阅读React源码, 大神们智慧的结晶!

未完待续…

原文http://realtcg.com/2018/02/11/react-source-code-analysis-1-after-ReactDOM.render/

这篇关于React源码分析(一)-调用ReactDOM.render后发生了什么的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/509354

相关文章

Python调用Orator ORM进行数据库操作

《Python调用OratorORM进行数据库操作》OratorORM是一个功能丰富且灵活的PythonORM库,旨在简化数据库操作,它支持多种数据库并提供了简洁且直观的API,下面我们就... 目录Orator ORM 主要特点安装使用示例总结Orator ORM 是一个功能丰富且灵活的 python O

部署Vue项目到服务器后404错误的原因及解决方案

《部署Vue项目到服务器后404错误的原因及解决方案》文章介绍了Vue项目部署步骤以及404错误的解决方案,部署步骤包括构建项目、上传文件、配置Web服务器、重启Nginx和访问域名,404错误通常是... 目录一、vue项目部署步骤二、404错误原因及解决方案错误场景原因分析解决方案一、Vue项目部署步骤

Java调用DeepSeek API的最佳实践及详细代码示例

《Java调用DeepSeekAPI的最佳实践及详细代码示例》:本文主要介绍如何使用Java调用DeepSeekAPI,包括获取API密钥、添加HTTP客户端依赖、创建HTTP请求、处理响应、... 目录1. 获取API密钥2. 添加HTTP客户端依赖3. 创建HTTP请求4. 处理响应5. 错误处理6.

Springboot中分析SQL性能的两种方式详解

《Springboot中分析SQL性能的两种方式详解》文章介绍了SQL性能分析的两种方式:MyBatis-Plus性能分析插件和p6spy框架,MyBatis-Plus插件配置简单,适用于开发和测试环... 目录SQL性能分析的两种方式:功能介绍实现方式:实现步骤:SQL性能分析的两种方式:功能介绍记录

前端原生js实现拖拽排课效果实例

《前端原生js实现拖拽排课效果实例》:本文主要介绍如何实现一个简单的课程表拖拽功能,通过HTML、CSS和JavaScript的配合,我们实现了课程项的拖拽、放置和显示功能,文中通过实例代码介绍的... 目录1. 效果展示2. 效果分析2.1 关键点2.2 实现方法3. 代码实现3.1 html部分3.2

Deepseek R1模型本地化部署+API接口调用详细教程(释放AI生产力)

《DeepseekR1模型本地化部署+API接口调用详细教程(释放AI生产力)》本文介绍了本地部署DeepSeekR1模型和通过API调用将其集成到VSCode中的过程,作者详细步骤展示了如何下载和... 目录前言一、deepseek R1模型与chatGPT o1系列模型对比二、本地部署步骤1.安装oll

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

CSS弹性布局常用设置方式

《CSS弹性布局常用设置方式》文章总结了CSS布局与样式的常用属性和技巧,包括视口单位、弹性盒子布局、浮动元素、背景和边框样式、文本和阴影效果、溢出隐藏、定位以及背景渐变等,通过这些技巧,可以实现复杂... 一、单位元素vm 1vm 为视口的1%vh 视口高的1%vmin 参照长边vmax 参照长边re

一分钟带你上手Python调用DeepSeek的API

《一分钟带你上手Python调用DeepSeek的API》最近DeepSeek非常火,作为一枚对前言技术非常关注的程序员来说,自然都想对接DeepSeek的API来体验一把,下面小编就来为大家介绍一下... 目录前言免费体验API-Key申请首次调用API基本概念最小单元推理模型智能体自定义界面总结前言最

CSS3中使用flex和grid实现等高元素布局的示例代码

《CSS3中使用flex和grid实现等高元素布局的示例代码》:本文主要介绍了使用CSS3中的Flexbox和Grid布局实现等高元素布局的方法,通过简单的两列实现、每行放置3列以及全部代码的展示,展示了这两种布局方式的实现细节和效果,详细内容请阅读本文,希望能对你有所帮助... 过往的实现方法是使用浮动加