React组件复用的方式
现前端的工程化越发重要,虽然使用Ctrl+C
与Ctrl+V
同样能够完成需求,但是一旦面临修改那就是一项庞大的任务,于是减少代码的拷贝,增加封装复用能力,实现可维护、可复用的代码就变得尤为重要,在React
中组件是代码复用的主要单元,基于组合的组件复用机制相当优雅,而对于更细粒度的逻辑(状态逻辑、行为逻辑等),复用起来却不那么容易,很难把状态逻辑拆出来作为一个可复用的函数或组件,实际上在Hooks
出现之前,都缺少一种简单直接的组件行为扩展方式,对于Mixin
、HOC
、Render Props
都算是在既有(组件机制的)游戏规则下探索出来的上层模式,一直没有从根源上很好地解决组件间逻辑复用的问题,直到Hooks
登上舞台,下面我们就来介绍一下Mixin
、HOC
、Render Props
、Hooks
四种组件间复用的方式。
Mixin
当然React
很久之前就不再建议使用Mixin
作为复用的解决方案,但是现在依旧能通过create-react-class
提供对Mixin
的支持,此外注意在以ES6
的class
方式声明组件时是不支持Mixin
的。
Mixins
允许多个React
组件之间共享代码,它们非常类似于Python
中的mixins
或PHP
中的traits
,Mixin
方案的出现源自一种OOP
直觉,只在早期提供了React.createClass() API
(React v15.5.0
正式废弃,移至create-react-class
)来定义组件,自然而然地,(类)继承就成了一种直觉性的尝试,而在JavaScript
基于原型的扩展模式下,类似于继承的Mixin
方案就成了一个不错的解决方案,Mixin
主要用来解决生命周期逻辑和状态逻辑的复用问题,允许从外部扩展组件生命周期,在Flux
等模式中尤为重要,但是在不断实践中也出现了很多缺陷:
- 组件与
Mixin
之间存在隐式依赖(Mixin
经常依赖组件的特定方法,但在定义组件时并不知道这种依赖关系)。 - 多个
Mixin
之间可能产生冲突(比如定义了相同的state
字段)。 -
Mixin
倾向于增加更多状态,这降低了应用的可预测性,导致复杂度剧增。 - 隐式依赖导致依赖关系不透明,维护成本和理解成本迅速攀升。
- 难以快速理解组件行为,需要全盘了解所有依赖
Mixin
的扩展行为,及其之间的相互影响 - 组件自身的方法和
state
字段不敢轻易删改,因为难以确定有没有Mixin
依赖它。 -
Mixin
也难以维护,因为Mixin
逻辑最后会被打平合并到一起,很难搞清楚一个Mixin
的输入输出。
毫无疑问,这些问题是致命的,所以,Reactv0.13.0
放弃了Mixin
静态横切(类似于继承的复用),转而走向HOC
高阶组件(类似于组合的复用)。
示例
上古版本示例,一个通用的场景是:
一个组件需要定期更新,用setInterval()
做很容易,但当不需要它的时候取消定时器来节省内存是非常重要的,React
提供生命周期方法来告知组件创建或销毁的时间,下面的Mixin
,使用setInterval()
并保证在组件销毁时清理定时器。
HOC
Mixin
之后,HOC
高阶组件担起重任,成为组件间逻辑复用的推荐方案,高阶组件从名字上就透漏出高级的气息,实际上这个概念应该是源自于JavaScript
的高阶函数,高阶函数就是接受函数作为输入或者输出的函数,可以想到柯里化就是一种高阶函数,同样在React
文档上也给出了高阶组件的定义,高阶组件是接收组件并返回新组件的函数。具体的意思就是:
高阶组件可以看作React
对装饰模式的一种实现,高阶组件就是一个函数,且该函数接受一个组件作为参数,并返回一个新的组件,他会返回一个增强的React
组件,高阶组件可以让我们的代码更具有复用性,逻辑性与抽象性,可以对render
方法进行劫持,也可以控制props
与state
等。
对比Mixin
与HOC
,Mixin
是一种混入的模式,在实际使用中Mixin
的作用还是非常强大的,能够使得我们在多个组件中共用相同的方法,但同样也会给组件不断增加新的方法和属性,组件本身不仅可以感知,甚至需要做相关的处理(例如命名冲突、状态维护等),一旦混入的模块变多时,整个组件就变的难以维护,Mixin
可能会引入不可见的属性,例如在渲染组件中使用Mixin
方法,给组件带来了不可见的属性props
和状态state
,并且Mixin
可能会相互依赖,相互耦合,不利于代码维护,此外不同的Mixin
中的方法可能会相互冲突。之前React
官方建议使用Mixin
用于解决横切关注点相关的问题,但由于使用Mixin
可能会产生更多麻烦,所以官方现在推荐使用HOC
。高阶组件HOC
属于函数式编程functional programming
思想,对于被包裹的组件时不会感知到高阶组件的存在,而高阶组件返回的组件会在原来的组件之上具有功能增强的效果,基于此React
官方推荐使用高阶组件。
HOC
虽然没有那么多致命问题,但也存在一些小缺陷:
- 扩展性限制
: HOC
并不能完全替代Mixin
,一些场景下,Mixin
可以而HOC
做不到,比如PureRenderMixin
,因为HOC
无法从外部访问子组件的State
,同时通过shouldComponentUpdate
滤掉不必要的更新,因此,React
在支持ES6Class
之后提供了React.PureComponent
来解决这个问题。 -
Ref
传递问题: Ref
被隔断,Ref
的传递问题在层层包装下相当恼人,函数Ref
能够缓解一部分(让HOC
得以获知节点创建与销毁),以致于后来有了React.forwardRef API
。 -
WrapperHell: HOC
泛滥,出现WrapperHell
(没有包一层解决不了的问题,如果有,那就包两层),多层抽象同样增加了复杂度和理解成本,这是最关键的缺陷,而HOC
模式下没有很好的解决办法。
示例
具体而言,高阶组件是参数为组件,返回值为新组件的函数,组件是将props
转换为UI
,而高阶组件是将组件转换为另一个组件。HOC
在React
的第三方库中很常见,例如Redux
的connect
和Relay
的createFragmentContainer
。
在这里要注意,不要试图以任何方式在HOC
中修改组件原型,而应该使用组合的方式,通过将组件包装在容器组件中实现功能。通常情况下,实现高阶组件的方式有以下两种:
- 属性代理
Props Proxy
。 - 反向继承
Inheritance Inversion
。
属性代理
例如我们可以为传入的组件增加一个存储中的id
属性值,通过高阶组件我们就可以为这个组件新增一个props
,当然我们也可以对在JSX
中的WrappedComponent
组件中props
进行操作,注意不是操作传入的WrappedComponent
类,我们不应该直接修改传入的组件,而可以在组合的过程中对其操作。
我们也可以利用高阶组件将新组件的状态装入到被包装组件中,例如我们可以使用高阶组件将非受控组件转化为受控组件。
或者我们的目的是将其使用其他组件包裹起来用以达成布局或者是样式的目的。
反向继承
反向继承是指返回的组件去继承之前的组件,在反向继承中我们可以做非常多的操作,修改state
、props
甚至是翻转Element Tree
,反向继承有一个重要的点,反向继承不能保证完整的子组件树被解析,也就是说解析的元素树中包含了组件(函数类型或者Class
类型),就不能再操作组件的子组件了。
当我们使用反向继承实现高阶组件的时候可以通过渲染劫持来控制渲染,具体是指我们可以有意识地控制WrappedComponent
的渲染过程,从而控制渲染控制的结果,例如我们可以根据部分参数去决定是否渲染组件。
甚至我们可以通过重写的方式劫持原组件的生命周期。
由于实际上是继承关系,我们可以去读取组件的props
和state
,如果有必要的话,甚至可以修改增加、修改和删除props
和state
,当然前提是修改带来的风险需要你自己来控制。在一些情况下,我们可能需要为高阶属性传入一些参数,那我们就可以通过柯里化的形式传入参数,配合高阶组件可以完成对组件的类似于闭包的操作。
注意
不要改变原始组件
不要试图在HOC
中修改组件原型,或以其他方式改变它。
这样做会产生一些不良后果,其一是输入组件再也无法像HOC
增强之前那样使用了,更严重的是,如果你再用另一个同样会修改componentDidUpdate
的HOC
增强它,那么前面的HOC
就会失效,同时这个HOC
也无法应用于没有生命周期的函数组件。
修改传入组件的HOC
是一种糟糕的抽象方式,调用者必须知道他们是如何实现的,以避免与其他HOC
发生冲突。HOC
不应该修改传入组件,而应该使用组合的方式,通过将组件包装在容器组件中实现功能。
过滤props
HOC
为组件添加特性,自身不应该大幅改变约定,HOC
返回的组件与原组件应保持类似的接口。HOC
应该透传与自身无关的props
,大多数HOC
都应该包含一个类似于下面的render
方法。
最大化可组合性
并不是所有的HOC
都一样,有时候它仅接受一个参数,也就是被包裹的组件。
HOC
通常可以接收多个参数,比如在Relay
中HOC
额外接收了一个配置对象用于指定组件的数据依赖。
最常见的HOC
签名如下,connect
是一个返回高阶组件的高阶函数。
这种形式可能看起来令人困惑或不必要,但它有一个有用的属性,像connect
函数返回的单参数HOC
具有签名Component => Component
,输出类型与输入类型相同的函数很容易组合在一起。同样的属性也允许connect
和其他HOC
承担装饰器的角色。此外许多第三方库都提供了compose
工具函数,包括lodash
、Redux
和Ramda
。
不要在render方法中使用HOC
React
的diff
算法使用组件标识来确定它是应该更新现有子树还是将其丢弃并挂载新子树,如果从render
返回的组件与前一个渲染中的组件相同===
,则React
通过将子树与新子树进行区分来递归更新子树,如果它们不相等,则完全卸载前一个子树。
通常在使用的时候不需要考虑这点,但对HOC
来说这一点很重要,因为这代表着你不应在组件的render
方法中对一个组件应用HOC
。
这不仅仅是性能问题,重新挂载组件会导致该组件及其所有子组件的状态丢失,如果在组件之外创建HOC
,这样一来组件只会创建一次。因此每次render
时都会是同一个组件,一般来说,这跟你的预期表现是一致的。在极少数情况下,你需要动态调用HOC
,你可以在组件的生命周期方法或其构造函数中进行调用。
务必复制静态方法
有时在React
组件上定义静态方法很有用,例如Relay
容器暴露了一个静态方法getFragment
以方便组合GraphQL
片段。但是当你将HOC
应用于组件时,原始组件将使用容器组件进行包装,这意味着新组件没有原始组件的任何静态方法。
为了解决这个问题,你可以在返回之前把这些方法拷贝到容器组件上。
但要这样做,你需要知道哪些方法应该被拷贝,你可以使用hoist-non-react-statics
依赖自动拷贝所有非React
静态方法。
除了导出组件,另一个可行的方案是再额外导出这个静态方法。
Refs不会被传递
虽然高阶组件的约定是将所有props
传递给被包装组件,但这对于refs
并不适用,那是因为ref
实际上并不是一个prop
,就像key
一样,它是由React
专门处理的。如果将ref
添加到HOC
的返回组件中,则ref
引用指向容器组件,而不是被包装组件,这个问题可以通过React.forwardRef
这个API
明确地将refs
转发到内部的组件。。
Render Props
与HOC
一样,Render Props
也是一直以来都存在的元老级模式,render props
指在一种React
组件之间使用一个值为函数的props
共享代码的简单技术,具有render props
的组件接收一个函数,该函数返回一个React
元素并调用它而不是实现一个自己的渲染逻辑,render props
是一个用于告知组件需要渲染什么内容的函数props
,也是组件逻辑复用的一种实现方式,简单来说就是在被复用的组件中,通过一个名为render
(属性名也可以不是render
,只要值是一个函数即可)的prop
属性,该属性是一个函数,这个函数接受一个对象并返回一个子组件,会将这个函数参数中的对象作为props
传入给新生成的组件,而在使用调用者组件这里,只需要决定这个组件在哪里渲染以及该以何种逻辑渲染并传入相关对象即可。
对比HOC
与Render Props
,技术上,二者都基于组件组合机制,Render Props
拥有与HOC
一样的扩展能力,称之为Render Props
,并不是说只能用来复用渲染逻辑,而是表示在这种模式下,组件是通过render
()组合起来的,类似于HOC
模式下通过Wrapper
的render
()建立组合关系形式上,二者非常相像,同样都会产生一层Wrapper
,而实际上Render Props
与HOC
甚至能够相互转换。
同样,Render Props
也会存在一些问题:
- 数据流向更直观了,子孙组件可以很明确地看到数据来源,但本质上
Render Props
是基于闭包实现的,大量地用于组件的复用将不可避免地引入了callback hell
问题。 - 丢失了组件的上下文,因此没有
this.props
属性,不能像HOC
那样访问this.props.children
。
示例
Hooks
代码复用的解决方案层出不穷,但是整体来说代码复用还是很复杂的,这其中很大一部分原因在于细粒度代码复用不应该与组件复用捆绑在一起,HOC
、Render Props
等基于组件组合的方案,相当于先把要复用的逻辑包装成组件,再利用组件复用机制实现逻辑复用,自然就受限于组件复用,因而出现扩展能力受限、Ref
隔断、Wrapper Hell
等问题,那么我们就需要有一种简单直接的代码复用方式,函数,将可复用逻辑抽离成函数应该是最直接、成本最低的代码复用方式,但对于状态逻辑,仍然需要通过一些抽象模式(如Observable
)才能实现复用,这正是Hooks
的思路,将函数作为最小的代码复用单元,同时内置一些模式以简化状态逻辑的复用。比起上面提到的其它方案,Hooks
让组件内逻辑复用不再与组件复用捆绑在一起,是真正在从下层去尝试解决(组件间)细粒度逻辑的复用问题此外,这种声明式逻辑复用方案将组件间的显式数据流与组合思想进一步延伸到了组件内。
当然Hooks
也并非完美,只是就目前而言,其缺点如下:
- 额外的学习成本,主要在于
Functional Component
与Class Component
之间的比较上。 - 写法上有限制(不能出现在条件、循环中),并且写法限制增加了重构成本。
- 破坏了
PureComponent
、React.memo
浅比较的性能优化效果,为了取最新的props
和state
,每次render
()都要重新创建事件处函数。 - 在闭包场景可能会引用到旧的
state
、props
值。 - 内部实现上不直观,依赖一份可变的全局状态,不再那么
pure
。 -
React.memo
并不能完全替代shouldComponentUpdate
(因为拿不到state change
,只针对props change
)。 -
useState API
设计上不太完美。
示例
每日一题
参考