React组件的本质---Mirone

原文始发于我的博客

也许你已经使用React很长时间了，你使用优雅的jsx语法和React hooks来构建组件，最终构成页面。

然而，为什么我们只需要编写一些声明式的组件，React就可以管理它自己？

进一步而言，我们每天编写的组件到底是什么？

只是函数

考虑以下代码，它实现了一个简单的时钟，猜猜最终打印在chrome控制台中的是什么？

const Text = () => { console.log('Text'); return <p>Just text.</p>; }; const App = () => { const [clock, setClock] = React.useState(new Date().toISOString()); console.log('App'); React.useEffect(() => { const interval = setInterval( () => setClock(new Date().toISOString()), 1000 ); return () => clearInterval(interval); }, []); return ( <> <div>clock: {clock}</div> <Text /> </> ); };

事实是每秒，控制台中都会将App和Text一起打印出来。

React组件只是函数。如果你在React项目中使用过TypeScript的话，

你可能已经遇见过一个类型：React.FC，它是FunctionComponent的缩写,

定义如下：

type FC<P> = (props: P) => ReactElement

这意味着一个React函数组件代表一个函数，它接受props作为参数并最终返回一个React元素。

JSX本质上是一种语法糖，它将被编译为一些函数调用：

const Something = () => { return ( <p> foo <span>bar</span> </p> ) } // 编译为 const Something = () => { return React.createElement('p', null, 'foo', React.createElement('span', null, 'bar') ) }

在React元素的创建过程中，

他将递归地创建所有的子元素，

最终生成一颗元素树。

所以一个组件的渲染过程其实就是一次函数调用。

这就是为什么在前面的例子中我们每一秒都会得到App和Text。

组件状态的更新导致了组件的重新渲染，触发了函数调用。

用于渲染的元素

元素其实只是一种数据结构，你可以把它们看作对象，例如：

// <p className='hello'>Hello</p> // -> 转换为 const element = { type: 'p', key: null, props: { className: 'hello' }, children: ['Hello'] }

渲染器(Renderer)可以通过React元素上携带的信息，

例如type, key, props, children来轻松的将这种数据结构转换为它需要的形式。

例如ReactDOM将React元素转换为dom元素，React Native将React元素转换为原生控件。

你甚至可以直接把元素打印在屏幕上，这样你就创造了一个"打印渲染器"。

当更新发生的时候，一个新元素会被生成，例如：

// we have a update // <p className='hello'>updated</p> // -> 转换为 const element = { type: 'p', key: null, props: { className: 'hello' }, children: ['updated'] }渲染什么

在React中，并没有什么魔法来保证每次渲染得到的元素都是同一个对象。

事实上，每次渲染都会得到一颗新的元素树。

所以其实为每次渲染都创建一颗新的dom树也是可能的，

然而这样会有巨大的开销。

事实上，React使用一种叫做reconciliation的算法

来让自己知道具体应该做什么：是重新生成dom元素，还是在现有内容上做一些更新。

一个React的渲染器只需要实现一个供

Reconciler调用的接口，

Reconciler就可以使用它提供的方法来更新。

我将使用以下的伪代码来描述ReactDOM和Reconciler的关系：

ReactDOMRenderer = Reconciler(ReactDOMHostConfig)

代码中的ReactDOMHostConfig正是我之前提到的接口，

它有如下结构：

export const hostConfig = { now: Date.now, supportsMutation: true, createInstance: (type, newProps, rootContainerInstance) => {}, createTextInstance: text => {}, appendInitialChild: (parent, child) => {}, appendChild(parent, child) {}, removeChild(parentInstance, child) {} };

我们可以通过方法的命名来大概得知每个方法是用来处理什么工作。

完整的方法列表可以在这里查看。

如果想要知道更多关于React Renderer的知识, 这里有一篇很好的博客推荐阅读。

总结

现在，让我们总结一下React一次更新时都发生了什么：

对目标组件触发更新。（可能来源于初次渲染，props或state更新之类的情况。）像函数一样调用组件。 (对于类组件，调用的是render方法。)生成一颗元素树。通过Reconciliation算法计算出具体要更新什么内容。调用渲染器提供的方法来执行更新。

如果一个组件每次渲染时都有高额的开销。

你也许需要类似于React.memo来避免不必要的计算。

至少现在我们确切的知道了为什么我们需要它以及其它诸如React.useMemo或是React.useCallback的方法,

也知道了为什么有时候将函数放在React hooks的依赖列表里会引起无限执行。

如果这篇博客有所帮助，

我强烈推荐您阅读Dan Abramov的很棒的博客"将React作为UI运行时"。

---来自腾讯云社区的---Mirone