使用React或者RN开发APP如果不知道Diff算法的话简直是说不过去啊。毕竟“知其然,知其所以然”这句老话从远古喊到现代了。
以下内容基本是官网文章的一个总结、压缩。这次要谦虚一下,毕竟深入研究RN的时间不多,如果有什么理解的不对的地方还请各位读者指正。
用React官网的Thinking in React作为例子。
这几个组件的结构是这样的:
FilterableProductTable
SearchBar
ProductTable
ProductCategoryRow
ProductRow
相关代码,省去不必要的以后是这样的:
class ProductCategoryRow extends React.Comonent {
render() {
return (<tr><th colSpan="2">{this.props.category}</th></tr>);
}
};
class ProductRow extends React.Component{
render() {
return (
<tr>
<td>{name}</td>
<td>{this.props.product.price}</td>
</tr>
);
}
};
class ProductTable extends React.Component {
render() {
return (
<table>
<tbody>{rows}</tbody>
</table>
);
}
};
class SearchBar extends React.Component{
render() {
return (
<form>
//...略...
</form>
);
}
};
class FilterableProductTable extends React.Component{
render() {
return (
<div>
<SearchBar />
<ProductTable products={this.props.products} />
</div>
);
}
};
ReactDOM.render(
<FilterableProductTable products={PRODUCTS} />,
document.getElementById('container')
);
上面的例子说明React的组件最后组成了一个树形结构。在React绘制的时候,会在内存里对应每一个组件建立一个节点,并最终形成一个和组件树结构一样的树。我们就叫这个树叫影子树(这个叫法不是出自官方)。我们可以理解为这个影子树包含了React App组建的结构和一些属性值。
在组件发生变化的时候(一般是调用了setState
),React会形成一个影子树二号。然后对比影子树1号和影子树2号的不同。
我们知道对比两个树的最小不同的时间复杂度是O(n3
),n是树里的节点数。这个复杂度下,稍有量级的应用都会遇到一个问题:无法忽略的慢。于是,FB的同学们使用了更加高效的启发式算法,把复杂度降低到了O(n)。
但是,不管是什么算法最后都需要对比两个节点的不同。有三种情况需要考虑:
一、节点之间的比较
节点,英语里的Node,包括两种类型:一个是React组件,一个是HTML的DOM。下文也是同样的含义。
节点类型不同
如果是HTML DOM不同的话,直接使用新的替换旧的。
如果是组件类型不同的话也直接使用新的替换旧的。
HTML DOM类型相同
在React里样式并不是一个纯粹的字符串,而是一个对象,这样的话在样式发生改变的时候只需要改变替换变化以后的样式。修改完当前节点之后,递归处理该节点的子节点。
组件类型相同
组件类型相同的,使用React机制处理。一般是使用新的props替换掉旧的props,并在之后调用组件的componentWill/DidReceiveProps
方法,之前的组件的render方法会被调用。节点的比较机制开始递归作用于这个它的子节点上。
二、两个列表之间的比较
一列节点中的一个发生了改变,React并没有什么好方法来处理这个问题。循环新旧两个列表,并找出不同是React唯一的处理方法。
但是,有一个可以把这个算法的复杂度降低的办法。那就是我们在生成一列节点的时候给每一个节点上添加一个key。这个key只需要在这一列节点中唯一,不需要全局唯一。
三、取舍
需要注意的是,上面的启发式算法是基于两点假设:
*类型想听的节点总是生成同样的树,而类型不同的节点也总是生成不同的树。
*可以为多次render都表现稳定的节点设置key。
上面的节点之间的比较算法基本就是基于这两个假设而实现的。也就是要提高React应用的效率,需要我们按照这两点假设来开发。
否则,React会重获整个APP。那就是噩梦一样的情况了。