React Hooks 完全指南,读React作者博文感悟(2W字精华)
阅读 facebook大佬:Dan Abramov 的文章颇有感悟
大佬 github地址 https://github.com/gaearon
重点总结
useEffect
是同步的- 状态是捕获的当前
props
和state
- 可以通过
useRef
获取改变后的props
和state
- 依赖项
[]
不能欺骗 - 复杂的状态变化应该使用
useReducer
- 可以使用
useCallback
设置依赖 - 可以使用
useMemo
让复杂对象做动态改变
但有时候当你使用
useEffect你总觉得哪儿有点不对劲。你会嘀咕你可能遗漏了什么。它看起来像class的生命周期...但真的是这样吗?你发觉自己在问类似下面的这些问题:
- 🤔 如何用
useEffect
模拟componentDidMount
生命周期? - 🤔 如何正确地在
useEffect
里请求数据?[]
又是什么? - 🤔 我应该把函数当做effect的依赖吗?
- 🤔 为什么有时候会出现无限重复请求的问题?
- 🤔 为什么有时候在effect里拿到的是旧的state或prop?
当我不再透过熟悉的class生命周期方法去窥视 useEffect
这个Hook的时候,我才得以融会贯通。
"忘记你已经学到的。" — Yoda
摘要
如果你打算阅读整篇文章,你完全可以跳过这部分。我会在文章末尾带上摘要的链接。
🤔 Question: 如何用 useEffect
模拟 componentDidMount
生命周期?
虽然可以使用
useEffect(fn, []),但它们并不完全相等。和
componentDidMount不一样,
useEffect会 捕获 props和state。所以即便在回调函数里,你拿到的还是初始的props和state。如果你想得到"最新"的值,你可以使用ref。不过,通常会有更简单的实现方式,所以你并不一定要用ref。记住,effects的心智模型和
componentDidMount以及其他生命周期是不同的,试图找到它们之间完全一致的表达反而更容易使你混淆。想要更有效,你需要"think in effects",它的心智模型更接近于实现状态同步,而不是响应生命周期事件。
🤔 Question: 如何正确地在 useEffect
里请求数据? []
又是什么?
这篇文章 是很好的入门,介绍了如何在
useEffect里做数据请求。请务必读完它!它没有我的这篇这么长。
[]表示effect没有使用任何React数据流里的值,因此该effect仅被调用一次是安全的。
[]同样也是一类常见问题的来源,也即你以为没使用数据流里的值但其实使用了。你需要学习一些策略(主要是
useReducer和
useCallback)来移除这些effect依赖,而不是错误地忽略它们。
🤔 Question: 我应该把函数当做effect的依赖吗?
一般建议把不依赖props和state的函数提到你的组件外面,并且把那些仅被effect使用的函数放到effect里面。如果这样做了以后,你的effect还是需要用到组件内的函数(包括通过props传进来的函数),可以在定义它们的地方用
useCallback包一层。为什么要这样做呢?因为这些函数可以访问到props和state,因此它们会参与到数据流中。我们官网的FAQ有更详细的答案。
🤔 Question: 为什么有时候会出现无限重复请求的问题?
这个通常发生于你在effect里做数据请求并且没有设置effect依赖参数的情况。没有设置依赖,effect会在每次渲染后执行一次,然后在effect中更新了状态引起渲染并再次触发effect。无限循环的发生也可能是因为你设置的依赖总是会改变。你可以通过一个一个移除的方式排查出哪个依赖导致了问题。但是,移除你使用的依赖(或者盲目地使用
[])通常是一种错误的解决方式。你应该做的是解决问题的根源。举个例子,函数可能会导致这个问题,你可以把它们放到effect里,或者提到组件外面,或者用
useCallback包一层。
useMemo可以做类似的事情以避免重复生成对象。
🤔 为什么有时候在effect里拿到的是旧的state或prop呢?
Effect拿到的总是定义它的那次渲染中的props和state。这能够避免一些bugs,但在一些场景中又会有些讨人嫌。对于这些场景,你可以明确地使用可变的ref保存一些值(上面文章的末尾解释了这一点)。如果你觉得在渲染中拿到了一些旧的props和state,且不是你想要的,你很可能遗漏了一些依赖。可以尝试使用这个lint 规则来训练你发现这些依赖。可能没过几天,这种能力会变得像是你的第二天性。同样可以看我们官网FAQ中的这个回答。
我希望这个摘要对你有所帮助!要不,我们开始正文。
每一次渲染都有它自己的 Props and State
在我们讨论effects之前,我们需要先讨论一下渲染(rendering)。
我们来看一个计数器组件Counter:
function Counter() { const [count, setCount] = useState(0); return ( <div> <p>You clicked {count} times </p> <button onClick={() => setCount(count + 1)}> Click me </button> </div> ); }
高亮的代码究竟是什么意思呢?
count会"监听"状态的变化并自动更新吗?这么想可能是学习React的时候有用的第一直觉,但它并不是精确的心智模型。
上面例子中, count
仅是一个数字而已。它不是神奇的"data binding", "watcher", "proxy",或者其他任何东西。它就是一个普通的数字像下面这个一样:
const count = 42; <p>You clicked {count} times </p>
我们的组件第一次渲染的时候,从
useState()拿到
count的初始值
0。当我们调用
setCount(1),React会再次渲染组件,这一次
count是
1。如此等等:
function Counter() { const count = 0; <p>You clicked {count} times</p> } function Counter() { const count = 1; <p>You clicked {count} times</p> } function Counter() { const count = 2; <p>You clicked {count} times</p> }
当我们更新状态的时候,React会重新渲染组件。每一次渲染都能拿到独立的 count
状态,这个状态值是函数中的一个常量。
所以下面的这行代码没有做任何特殊的数据绑定:
<p>You clicked {count} times</p>
它仅仅只是在渲染输出中插入了count这个数字。这个数字由React提供。当
setCount的时候,React会带着一个不同的
count值再次调用组件。然后,React会更新DOM以保持和渲染输出一致。
这里关键的点在于任意一次渲染中的
count常量都不会随着时间改变。渲染输出会变是因为我们的组件被一次次调用,而每一次调用引起的渲染中,它包含的
count值独立于其他渲染。
(关于这个过程更深入的探讨可以查看我的另一篇文章React as a UI Runtime 。)
每一次渲染都有它自己的事件处理函数
到目前为止一切都还好。那么事件处理函数呢?
看下面的这个例子。它在三秒后会alert点击次数
count:
function Counter() { const [count, setCount] = useState(0); function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + count); }, 3000); } return ( <div> <p>You clicked {count} times</p> <button onClick={() => setCount(count + 1)}> Click me </button> <button onClick={handleAlertClick}>Show alert</button> </div> ); }
如果我按照下面的步骤去操作:
- 点击增加counter到3
- 点击一下 "Show alert"
- 点击增加 counter到5并且在定时器回调触发前完成
来自己 试试吧!
这篇文章深入探索了个中缘由。正确的答案就是 3 。alert会"捕获"我点击按钮时候的状态。
(虽然有其他办法可以实现不同的行为,但现在我会专注于这个默认的场景。当我们在构建一种心智模型的时候,在可选的策略中分辨出"最小阻力路径"是非常重要的。)
但它究竟是如何工作的呢?
我们发现
count在每一次函数调用中都是一个常量值。值得强调的是 — 我们的组件函数每次渲染都会被调用,但是每一次调用中
count值都是常量,并且它被赋予了当前渲染中的状态值。
这并不是React特有的,普通的函数也有类似的行为:
function sayHi(person) { const name = person.name; setTimeout(() => { alert('Hello, ' + name); }, 3000); } let someone = {name: 'Dan'}; sayHi(someone); someone = {name: 'Yuzhi'}; sayHi(someone); someone = {name: 'Dominic'}; sayHi(someone);
在 这个例子中, 外层的
someone会被赋值很多次(就像在React中, _当前_的组件状态会改变一样)。 然后,在
sayHi函数中,局部常量
name会和某次调用中的
person关联。因为这个常量是局部的,所以每一次调用都是相互独立的。结果就是,当定时器回调触发的时候,每一个alert都会弹出它拥有的
name。
这就解释了我们的事件处理函数如何捕获了点击时候的
count值。如果我们应用相同的替换原理,每一次渲染"看到"的是它自己的
count:
function Counter() { const count = 0; function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + count); }, 3000); } } function Counter() { const count = 1; function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + count); }, 3000); } } function Counter() { const count = 2; function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + count); }, 3000); } }
所以实际上,每一次渲染都有一个"新版本"的
handleAlertClick。每一个版本的
handleAlertClick"记住" 了它自己的
count:
function Counter() { function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + 0); }, 3000); } <button onClick={handleAlertClick} /> } function Counter() { function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + 1); }, 3000); } <button onClick={handleAlertClick} /> } function Counter() { function handleAlertClick() { setTimeout(() => { alert('You clicked on: ' + 2); }, 3000); } <button onClick={handleAlertClick} /> }
这就是为什么在这个demo中中,事件处理函数"属于"某一次特定的渲染,当你点击的时候,它会使用那次渲染中
counter的状态值。
在任意一次渲染中,props和state是始终保持不变的。如果props和state在不同的渲染中是相互独立的,那么使用到它们的任何值也是独立的(包括事件处理函数)。它们都"属于"一次特定的渲染。即便是事件处理中的异步函数调用"看到"的也是这次渲染中的
count值。
备注:上面我将具体的
count值直接内联到了
handleAlertClick函数中。这种心智上的替换是安全的因为
count值在某次特定渲染中不可能被改变。它被声明成了一个常量并且是一个数字。这样去思考其他类型的值比如对象也同样是安全的,当然需要在我们都同意应该避免直接修改state这个前提下。通过调用
setSomething(newObj)的方式去生成一个新的对象而不是直接修改它是更好的选择,因为这样能保证之前渲染中的state不会被污染。
每次渲染都有它自己的Effects
function Counter() { const [count, setCount] = useState(0); useEffect(() => { document.title = `You clicked ${count} times`; }); return ( <div> <p>You clicked {count} times </p> <button onClick={() => setCount(count + 1)}> Click me </button> </div> ); }
抛一个问题给你:effect是如何读取到最新的 count
状态值的呢?
也许,是某种"data binding"或"watching"机制使得
count能够在effect函数内更新?也或许
count是一个可变的值,React会在我们组件内部修改它以使我们的effect函数总能拿到最新的值?
都不是。
我们已经知道
count是某个特定渲染中的常量。事件处理函数"看到"的是属于它那次特定渲染中的
count状态值。对于effects也同样如此:
并不是 count
的值在"不变"的effect中发生了改变,而是 effect 函数本身 在每一次渲染中都不相同。
每一个effect版本"看到"的
count值都来自于它属于的那次渲染:
function Counter() { useEffect( () => { document.title = `You clicked ${0} times`; } ); } function Counter() { useEffect( () => { document.title = `You clicked ${1} times`; } ); } function Counter() { useEffect( () => { document.title = `You clicked ${2} times`; } ); }
React会记住你提供的effect函数,并且会在每次更改作用于DOM并让浏览器绘制屏幕后去调用它。
所以虽然我们说的是一个 effect(这里指更新document的title),但其实每次渲染都是一个 不同的函数 — 并且每个effect函数"看到"的props和state都来自于它属于的那次特定渲染。
概念上,你可以想象effects是渲染结果的一部分。
严格地说,它们并不是(为了允许Hook的组合并且不引入笨拙的语法或者运行时)。但是在我们构建的心智模型上,effect函数 _属于_某个特定的渲染,就像事件处理函数一样。
为了确保我们已经有了扎实的理解,我们再回顾一下第一次的渲染过程:
- React: 给我状态为
0
时候的UI。 - 你的组件:
给你需要渲染的内容:
<span> You clicked 0 times</span>
。 - 记得在渲染完了之后调用这个effect:
() => { document.title = 'You clicked 0 times' }
。
-
运行
() => { document.title = 'You clicked 0 times' }。
现在我们回顾一下我们点击之后发生了什么:
- 你的组件: 喂 React, 把我的状态设置为
1
。 - React: 给我状态为
1
时候的UI。 - 你的组件:
给你需要渲染的内容:
<span> You clicked 1 times</span>
。 - 记得在渲染完了之后调用这个effect:
() => { document.title = 'You clicked 1 times' }
。
-
运行
() => { document.title = 'You clicked 1 times' }。
每一次渲染都有它自己的...所有
我们现在知道effects会在每次渲染后运行,并且概念上它是组件输出的一部分,可以"看到"属于某次特定渲染的props和state。
我们来做一个思想实验,思考下面的代码:
function Counter() { const [count, setCount] = useState(0); useEffect(() => { setTimeout(() => { console.log(`You clicked ${count} times`); }, 3000); }); return ( <div> <p>You clicked {count} times</p> <button onClick={() => setCount(count + 1)}> Click me </button> </div> ); }
如果我点击了很多次并且在effect里设置了延时,打印出来的结果会是什么呢?
你可能会认为这是一个很绕的题并且结果是反直觉的。完全错了!我们看到的就是顺序的打印输出 — 每一个都属于某次特定的渲染,因此有它该有的
count值。你可以自己试一试:
不过,class中的
this.state并不是这样运作的。你可能会想当然以为下面的class 实现和上面是相等的:
this.state.count总是指向 _最新_的count值,而不是属于某次特定渲染的值。所以你会看到每次打印输出都是
5:
我觉得Hooks这么依赖Javascript闭包是挺讽刺的一件事。有时候组件的class实现方式会受闭包相关的苦(the canonical wrong-value-in-a-timeout confusion),但其实这个例子中真正的混乱来源是可变数据(React 修改了class中的
this.state使其指向最新状态),并不是闭包本身的错。
当封闭的值始终不会变的情况下闭包是非常棒的。这使它们非常容易思考因为你本质上在引用常量。正如我们所讨论的,props和state在某个特定渲染中是不会改变的。顺便说一下,我们可以使用闭包修复上面的class版本...
逆潮而动
到目前为止,我们可以明确地喊出下面重要的事实: 每一个组件内的函数(包括事件处理函数,effects,定时器或者API调用等等)会捕获某次渲染中定义的props和state。
所以下面的两个例子是相等的:
function Example(props) { useEffect(() => { setTimeout(() => { console.log(props.counter); }, 1000); }); }
function Example(props) { const counter = props.counter; useEffect(() => { setTimeout(() => { console.log(counter); }, 1000); }); }
在组件内什么时候去读取props或者state是无关紧要的。因为它们不会改变。在单次渲染的范围内,props和state始终保持不变。(解构赋值的props使得这一点更明显。)
当然,有时候你可能想在effect的回调函数里读取最新的值而不是捕获的值。最简单的实现方法是使用refs,这篇文章的最后一部分介绍了相关内容。
需要注意的是当你想要从 过去 渲染中的函数里读取 未来 的props和state,你是在逆潮而动。虽然它并没有 错(有时候可能也需要这样做),但它因为打破了默认范式会使代码显得不够"干净"。这是我们有意为之的,因为它能帮助突出哪些代码是脆弱的,是需要依赖时间次序的。在class中,如果发生这种情况就没那么显而易见了。
下面这个计数器版本 模拟了class中的行为:
function Example() { const [count, setCount] = useState(0); const latestCount = useRef(count); useEffect(() => { latestCount.current = count; setTimeout(() => { console.log(`You clicked ${latestCount.current} times`); }, 3000); }); }
在React中去直接修改值看上去有点怪异。然而,在class组件中React正是这样去修改
this.state的。不像捕获的props和state,你没法保证在任意一个回调函数中读取的
latestCount.current是不变的。根据定义,你可以随时修改它。这就是为什么它不是默认行为,而是需要你主动选择这样做。
那Effect中的清理又是怎样的呢?
像 文档中解释的, 有些 effects 可能需要有一个清理步骤。本质上,它的目的是消除副作用(effect),比如取消订阅。
思考下面的代码:
useEffect(() => { ChatAPI.subscribeToFriendStatus(props.id, handleStatusChange); return () => { ChatAPI.unsubscribeFromFriendStatus(props.id, handleStatusChange); }; });
假设第一次渲染的时候
props是
{id: 10},第二次渲染的时候是
{id: 20}。
React只会在浏览器绘制后运行effects。这使得你的应用更流畅因为大多数effects并不会阻塞屏幕的更新。Effect的清除同样被延迟了。 上一次的effect会在重新渲染后被清除:
- React 渲染
{id: 20}
的UI。 - 浏览器绘制。我们在屏幕上看到
{id: 20}
的UI。 - React 清除
{id: 10}
的effect。 - React 运行
{id: 20}
的effect。
你可能会好奇:如果清除上一次的effect发生在props变成
{id: 20}之后,那它为什么还能"看到"旧的
{id: 10}?
引用上半部分得到的结论:
组件内的每一个函数(包括事件处理函数,effects,定时器或者API调用等等)会捕获定义它们的那次渲染中的props和state。
现在答案显而易见。effect的清除并不会读取"最新"的props。它只能读取到定义它的那次渲染中的props值:
同步, 而非生命周期
我最喜欢React的一点是它统一描述了初始渲染和之后的更新。这降低了你程序的熵。
比如我有个组件像下面这样:
function Greeting({ name }) { return ( <h1 className="Greeting"> Hello, {name} </h1> ); }
我先渲染
<greeting name="Dan"></greeting>然后渲染
<greeting name="Yuzhi"></greeting>,和我直接渲染
<greeting name="Yuzhi"></greeting>并没有什么区别。在这两种情况中,我最后看到的都是"Hello, Yuzhi"。
人们总是说:"重要的是旅行过程,而不是目的地"。在React世界中,恰好相反。 重要的是目的,而不是过程。这就是JQuery代码中
$.addClass或
$.removeClass这样的调用(过程)和React代码中声明CSS类名 应该是什么(目的)之间的区别。
React会根据我们当前的props和state同步到DOM。"mount"和"update"之于渲染并没有什么区别。
你应该以相同的方式去思考effects。 **
useEffect使你能够根据props和state 同步 React tree之外的东西。**
function Greeting({ name }) { useEffect(() => { document.title = 'Hello, ' + name; }); return ( <h1 className="Greeting"> Hello, {name} </h1> ); }
这就是和大家熟知的 _mount/update/unmount_心智模型之间细微的区别。理解和内化这种区别是非常重要的。 如果你试图写一个effect会根据是否第一次渲染而表现不一致,你正在逆潮而动。如果我们的结果依赖于过程而不是目的,我们会在同步中犯错。
先渲染属性A,B再渲染C,和立即渲染C并没有什么区别。虽然他们可能短暂地会有点不同(比如请求数据时),但最终的结果是一样的。
不过话说回来,在 _每一次_渲染后都去运行所有的effects可能并不高效。(并且在某些场景下,它可能会导致无限循环。)
所以我们该怎么解决这个问题?
告诉React去比对你的Effects
其实我们已经从React处理DOM的方式中学习到了解决办法。React只会更新DOM真正发生改变的部分,而不是每次渲染都大动干戈。
当你把
<h1 className="Greeting"> Hello, Dan </h1>
更新到
<h1 className="Greeting"> Hello, Yuzhi </h1>
React 能够看到两个对象:
const oldProps = {className: 'Greeting', children: 'Hello, Dan'}; const newProps = {className: 'Greeting', children: 'Hello, Yuzhi'};
它会检测每一个props,并且发现
children发生改变需要更新DOM,但
className并没有。所以它只需要这样做:
domNode.innerText = 'Hello, Yuzhi';
我们也可以用类似的方式处理effects吗?如果能够在不需要的时候避免调用effect就太好了。
举个例子,我们的组件可能因为状态变更而重新渲染:
function Greeting({ name }) { const [counter, setCounter] = useState(0); useEffect(() => { document.title = 'Hello, ' + name; }); return ( <h1 className="Greeting"> Hello, {name} <button onClick={() => setCounter(counter + 1)}>Increment</button> </h1> ); }
但是我们的effect并没有使用
counter这个状态。 我们的effect只会同步
name属性给
document.title,但
name并没有变。在每一次counter改变后重新给
document.title赋值并不是理想的做法。
好了,那React可以...区分effects的不同吗?
let oldEffect = () => { document.title = 'Hello, Dan'; }; let newEffect = () => { document.title = 'Hello, Dan'; };
并不能。React并不能猜测到函数做了什么如果不先调用的话。(源码中并没有包含特殊的值,它仅仅是引用了
name属性。)
这是为什么你如果想要避免effects不必要的重复调用,你可以提供给
useEffect一个依赖数组参数(deps):
useEffect(() => { document.title = 'Hello, ' + name; }, [name]);
这好比你告诉React:"Hey,我知道你看不到这个函数里的东西,但我可以保证只使用了渲染中的 name
,别无其他。"
如果当前渲染中的这些依赖项和上一次运行这个effect的时候值一样,因为没有什么需要同步React会自动跳过这次effect:
const oldEffect = () => { document.title = 'Hello, Dan'; }; const oldDeps = ['Dan']; const newEffect = () => { document.title = 'Hello, Dan'; }; const newDeps = ['Dan'];
即使依赖数组中只有一个值在两次渲染中不一样,我们也不能跳过effect的运行。要同步所有!
关于依赖项不要对React撒谎
关于依赖项对React撒谎会有不好的结果。直觉上,这很好理解,但我曾看到几乎所有依赖class心智模型使用
useEffect的人都试图违反这个规则。(我刚开始也这么干了!)
function SearchResults() { async function fetchData() { } useEffect(() => { fetchData(); }, []); }
(官网的Hooks FAQ 解释了应该怎么做。 我们在下面 会重新回顾这个例子。)
"但我只是想在挂载的时候运行它!",你可能会说。现在只需要记住:如果你设置了依赖项, effect中用到的所有组件内的值都要包含在依赖中。这包括props,state,函数 — 组件内的任何东西。
有时候你是这样做了,但可能会引起一个问题。比如,你可能会遇到无限请求的问题,或者socket被频繁创建的问题。 解决问题的方法不是移除依赖项。我们会很快了解具体的解决方案。
不过在我们深入解决方案之前,我们先尝试更好地理解问题。
如果设置了错误的依赖会怎么样呢?
如果依赖项包含了所有effect中使用到的值,React就能知道何时需要运行它:
useEffect(() => { document.title = 'Hello, ' + name; }, [name]);
(依赖发生了变更,所以会重新运行effect。)
但是如果我们将
[]设为effect的依赖,新的effect函数不会运行:
useEffect(() => { document.title = 'Hello, ' + name; }, []);
(依赖没有变,所以不会再次运行effect。)
在这个例子中,问题看起来显而易见。但在某些情况下如果你脑子里"跳出"class组件的解决办法,你的直觉很可能会欺骗你。
举个例子,我们来写一个每秒递增的计数器。在Class组件中,我们的直觉是:"开启一次定时器,清除也是一次"。这里有一个例子说明怎么实现它。当我们理所当然地把它用
useEffect的方式翻译,直觉上我们会设置依赖为
[]。"我只想运行一次effect",对吗?
function Counter() { const [count, setCount] = useState(0); useEffect(() => { const id = setInterval(() => { setCount(count + 1); }, 1000); return () => clearInterval(id); }, []); return <h1>{count}h1>; }
然而,这个例子只会递增一次。 天了噜。
如果你的心智模型是"只有当我想重新触发effect的时候才需要去设置依赖",这个例子可能会让你产生存在危机。你想要触发一次因为它是定时器 — 但为什么会有问题?
如果你知道依赖是我们给React的暗示,告诉它effect所有需要使用的渲染中的值,你就不会吃惊了。effect中使用了
count但我们撒谎说它没有依赖。如果我们这样做迟早会出幺蛾子。
在第一次渲染中,
count是
0。因此,
setCount(count + 1)在第一次渲染中等价于
setCount(0 + 1)。 既然我们设置了
[]依赖,effect不会再重新运行,它后面每一秒都会调用
setCount(0 + 1):
function Counter() { useEffect( () => { const id = setInterval(() => { setCount(0 + 1); }, 1000); return () => clearInterval(id); }, [] ); } function Counter() { useEffect( () => { const id = setInterval(() => { setCount(1 + 1); }, 1000); return () => clearInterval(id); }, [] ); }
我们对React撒谎说我们的effect不依赖组件内的任何值,可实际上我们的effect有依赖!
我们的effect依赖
count- 它是组件内的值(不过在effect外面定义):
const count = //... useEffect(() => { const id = setInterval(() => { setCount(count + 1); }, 1000); return () => clearInterval(id); }, []);
因此,设置
[]为依赖会引入一个bug。React会对比依赖,并且跳过后面的effect:
(依赖没有变,所以不会再次运行effect。)
类似于这样的问题是很难被想到的。因此,我鼓励你将诚实地告知effect依赖作为一条硬性规则,并且要列出所以依赖。(我们提供了一个lint规则如果你想在你的团队内做硬性规定。)
两种诚实告知依赖的方法
有两种诚实告知依赖的策略。你应该从第一种开始,然后在需要的时候应用第二种。
第一种策略是在依赖中包含所有effect中用到的组件内的值。让我们在依赖中包含
count:
useEffect(() => { const id = setInterval(() => { setCount(count + 1); }, 1000); return () => clearInterval(id); }, [count]);
现在依赖数组正确了。虽然它可能不是 _太理想_但确实解决了上面的问题。现在,每次
count修改都会重新运行effect,并且定时器中的
setCount(count + 1)会正确引用某次渲染中的
count值:
function Counter() { useEffect( () => { const id = setInterval(() => { setCount(0 + 1); }, 1000); return () => clearInterval(id); }, [0] ); } function Counter() { useEffect( () => { const id = setInterval(() => { setCount(1 + 1); }, 1000); return () => clearInterval(id); }, [1] ); }
这能解决问题但是我们的定时器会在每一次
count改变后清除和重新设定。这应该不是我们想要的结果:
(依赖发生了变更,所以会重新运行effect。)
第二种策略是修改effect内部的代码以确保它包含的值只会在需要的时候发生变更。我们不想告知错误的依赖 - 我们只是修改effect使得依赖更少。
让我们来看一些移除依赖的常用技巧。
我们想去掉effect的
count依赖。
useEffect(() => { const id = setInterval(() => { setCount(count + 1); }, 1000); return () => clearInterval(id); }, [count]);
为了实现这个目的,我们需要问自己一个问题: 我们为什么要用 count
?可以看到我们只在
setCount调用中用到了
count。在这个场景中,我们其实并不需要在effect中使用
count。当我们想要根据前一个状态更新状态的时候,我们可以使用
setState的函数形式:
useEffect(() => { const id = setInterval(() => { setCount(c => c + 1); }, 1000); return () => clearInterval(id); }, []);
我喜欢把类似这种情况称为"错误的依赖"。是的,因为我们在effect中写了
setCount(count + 1)所以
count是一个必需的依赖。但是,我们真正想要的是把
count转换为
count+1,然后返回给React。可是React其实已经知道当前的
count。 我们需要告知React的仅仅是去递增状态 - 不管它现在具体是什么值。
这正是
setCount(c => c + 1)做的事情。你可以认为它是在给React"发送指令"告知如何更新状态。这种"更新形式"在其他情况下也有帮助,比如你需要 批量更新。
注意我们做到了移除依赖,并且没有撒谎。我们的effect不再读取渲染中的 count
值。
(依赖没有变,所以不会再次运行effect。)
你可以自己 试试。
尽管effect只运行了一次,第一次渲染中的定时器回调函数可以完美地在每次触发的时候给React发送
c => c + 1更新指令。它不再需要知道当前的
count值。因为React已经知道了。
函数式更新 和 Google Docs
还记得我们说过同步才是理解effects的心智模型吗?同步的一个有趣地方在于你通常想要把同步的"信息"和状态解耦。举个例子,当你在Google Docs编辑文档的时候,Google并不会把整篇文章发送给服务器。那样做会非常低效。相反的,它只是把你的修改以一种形式发送给服务端。
虽然我们effect的情况不尽相同,但可以应用类似的思想。 只在effects中传递最小的信息会很有帮助。 类似于
setCount(c => c + 1)这样的更新形式比
setCount(count + 1)传递了更少的信息,因为它不再被当前的count值"污染"。它只是表达了一种行为("递增")。"Thinking in React"也讨论了如何找到最小状态。原则是类似的,只不过现在关注的是如何更新。
表达 意图(而不是结果)和Google Docs 如何处理共同编辑异曲同工。虽然这个类比略微延伸了一点,函数式更新在React中扮演了类似的角色。它们确保能以批量地和可预测的方式来处理各种源头(事件处理函数,effect中的订阅,等等)的状态更新。
然而,即使是 setCount(c => c + 1)
也并不完美。 它看起来有点怪,并且非常受限于它能做的事。举个例子,如果我们有两个互相依赖的状态,或者我们想基于一个prop来计算下一次的state,它并不能做到。幸运的是,
setCount(c => c + 1)有一个更强大的姐妹模式,它的名字叫
useReducer。
解耦来自Actions的更新
我们来修改上面的例子让它包含两个状态:
count和
step。我们的定时器会每次在count上增加一个
step值:
function Counter() { const [count, setCount] = useState(0); const [step, setStep] = useState(1); useEffect(() => { const id = setInterval(() => { setCount(c => c + step); }, 1000); return () => clearInterval(id); }, [step]); return ( <> <h1>{count}</h1> <input value={step} onChange={e => setStep(Number(e.target.value))} /> </> ); }
(这里是demo.)
注意 我们没有撒谎。既然我们在effect里使用了
step,我们就把它加到依赖里。所以这也是为什么代码能运行正确。
这个例子目前的行为是修改
step会重启定时器 - 因为它是依赖项之一。在大多数场景下,这正是你所需要的。清除上一次的effect然后重新运行新的effect并没有任何错。除非我们有很好的理由,我们不应该改变这个默认行为。
不过,假如我们不想在
step改变后重启定时器,我们该如何从effect中移除对
step的依赖呢?
当你想更新一个状态,并且这个状态更新依赖于另一个状态的值时,你可能需要用 useReducer
去替换它们。
当你写类似
setSomething(something => ...)这种代码的时候,也许就是考虑使用reducer的契机。reducer可以让你 把组件内发生了什么(actions)和状态如何响应并更新分开表述。
我们用一个
dispatch依赖去替换effect的
step依赖:
const initialState = { count: 0, step: 1, }; function reducer(state, action) { const { count, step } = state; if (action.type === 'tick') { return { count: count + step, step }; } else if (action.type === 'step') { return { count, step: action.step }; } else { throw new Error(); } }
const [state, dispatch] = useReducer(reducer, initialState); const { count, step } = state; useEffect(() => { const id = setInterval(() => { dispatch({ type: 'tick' }); }, 1000); return () => clearInterval(id); }, [dispatch]);
(查看 demo。)
你可能会问:"这怎么就更好了?"答案是 React会保证 dispatch
在组件的声明周期内保持不变。所以上面例子中不再需要重新订阅定时器。
我们解决了问题!
(你可以从依赖中去除
dispatch,
setState, 和
useRef包裹的值因为React会确保它们是静态的。不过你设置了它们作为依赖也没什么问题。)
相比于直接在effect里面读取状态,它dispatch了一个 _action_来描述发生了什么。这使得我们的effect和
step状态解耦。我们的effect不再关心怎么更新状态,它只负责告诉我们发生了什么。更新的逻辑全都交由reducer去统一处理:
(这里是demo 如果你之前错过了。)
为什么useReducer是Hooks的作弊模式
我们已经学习到如何移除effect的依赖,不管状态更新是依赖上一个状态还是依赖另一个状态。 但假如我们需要依赖 props 去计算下一个状态呢?举个例子,也许我们的API是
<counter step="{1}"></counter>。确定的是,在这种情况下,我们没法避免依赖
props.step。是吗?
实际上, 我们可以避免!我们可以把 _reducer_函数放到组件内去读取props:
function Counter({ step }) { const [count, dispatch] = useReducer(reducer, 0); function reducer(state, action) { if (action.type === 'tick') { return state + step; } else { throw new Error(); } } useEffect(() => { const id = setInterval(() => { dispatch({ type: 'tick' }); }, 1000); return () => clearInterval(id); }, [dispatch]); return <h1>{count}</h1>; }
这种模式会使一些优化失效,所以你应该避免滥用它,不过如果你需要你完全可以在reducer里面访问props。(这里是demo。)
即使是在这个例子中,React也保证 dispatch
在每次渲染中都是一样的。 所以你可以在依赖中去掉它。它不会引起effect不必要的重复执行。
你可能会疑惑:这怎么可能?在之前渲染中调用的reducer怎么"知道"新的props?答案是当你
dispatch的时候,React只是记住了action - 它会在下一次渲染中再次调用reducer。在那个时候,新的props就可以被访问到,而且reducer调用也不是在effect里。
这就是为什么我倾向认为 useReducer
是Hooks的"作弊模式"。它可以把更新逻辑和描述发生了什么分开。结果是,这可以帮助我移除不必需的依赖,避免不必要的effect调用。
把函数移到Effects里
一个典型的误解是认为函数不应该成为依赖。举个例子,下面的代码看上去可以运行正常:
function SearchResults() { const [data, setData] = useState({ hits: [] }); async function fetchData() { const result = await axios( 'https://hn.algolia.com/api/v1/search?query=react', ); setData(result.data); } useEffect(() => { fetchData(); }, []);
(这个例子 改编自Robin Wieruch这篇很棒的文章 —点击查看 !)
需要明确的是,上面的代码可以正常工作。 但这样做在组件日渐复杂的迭代过程中我们很难确保它在各种情况下还能正常运行。
想象一下我们的代码做下面这样的分离,并且每一个函数的体量是现在的五倍,然后我们在某些函数内使用了某些state或者prop:
function SearchResults() { const [query, setQuery] = useState('react'); function getFetchUrl() { return 'https://hn.algolia.com/api/v1/search?query=' + query; } async function fetchData() { const result = await axios(getFetchUrl()); setData(result.data); } useEffect(() => { fetchData(); }, []); }
如果我们忘记去更新使用这些函数(很可能通过其他函数调用)的effects的依赖,我们的effects就不会同步props和state带来的变更。这当然不是我们想要的。
幸运的是,对于这个问题有一个简单的解决方案。 如果某些函数仅在effect中调用,你可以把它们的定义移到effect中:
function SearchResults() { useEffect(() => { function getFetchUrl() { return 'https://hn.algolia.com/api/v1/search?query=react'; } async function fetchData() const result = await axios(getFetchUrl()); setData(result.data); } fetchData(); }, []); }
(这里是demo.)
这么做有什么好处呢?我们不再需要去考虑这些"间接依赖"。我们的依赖数组也不再撒谎: 在我们的effect中确实没有再使用组件范围内的任何东西。
如果我们后面修改
getFetchUrl去使用
query状态,我们更可能会意识到我们正在effect里面编辑它 - 因此,我们需要把
query添加到effect的依赖里:
function SearchResults() { const [query, setQuery] = useState('react'); useEffect(() => { function getFetchUrl() { return 'https://hn.algolia.com/api/v1/search?query=' + query; } async function fetchData() { const result = await axios(getFetchUrl()); setData(result.data); } fetchData(); }, [query]); }
(这里是demo.)
添加这个依赖,我们不仅仅是在"取悦React"。在query改变后去重新请求数据是合理的。
useEffect的设计意图就是要强迫你关注数据流的改变,然后决定我们的effects该如何和它同步 - 而不是忽视它直到我们的用户遇到了bug。
感谢
eslint-plugin-react-hooks插件的
exhaustive-depslint规则,它会在你编码的时候就分析effects并且提供可能遗漏依赖的建议。换句话说,机器会告诉你组件中哪些数据流变更没有被正确地处理。
非常棒。
但我不能把这个函数放到Effect里
有时候你可能不想把函数移入effect里。比如,组件内有几个effect使用了相同的函数,你不想在每个effect里复制黏贴一遍这个逻辑。也或许这个函数是一个prop。
在这种情况下你应该忽略对函数的依赖吗?我不这么认为。再次强调, effects不应该对它的依赖撒谎。通常我们还有更好的解决办法。一个常见的误解是,"函数从来不会改变"。但是这篇文章你读到现在,你知道这显然不是事实。实际上,在组件内定义的函数每一次渲染都在变。
函数每次渲染都会改变这个事实本身就是个问题。 比如有两个effects会调用
getFetchUrl:
function SearchResults() { function getFetchUrl(query) { return 'https://hn.algolia.com/api/v1/search?query=' + query; } useEffect(() => { const url = getFetchUrl('react'); }, []); useEffect(() => { const url = getFetchUrl('redux'); }, []); }
在这个例子中,你可能不想把
getFetchUrl移到effects中,因为你想复用逻辑。
另一方面,如果你对依赖很"诚实",你可能会掉到陷阱里。我们的两个effects都依赖
getFetchUrl, 而它每次渲染都不同,所以我们的依赖数组会变得无用:
function SearchResults() { function getFetchUrl(query) { return 'https://hn.algolia.com/api/v1/search?query=' + query; } useEffect(() => { const url = getFetchUrl('react'); }, [getFetchUrl]); useEffect(() => { const url = getFetchUrl('redux'); }, [getFetchUrl]); }
一个可能的解决办法是把
getFetchUrl从依赖中去掉。但是,我不认为这是好的解决方式。这会使我们后面对数据流的改变很难被发现从而忘记去处理。这会导致类似于上面"定时器不更新值"的问题。
相反的,我们有两个更简单的解决办法。
第一个, 如果一个函数没有使用组件内的任何值,你应该把它提到组件外面去定义,然后就可以自由地在effects中使用:
function getFetchUrl(query) { return 'https://hn.algolia.com/api/v1/search?query=' + query; } function SearchResults() { useEffect(() => { const url = getFetchUrl('react'); }, []); useEffect(() => { const url = getFetchUrl('redux'); }, []); }
你不再需要把它设为依赖,因为它们不在渲染范围内,因此不会被数据流影响。它不可能突然意外地依赖于props或state。
或者, 你也可以把它包装成 useCallback
Hook:
function SearchResults() { const getFetchUrl = useCallback((query) => { return 'https://hn.algolia.com/api/v1/search?query=' + query; }, []); useEffect(() => { const url = getFetchUrl('react'); }, [getFetchUrl]); useEffect(() => { const url = getFetchUrl('redux'); }, [getFetchUrl]); }
useCallback本质上是添加了一层依赖检查。它以另一种方式解决了问题 - 我们使函数本身只在需要的时候才改变,而不是去掉对函数的依赖。
我们来看看为什么这种方式是有用的。之前,我们的例子中展示了两种搜索结果(查询条件分别为
'react'和
'redux')。但如果我们想添加一个输入框允许你输入任意的查询条件(
query)。不同于传递
query参数的方式,现在
getFetchUrl会从状态中读取。
我们很快发现它遗漏了
query依赖:
function SearchResults() { const [query, setQuery] = useState('react'); const getFetchUrl = useCallback(() => { return 'https://hn.algolia.com/api/v1/search?query=' + query; }, []); }
如果我把
query添加到
useCallback的依赖中,任何调用了
getFetchUrl的effect在
query改变后都会重新运行:
function SearchResults() { const [query, setQuery] = useState('react'); const getFetchUrl = useCallback(() => { return 'https://hn.algolia.com/api/v1/search?query=' + query; }, [query]); useEffect(() => { const url = getFetchUrl(); }, [getFetchUrl]); }
我们要感谢
useCallback,因为如果
query保持不变,
getFetchUrl也会保持不变,我们的effect也不会重新运行。但是如果
query修改了,
getFetchUrl也会随之改变,因此会重新请求数据。这就像你在Excel里修改了一个单元格的值,另一个使用它的单元格会自动重新计算一样。
这正是拥抱数据流和同步思维的结果。 对于通过属性从父组件传入的函数这个方法也适用:
function Parent() { const [query, setQuery] = useState('react'); const fetchData = useCallback(() => { const url = 'https://hn.algolia.com/api/v1/search?query=' + query; }, [query]); return <Child fetchData={fetchData} /> } function Child({ fetchData }) { let [data, setData] = useState(null); useEffect(() => { fetchData().then(setData); }, [fetchData]); }
因为
fetchData只有在
Parent的
query状态变更时才会改变,所以我们的
Child只会在需要的时候才去重新请求数据。
函数是数据流的一部分吗?
有趣的是,这种模式在class组件中行不通,并且这种行不通恰到好处地揭示了effect和生命周期范式之间的区别。考虑下面的转换:
class Parent extends Component { state = { query: 'react' }; fetchData = () => { const url = 'https://hn.algolia.com/api/v1/search?query=' + this.state.query; }; render() { return <Child fetchData={this.fetchData} />; } } class Child extends Component { state = { data: null }; componentDidMount() { this.props.fetchData(); } render() { } }
你可能会想:"少来了Dan,我们都知道
useEffect就像
componentDidMount和
componentDidUpdate的结合,你不能老是破坏这一条!" 好吧,就算加了
componentDidUpdate照样无用:
class Child extends Component { state = { data: null }; componentDidMount() { this.props.fetchData(); } componentDidUpdate(prevProps) { if (this.props.fetchData !== prevProps.fetchData) { this.props.fetchData(); } } render() { } }
当然如此,
fetchData是一个class方法!(或者你也可以说是class属性 - 但这不能改变什么。)它不会因为状态的改变而不同,所以
this.props.fetchData和
prevProps.fetchData始终相等,因此不会重新请求。那我们删掉条件判断怎么样?
componentDidUpdate(prevProps) { this.props.fetchData(); }
等等,这样会在每次渲染后都去请求。(添加一个加载动画可能是一种有趣的发现这种情况的方式。)也许我们可以绑定一个特定的query?
render() { return <Child fetchData={this.fetchData.bind(this, this.state.query)} />; }
但这样一来,
this.props.fetchData !== prevProps.fetchData表达式永远是
true,即使
query并未改变。这会导致我们总是去请求。
想要解决这个class组件中的难题,唯一现实可行的办法是硬着头皮把
query本身传入
Child组件。
Child虽然实际并没有直接 _使用_这个
query的值,但能在它改变的时候触发一次重新请求:
class Parent extends Component { state = { query: 'react' }; fetchData = () => { const url = 'https://hn.algolia.com/api/v1/search?query=' + this.state.query; }; render() { return <Child fetchData={this.fetchData} query={this.state.query} />; } } class Child extends Component { state = { data: null }; componentDidMount() { this.props.fetchData(); } componentDidUpdate(prevProps) { if (this.props.query !== prevProps.query) { this.props.fetchData(); } } render() { } }
在使用React的class组件这么多年后,我已经如此习惯于把不必要的props传递下去并且破坏父组件的封装以至于我在一周之前才意识到我为什么一定要这样做。
在class组件中,函数属性本身并不是数据流的一部分。组件的方法中包含了可变的
this变量导致我们不能确定无疑地认为它是不变的。因此,即使我们只需要一个函数,我们也必须把一堆数据传递下去仅仅是为了做"diff"。我们无法知道传入的
this.props.fetchData是否依赖状态,并且不知道它依赖的状态是否改变了。
使用 useCallback
,函数完全可以参与到数据流中。我们可以说如果一个函数的输入改变了,这个函数就改变了。如果没有,函数也不会改变。感谢周到的
useCallback,属性比如
props.fetchData的改变也会自动传递下去。
类似的,useMemo
可以让我们对复杂对象做类似的事情。
function ColorPicker() { const [color, setColor] = useState('pink'); const style = useMemo(() => ({ color }), [color]); return <Child style={style} />; }
我想强调的是,到处使用 useCallback
是件挺笨拙的事。当我们需要将函数传递下去并且函数会在子组件的effect中被调用的时候,
useCallback是很好的技巧且非常有用。或者你想试图减少对子组件的记忆负担,也不妨一试。但总的来说Hooks本身能更好地避免传递回调函数。
在上面的例子中,我更倾向于把
fetchData放在我的effect里(它可以抽离成一个自定义Hook)或者是从顶层引入。我想让effects保持简单,而在里面调用回调会让事情变得复杂。("如果某个
props.onComplete回调改变了而请求还在进行中会怎么样?")你可以模拟class的行为但那样并不能解决竞态的问题。
说说竞态
下面是一个典型的在class组件里发请求的例子:
class Article extends Component { state = { article: null }; componentDidMount() { this.fetchData(this.props.id); } async fetchData(id) { const article = await API.fetchArticle(id); this.setState({ article }); } }
你很可能已经知道,上面的代码埋伏了一些问题。它并没有处理更新的情况。所以第二个你能够在网上找到的经典例子是下面这样的:
class Article extends Component { state = { article: null }; componentDidMount() { this.fetchData(this.props.id); } componentDidUpdate(prevProps) { if (prevProps.id !== this.props.id) { this.fetchData(this.props.id); } } async fetchData(id) { const article = await API.fetchArticle(id); this.setState({ article }); } }
这显然好多了!但依旧有问题。有问题的原因是请求结果返回的顺序不能保证一致。比如我先请求
{id: 10},然后更新到
{id: 20},但
{id: 20}的请求更先返回。请求更早但返回更晚的情况会错误地覆盖状态值。
这被叫做竞态,这在混合了
async/
await(假设在等待结果返回)和自顶向下数据流的代码中非常典型(props和state可能会在async函数调用过程中发生改变)。
Effects并没有神奇地解决这个问题,尽管它会警告你如果你直接传了一个
async函数给effect。(我们会改善这个警告来更好地解释你可能会遇到的这些问题。)
如果你使用的异步方式支持取消,那太棒了。你可以直接在清除函数中取消异步请求。
或者,最简单的权宜之计是用一个布尔值来跟踪它:
function Article({ id }) { const [article, setArticle] = useState(null); useEffect(() => { let didCancel = false; async function fetchData() { const article = await API.fetchArticle(id); if (!didCancel) { setArticle(article); } } fetchData(); return () => { didCancel = true; }; }, [id]); }
这篇文章讨论了更多关于如何处理错误和加载状态,以及抽离逻辑到自定义的Hook。我推荐你认真阅读一下如果你想学习更多关于如何在Hooks里请求数据的内容。
提高水准
在class组件生命周期的思维模型中,副作用的行为和渲染输出是不同的。UI渲染是被props和state驱动的,并且能确保步调一致,但副作用并不是这样。这是一类常见问题的来源。
而在
useEffect的思维模型中,默认都是同步的。副作用变成了React数据流的一部分。对于每一个
useEffect调用,一旦你处理正确,你的组件能够更好地处理边缘情况。
然而,用好
useEffect的前期学习成本更高。这可能让人气恼。用同步的代码去处理边缘情况天然就比触发一次不用和渲染结果步调一致的副作用更难。
这难免让人担忧如果
useEffect是你现在使用最多的工具。不过,目前大抵还处理低水平使用阶段。因为Hooks太新了所以大家都还在低水平地使用它,尤其是在一些教程示例中。但在实践中,社区很可能即将开始高水平地使用Hooks,因为好的API会有更好的动量和冲劲。
我看到不同的应用在创造他们自己的Hooks,比如封装了应用鉴权逻辑的
useFetch或者使用theme context的
useTheme。你一旦有了包含这些的工具箱,你就不会那么频繁地直接使用
useEffect。但每一个基于它的Hook都能从它的适应能力中得到益处。
目前为止,
useEffect主要用于数据请求。但是数据请求准确说并不是一个同步问题。因为我们的依赖经常是
[]所以这一点尤其明显。那我们究竟在同步什么?
长远来看, Suspense用于数据请求 会允许第三方库通过第一等的途径告诉React暂停渲染直到某些异步事物(任何东西:代码,数据,图片)已经准备就绪。
当Suspense逐渐地覆盖到更多的数据请求使用场景,我预料
useEffect会退居幕后作为一个强大的工具,用于同步props和state到某些副作用。不像数据请求,它可以很好地处理这些场景因为它就是为此而设计的。不过在那之前,自定义的Hooks比如这儿提到的是复用数据请求逻辑很好的方式。
在结束前
现在你差不多知道了我关于如何使用effects的所有知识,可以检查一下开头的TLDR。你现在觉得它说得有道理吗?我有遗漏什么吗?(我的纸还没有写完!)
最后
译者写了一个 React + Hooks 的 UI 库,方便大家学习和使用,
欢迎关注公众号「前端进阶课」认真学前端,一起进阶。
- React-Native Windows完全安装指南
- WordPress主题制作完全指南[作者:幸福的收藏夹]
- RN(react native)入坑指南-10,组件的生命周期
- 整理了一份React-Native学习指南
- Chrome 控制台不完全指南
- [深入剖析React Native]热更新之react-native-pushy使用指南(Android)
- webpack优化不完全指南
- c#编程指南(十三) 平台调用P-INVOKE完全掌握, 结构体和结构体指针
- 机器学习系列(12)_XGBoost参数调优完全指南(附Python代码)
- fedora9完全配置之mplayer配置指南
- 作者:Don Box 简单对象访问协议(SOAP)初级指南
- [转] Java内存溢出(OOM)异常完全指南1
- php正则表达式完全教程之精华篇
- [原创] [YCM] YouCompleteMe安装完全指南
- CSS3 icon font完全指南
- Bullet物理引擎不完全指南(Bullet Physics Engine not complete Guide)
- Fedora 17 安装完全指南 for y450[zz]
- React高级指南(六)【React Without ES6】
- Apache完全安装指南
- C++字符串完全指南 - Win32字符编码(二)