前端发展速度非常之快,页面和组件变得越来越复杂,如何更好的实现状态逻辑复用
一直都是应用程序中重要的一部分,这直接关系着应用程序的质量以及维护的难易程度。
本文介绍了React
采用的三种实现状态逻辑复用
的技术,并分析了他们的实现原理、使用方法、实际应用以及如何选择使用他们。
本文略长,下面是本文的思维导图,您可以从头开始阅读,也可以选择感兴趣的部分阅读:
Mixin设计模式
Mixin
(混入)是一种通过扩展收集功能的方式,它本质上是将一个对象的属性拷贝到另一个对象上面去,不过你可以拷贝任意多
个对象的任意个
方法到一个新对象上去,这是继承
所不能实现的。它的出现主要就是为了解决代码复用问题。
很多开源库提供了Mixin
的实现,如Underscore
的_.extend
方法、JQuery
的extend
方法。
使用_.extend
方法实现代码复用:
1 | var LogMixin = { |
我们可以尝试手动写一个简单的Mixin
方法:
1 | function setMixin(target, mixin) { |
您可以使用setMixin
方法将任意对象的任意方法扩展到目标对象上。
React中应用Mixin
React
也提供了Mixin
的实现,如果完全不同的组件有相似的功能,我们可以引入来实现代码复用,当然只有在使用createClass
来创建React
组件时才可以使用,因为在React
组件的es6
写法中它已经被废弃掉了。
例如下面的例子,很多组件或页面都需要记录用户行为,性能指标等。如果我们在每个组件都引入写日志的逻辑,会产生大量重复代码,通过Mixin
我们可以解决这一问题:
1 | var LogMixin = { |
Mixin带来的危害
React
官方文档在Mixins Considered Harmful一文中提到了Mixin
带来了危害:
Mixin
可能会相互依赖,相互耦合,不利于代码维护- 不同的
Mixin
中的方法可能会相互冲突 Mixin
非常多时,组件是可以感知到的,甚至还要为其做相关处理,这样会给代码造成滚雪球式的复杂性
React
现在已经不再推荐使用Mixin
来解决代码复用问题,因为Mixin
带来的危害比他产生的价值还要巨大,并且React
全面推荐使用高阶组件来替代它。另外,高阶组件还能实现更多其他更强大的功能,在学习高阶组件之前,我们先来看一个设计模式。
装饰模式
装饰者(decorator
)模式能够在不改变对象自身的基础上,在程序运行期间给对像动态的添加职责。与继承相比,装饰者是一种更轻便灵活的做法。
高阶组件(HOC)
高阶组件可以看作React
对装饰模式的一种实现,高阶组件就是一个函数,且该函数接受一个组件作为参数,并返回一个新的组件。
高阶组件(
HOC
)是React
中的高级技术,用来重用组件逻辑。但高阶组件本身并不是React API
。它只是一种模式,这种模式是由React
自身的组合性质必然产生的。
1 | function visible(WrappedComponent) { |
上面的代码就是一个HOC
的简单应用,函数接收一个组件作为参数,并返回一个新组件,新组建可以接收一个visible props
,根据visible
的值来判断是否渲染Visible。
下面我们从以下几方面来具体探索HOC
。
HOC的实现方式
属性代理
函数返回一个我们自己定义的组件,然后在render
中返回要包裹的组件,这样我们就可以代理所有传入的props
,并且决定如何渲染,实际上 ,这种方式生成的高阶组件就是原组件的父组件,上面的函数visible
就是一个HOC
属性代理的实现方式。
1 | function proxyHOC(WrappedComponent) { |
对比原生组件增强的项:
- 可操作所有传入的
props
- 可操作组件的生命周期
- 可操作组件的
static
方法 - 获取
refs
反向继承
返回一个组件,继承原组件,在render
中调用原组件的render
。由于继承了原组件,能通过this访问到原组件的生命周期、props、state、render
等,相比属性代理它能操作更多的属性。
1 | function inheritHOC(WrappedComponent) { |
对比原生组件增强的项:
- 可操作所有传入的
props
- 可操作组件的生命周期
- 可操作组件的
static
方法 - 获取
refs
- 可操作
state
- 可以渲染劫持
HOC可以实现什么功能
组合渲染
可使用任何其他组件和原组件进行组合渲染,达到样式、布局复用等效果。
通过属性代理实现
1 | function stylHOC(WrappedComponent) { |
通过反向继承实现
1 | function styleHOC(WrappedComponent) { |
条件渲染
根据特定的属性决定原组件是否渲染
通过属性代理实现
1 | function visibleHOC(WrappedComponent) { |
通过反向继承实现
1 | function visibleHOC(WrappedComponent) { |
操作props
可以对传入组件的props
进行增加、修改、删除或者根据特定的props
进行特殊的操作。
通过属性代理实现
1 | function proxyHOC(WrappedComponent) { |
获取refs
高阶组件中可获取原组件的ref
,通过ref
获取组件实力,如下面的代码,当程序初始化完成后调用原组件的log方法。(不知道refs怎么用,请👇Refs & DOM)
通过属性代理实现
1 | function refHOC(WrappedComponent) { |
这里注意:调用高阶组件的时候并不能获取到原组件的真实ref
,需要手动进行传递,具体请看传递refs
状态管理
将原组件的状态提取到HOC
中进行管理,如下面的代码,我们将Input
的value
提取到HOC
中进行管理,使它变成受控组件,同时不影响它使用onChange
方法进行一些其他操作。基于这种方式,我们可以实现一个简单的双向绑定
,具体请看双向绑定。
通过属性代理实现
1 | function proxyHoc(WrappedComponent) { |
操作state
上面的例子通过属性代理利用HOC的state对原组件进行了一定的增强,但并不能直接控制原组件的state
,而通过反向继承,我们可以直接操作原组件的state
。但是并不推荐直接修改或添加原组件的state
,因为这样有可能和组件内部的操作构成冲突。
通过反向继承实现
1 | function debugHOC(WrappedComponent) { |
上面的HOC
在render
中将props
和state
打印出来,可以用作调试阶段,当然你可以在里面写更多的调试代码。想象一下,只需要在我们想要调试的组件上加上@debug
就可以对该组件进行调试,而不需要在每次调试的时候写很多冗余代码。(如果你还不知道怎么使用HOC,请👇如何使用HOC)
渲染劫持
高阶组件可以在render函数中做非常多的操作,从而控制原组件的渲染输出。只要改变了原组件的渲染,我们都将它称之为一种渲染劫持
。
实际上,上面的组合渲染和条件渲染都是渲染劫持
的一种,通过反向继承,不仅可以实现以上两点,还可直接增强
由原组件render
函数产生的React元素
。
通过反向继承实现
1 | function hijackHOC(WrappedComponent) { |
注意上面的说明我用的是增强
而不是更改
。render
函数内实际上是调用React.creatElement
产生的React元素
:
虽然我们能拿到它,但是我们不能直接修改它里面的属性,我们通过getOwnPropertyDescriptors
函数来打印下它的配置项:
可以发现,所有的writable
属性均被配置为了false
,即所有属性是不可变的。(对这些配置项有疑问,请👇defineProperty)
不能直接修改,我们可以借助cloneElement
方法来在原组件的基础上增强一个新组件:
React.cloneElement()
克隆并返回一个新的React元素
,使用element
作为起点。生成的元素将会拥有原始元素props与新props的浅合并。新的子级会替换现有的子级。来自原始元素的 key 和 ref 将会保留。
React.cloneElement()
几乎相当于:
1 | <element.type {...element.props} {...props}>{children}</element.type> |
如何使用HOC
上面的示例代码都写的是如何声明一个HOC
,HOC
实际上是一个函数,所以我们将要增强的组件作为参数调用HOC
函数,得到增强后的组件。
1 | class myComponent extends Component { |
compose
在实际应用中,一个组件可能被多个HOC
增强,我们使用的是被所有的HOC
增强后的组件,借用一张装饰模式
的图来说明,可能更容易理解:
假设现在我们有logger
,visible
,style
等多个HOC
,现在要同时增强一个Input
组件:
1 | logger(visible(style(Input))) |
这种代码非常的难以阅读,我们可以手动封装一个简单的函数组合工具,将写法改写如下:
1 | const compose = (...fns) => fns.reduce((f, g) => (...args) => g(f(...args))); |
compose
函数返回一个所有函数组合后的函数,compose(f, g, h)
和 (...args) => f(g(h(...args)))
是一样的。
很多第三方库都提供了类似compose
的函数,例如lodash.flowRight
,Redux
提供的combineReducers
函数等。
Decorators
我们还可以借助ES7
为我们提供的Decorators
来让我们的写法变的更加优雅:
1 | @logger |
Decorators
是ES7
的一个提案,还没有被标准化,但目前Babel
转码器已经支持,我们需要提前配置babel-plugin-transform-decorators-legacy
:
1 | "plugins": ["transform-decorators-legacy"] |
还可以结合上面的compose
函数使用:
1 | const hoc = compose(logger, visible, style); |
HOC的实际应用
下面是一些我在生产环境中实际对HOC
的实际应用场景,由于文章篇幅原因,代码经过很多简化,如有问题欢迎在评论区指出:
日志打点
实际上这属于一类最常见的应用,多个组件拥有类似的逻辑,我们要对重复的逻辑进行复用,
官方文档中CommentList
的示例也是解决了代码复用问题,写的很详细,有兴趣可以👇使用高阶组件(HOC)解决横切关注点。
某些页面需要记录用户行为,性能指标等等,通过高阶组件做这些事情可以省去很多重复代码。
1 | function logHoc(WrappedComponent) { |
可用、权限控制
1 | function auth(WrappedComponent) { |
authList
是我们在进入程序时向后端请求的所有权限列表,当组件所需要的权限不列表中,或者设置的visible
是false
,我们将其显示为传入的组件样式,或者null
。我们可以将任何需要进行权限校验的组件应用HOC
:
1 | @auth |
双向绑定
在vue
中,绑定一个变量后可实现双向数据绑定,即表单中的值改变后绑定的变量也会自动改变。而React
中没有做这样的处理,在默认情况下,表单元素都是非受控组件
。给表单元素绑定一个状态后,往往需要手动书写onChange
方法来将其改写为受控组件
,在表单元素非常多的情况下这些重复操作是非常痛苦的。
我们可以借助高阶组件来实现一个简单的双向绑定,代码略长,可以结合下面的思维导图进行理解。
首先我们自定义一个Form
组件,该组件用于包裹所有需要包裹的表单组件,通过contex
向子组件暴露两个属性:
model
:当前Form
管控的所有数据,由表单name
和value
组成,如{name:'ConardLi',pwd:'123'}
。model
可由外部传入,也可自行管控。changeModel
:改变model
中某个name
的值。
1 |
|
下面定义用于双向绑定的HOC
,其代理了表单的onChange
属性和value
属性:
- 发生
onChange
事件时调用上层Form
的changeModel
方法来改变context
中的model
。 - 在渲染时将
value
改为从context
中取出的值。
1 | function proxyHoc(WrappedComponent) { |
上面的代码只是简略的一部分,除了input
,我们还可以将HOC
应用在select
等其他表单组件,甚至还可以将上面的HOC
兼容到span、table
等展示组件,这样做可以大大简化代码,让我们省去了很多状态管理的工作,使用如下:
1 | export default class extends Component { |
表单校验
基于上面的双向绑定的例子,我们再来一个表单验证器,表单验证器可以包含验证函数以及提示信息,当验证不通过时,展示错误信息:
1 | function validateHoc(WrappedComponent) { |
1 | const validatorName = { |
当然,还可以在Form
提交的时候判断所有验证器是否通过,验证器也可以设置为数组等等,由于文章篇幅原因,代码被简化了很多,有兴趣的同学可以自己实现。
Redux的connect
redux中的connect
,其实就是一个HOC
,下面就是一个简化版的connect
实现:
1 | export const connect = (mapStateToProps, mapDispatchToProps) => (WrappedComponent) => { |
代码非常清晰,connect
函数其实就做了一件事,将mapStateToProps
和mapDispatchToProps
分别解构后传给原组件,这样我们在原组件内就可以直接用props
获取state
以及dispatch
函数了。
使用HOC的注意事项
告诫—静态属性拷贝
当我们应用HOC
去增强另一个组件时,我们实际使用的组件已经不是原组件了,所以我们拿不到原组件的任何静态属性,我们可以在HOC
的结尾手动拷贝他们:
1 | function proxyHOC(WrappedComponent) { |
如果原组件有非常多的静态属性,这个过程是非常痛苦的,而且你需要去了解需要增强的所有组件的静态属性是什么,我们可以使用hoist-non-react-statics
来帮助我们解决这个问题,它可以自动帮我们拷贝所有非React
的静态方法,使用方式如下:
1 | import hoistNonReactStatic from 'hoist-non-react-statics'; |
告诫—传递refs
使用高阶组件后,获取到的ref
实际上是最外层的容器组件,而非原组件,但是很多情况下我们需要用到原组件的ref
。
高阶组件并不能像透传props
那样将refs
透传,我们可以用一个回调函数来完成ref
的传递:
1 | function hoc(WrappedComponent) { |
React 16.3
版本提供了一个forwardRef API
来帮助我们进行refs
传递,这样我们在高阶组件上获取的ref
就是原组件的ref
了,而不需要再手动传递,如果你的React
版本大于16.3
,可以使用下面的方式:
1 | function hoc(WrappedComponent) { |
告诫—不要在render方法内创建高阶组件
React
Diff
算法的原则是:
- 使用组件标识确定是卸载还是更新组件
- 如果组件的和前一次渲染时标识是相同的,递归更新子组件
- 如果标识不同卸载组件重新挂载新组件
每次调用高阶组件生成的都是是一个全新的组件,组件的唯一标识响应的也会改变,如果在render
方法调用了高阶组件,这会导致组件每次都会被卸载后重新挂载。
约定-不要改变原始组件
官方文档对高阶组件的说明:
高阶组件就是一个没有副作用的纯函数。
我们再来看看纯函数的定义:
如果函数的调用参数相同,则永远返回相同的结果。它不依赖于程序执行期间函数外部任何状态或数据的变化,必须只依赖于其输入参数。
该函数不会产生任何可观察的副作用,例如网络请求,输入和输出设备或数据突变。
如果我们在高阶组件对原组件进行了修改,例如下面的代码:
1 | InputComponent.prototype.componentWillReceiveProps = function(nextProps) { ... } |
这样就破坏了我们对高阶组件的约定,同时也改变了使用高阶组件的初衷:我们使用高阶组件是为了增强
而非改变
原组件。
约定-透传不相关的props
使用高阶组件,我们可以代理所有的props
,但往往特定的HOC
只会用到其中的一个或几个props
。我们需要把其他不相关的props
透传给原组件,如下面的代码:
1 | function visible(WrappedComponent) { |
我们只使用visible
属性来控制组件的显示可隐藏,把其他props
透传下去。
约定-displayName
在使用React Developer Tools
进行调试时,如果我们使用了HOC
,调试界面可能变得非常难以阅读,如下面的代码:
1 | @visible |
为了方便调试,我们可以手动为HOC
指定一个displayName
,官方推荐使用HOCName(WrappedComponentName)
:
1 | static displayName = `Visible(${WrappedComponent.displayName})` |
这个约定帮助确保高阶组件最大程度的灵活性和可重用性。
使用HOC的动机
回顾下上文提到的 Mixin
带来的风险:
Mixin
可能会相互依赖,相互耦合,不利于代码维护- 不同的
Mixin
中的方法可能会相互冲突 Mixin
非常多时,组件是可以感知到的,甚至还要为其做相关处理,这样会给代码造成滚雪球式的复杂性
而HOC
的出现可以解决这些问题:
- 高阶组件就是一个没有副作用的纯函数,各个高阶组件不会互相依赖耦合
- 高阶组件也有可能造成冲突,但我们可以在遵守约定的情况下避免这些行为
- 高阶组件并不关心数据使用的方式和原因,而被包裹的组件也不关心数据来自何处。高阶组件的增加不会为原组件增加负担
HOC的缺陷
HOC
需要在原组件上进行包裹或者嵌套,如果大量使用HOC
,将会产生非常多的嵌套,这让调试变得非常困难。HOC
可以劫持props
,在不遵守约定的情况下也可能造成冲突。
Hooks
Hooks
是React v16.7.0-alpha
中加入的新特性。它可以让你在class
以外使用state
和其他React
特性。
使用Hooks
,你可以在将含有state
的逻辑从组件中抽象出来,这将可以让这些逻辑容易被测试。同时,Hooks
可以帮助你在不重写组件结构的情况下复用这些逻辑。所以,它也可以作为一种实现状态逻辑复用
的方案。
阅读下面的章节使用Hook的动机你可以发现,它可以同时解决Mixin
和HOC
带来的问题。
官方提供的Hooks
State Hook
我们要使用class
组件实现一个计数器
功能,我们可能会这样写:
1 | export default class Count extends Component { |
通过useState
,我们使用函数式组件也能实现这样的功能:
1 | export default function HookTest() { |
useState
是一个钩子,他可以为函数式组件增加一些状态,并且提供改变这些状态的函数,同时它接收一个参数,这个参数作为状态的默认值。
Effect Hook
Effect Hook 可以让你在函数组件中执行一些具有 side effect(副作用)的操作
参数
useEffect
方法接收传入两个参数:
- 1.回调函数:在第组件一次
render
和之后的每次update
后运行,React
保证在DOM
已经更新完成之后才会运行回调。 - 2.状态依赖(数组):当配置了状态依赖项后,只有检测到配置的状态变化时,才会调用回调函数。
1 | useEffect(() => { |
回调返回值
useEffect
的第一个参数可以返回一个函数,当页面渲染了下一次更新的结果后,执行下一次useEffect
之前,会调用这个函数。这个函数常常用来对上一次调用useEffect
进行清理。
1 | export default function HookTest() { |
执行上面的代码,并点击几次按钮,会得到下面的结果:
注意,如果加上浏览器渲染的情况,结果应该是这样的:
1 | 页面渲染...1 |
那么为什么在浏览器渲染完后,再执行清理的方法还能找到上次的state
呢?原因很简单,我们在useEffect
中返回的是一个函数,这形成了一个闭包,这能保证我们上一次执行函数存储的变量不被销毁和污染。
你可以尝试下面的代码可能更好理解
1 | var flag = 1; |
模拟componentDidMount
componentDidMount
等价于useEffect
的回调仅在页面初始化完成后执行一次,当useEffect
的第二个参数传入一个空数组时可以实现这个效果。
1 | function useDidMount(callback) { |
官方不推荐上面这种写法,因为这有可能导致一些错误。
模拟componentWillUnmount
1 | function useUnMount(callback) { |
不像 componentDidMount 或者 componentDidUpdate,useEffect 中使用的 effect 并不会阻滞浏览器渲染页面。这让你的 app 看起来更加流畅。
ref Hook
使用useRef Hook
,你可以轻松的获取到dom
的ref
。
1 | export default function Input() { |
注意useRef()
并不仅仅可以用来当作获取ref
使用,使用useRef
产生的ref
的current
属性是可变的,这意味着你可以用它来保存一个任意值。
模拟componentDidUpdate
componentDidUpdate
就相当于除去第一次调用的useEffect
,我们可以借助useRef
生成一个标识,来记录是否为第一次执行:
1 | function useDidUpdate(callback, prop) { |
使用Hook的注意事项
使用范围
- 只能在
React
函数式组件或自定义Hook
中使用Hook
。
Hook
的提出主要就是为了解决class
组件的一系列问题,所以我们能在class
组件中使用它。
声明约束
- 不要在循环,条件或嵌套函数中调用Hook。
Hook
通过数组实现的,每次 useState
都会改变下标,React
需要利用调用顺序来正确更新相应的状态,如果 useState
被包裹循环或条件语句中,那每就可能会引起调用顺序的错乱,从而造成意想不到的错误。
我们可以安装一个eslint
插件来帮助我们避免这些问题。
1 | // 安装 |
自定义Hook
像上面介绍的HOC
和mixin
一样,我们同样可以通过自定义的Hook
将组件中类似的状态逻辑抽取出来。
自定义Hook
非常简单,我们只需要定义一个函数,并且把相应需要的状态和effect
封装进去,同时,Hook
之间也是可以相互引用的。使用use
开头命名自定义Hook
,这样可以方便eslint
进行检查。
下面我们看几个具体的Hook
封装:
日志打点
我们可以使用上面封装的生命周期Hook
。
1 | const useLogger = (componentName, ...params) => { |
修改title
根据不同的页面名称修改页面title
:
1 | function useTitle(title) { |
双向绑定
我们将表单onChange
的逻辑抽取出来封装成一个Hook
,这样所有需要进行双向绑定的表单组件都可以进行复用:
1 | function useBind(init) { |
当然,你可以向上面的HOC
那样,结合context
和form
来封装一个更通用的双向绑定,有兴趣可以手动实现一下。
使用Hook的动机
减少状态逻辑复用的风险
Hook
和Mixin
在用法上有一定的相似之处,但是Mixin
引入的逻辑和状态是可以相互覆盖的,而多个Hook
之间互不影响,这让我们不需要在把一部分精力放在防止避免逻辑复用的冲突上。
在不遵守约定的情况下使用HOC
也有可能带来一定冲突,比如props
覆盖等等,使用Hook
则可以避免这些问题。
避免地狱式嵌套
大量使用HOC
的情况下让我们的代码变得嵌套层级非常深,使用Hook
,我们可以实现扁平式的状态逻辑复用,而避免了大量的组件嵌套。
让组件更容易理解
在使用class
组件构建我们的程序时,他们各自拥有自己的状态,业务逻辑的复杂使这些组件变得越来越庞大,各个生命周期中会调用越来越多的逻辑,越来越难以维护。使用Hook
,可以让你更大限度的将公用逻辑抽离,将一个组件分割成更小的函数,而不是强制基于生命周期方法进行分割。
使用函数代替class
相比函数,编写一个class
可能需要掌握更多的知识,需要注意的点也越多,比如this
指向、绑定事件等等。另外,计算机理解一个函数比理解一个class
更快。Hooks
让你可以在classes
之外使用更多React
的新特性。
理性的选择
实际上,Hook
在react 16.8.0
才正式发布Hook
稳定版本,笔者也还未在生产环境下使用,目前笔者在生产环境下使用的最多的是HOC
。
React
官方完全没有把classes
从React
中移除的打算,class
组件和Hook
完全可以同时存在,官方也建议避免任何“大范围重构”,毕竟这是一个非常新的版本,如果你喜欢它,可以在新的非关键性的代码中使用Hook
。
小结
mixin
已被抛弃,HOC
正当壮年,Hook
初露锋芒,前端圈就是这样,技术迭代速度非常之快,但我们在学习这些知识之时一定要明白为什么要学,学了有没有用,要不要用。不忘初心,方得始终。
文中如有错误,欢迎在评论区指正,谢谢阅读。
推荐阅读
如果你想加入高质量前端交流群,或者你有任何其他事情想和我交流也可以添加我的个人微信 ConardLi 。