使用 JS 及 React Hook 时需要注意过时闭包的坑

为了保证的可读性，本文采用意译而非直译。

1. JS 中的闭包

下面定义了一个工厂函数 <code>createIncrement(i)/<code>，它返回一个<code>increment/<code>函数。之后，每次调用<code>increment/<code>函数时，内部计数器的值都会增加<code>i/<code>。

<code>function createIncrement(i) {
 let value = 0;
 function increment() {
 value += i;
 console.log(value);
 }
 return increment;
}

const inc = createIncrement(1);
inc(); // 1
inc(); // 2
/<code>

<code>createIncrement(1)/<code> 返回一个增量函数，该函数赋值给<code>inc/<code>变量。当调用<code>inc()/<code>时，<code>value/<code> 变量加<code>1/<code>。

第一次调用<code>inc()/<code>返回<code>1/<code>，第二次调用返回<code>2/<code>，依此类推。

这挺趣的，只要调用<code>inc()/<code>还不带参数，JS 仍然知道当前 <code>value/<code> 和 <code>i/<code> 的增量，来看看这玩意是如何工作的。

原理就在 <code>createIncrement()/<code> 中。当在函数上返回一个函数时，会有闭包产生。闭包捕获词法作用域中的变量 <code>value/<code> 和 <code>i/<code>。

词法作用域是定义闭包的外部作用域。在本例中，<code>increment()/<code> 的词法作用域是<code>createIncrement()/<code>的作用域，其中包含变量 <code>value/<code> 和 <code>i/<code>。

无论在何处调用 <code>inc()/<code>，甚至在 <code>createIncrement()/<code> 的作用域之外，它都可以访问 <code>value/<code> 和 <code>i/<code>。

闭包是一个可以从其词法作用域记住和修改变量的函数，不管执行作用域是什么。

继续这个例子，可以在任何地方调用 <code>inc()/<code>，甚至在异步回调中也可以:

<code>(function() {
 inc(); // 3
}());

setTimeout(function() {
 inc(); // 4
}, 1000);
/<code>

2. React Hooks 中的闭包

通过简化状态重用和副作用管理，Hooks 取代了基于类的组件。此外，咱们可以将重复的逻辑提取到自定义 Hook 中，以便在应用程序之间重用。

Hooks 严重依赖于 JS 闭包,但是闭包有时很棘手。

当咱们使用一个有多种副作用和状态管理的 React 组件时，可能会遇到的一个问题是过时的闭包，这可能很难解决。

咱们从提炼出过时的闭包开始。然后，看看过时的闭包如何影响 React Hook，以及如何解决这个问题。

3. 过时的闭包

工厂函数<code>createIncrement(i)/<code>返回一个<code>increment/<code>函数。<code>increment/<code> 函数对 <code>value/<code> 增加i<code>请输入代码/<code> ，并返回一个记录当前 <code>value/<code> 的函数

<code>function createIncrement(i) {
 let value = 0;
 function increment() {
 value += i;
 console.log(value);
 const message = `Current value is ${value}`;
 return function logValue() {
 console.log(message);
 };
 }

 return increment;
}

const inc = createIncrement(1);
const log = inc(); // 打印 1
inc(); // 打印 2
inc(); // 打印 3
// 无法正确工作
log(); // 打印 "Current value is 1"
/<code>

在第一次调用<code>inc()/<code>时，返回的闭包被分配给变量 <code>log/<code>。对 <code>inc()/<code> 的 <code>3/<code> 次调用的增量 <code>value/<code> 为 <code>3/<code>。

最后，调用<code>log()/<code> 打印 message <code>“Current value is 1”/<code>，这是出乎意料的，因为此时 <code>value/<code> 等于 <code>3/<code>。

<code>log()/<code>是过时的闭包。在第一次调用 <code>inc()/<code> 时，闭包 <code>log()/<code> 捕获了具有 <code>“Current value is 1”/<code> 的 <code>message/<code> 变量。而现在，当 <code>value/<code> 已经是 <code>3/<code> 时，<code>message/<code> 变量已经过时了。

过时的闭包捕获具有过时值的变量。

4.修复过时闭包的问题

使用新的闭包

解决过时闭包的第一种方法是找到捕获最新变量的闭包。

咱们找到捕获了最新 <code>message/<code> 变量的闭包。就是从最后一次调用 inc() 返回的闭包。

<code>const inc = createIncrement(1);

inc(); // 打印 1
inc(); // 打印 2
const latestLog = inc(); // 打印 3
// 正常工作
latestLog(); // 打印 "Current value is 3"
/<code>

<code>latestLog/<code> 捕获的 <code>message/<code> 变量具有最新的的值 “Current value is 3”。

顺便说一下，这大概就是 React Hook 处理闭包新鲜度的方式。

Hooks 实现假设在组件重新渲染之间，作为 Hook 回调提供的最新闭包(例如 <code>useEffect(callback)/<code>) 已经从组件的函数作用域捕获了最新的变量。

关闭已更改的变量

第二种方法是让<code>logValue()/<code>直接使用 <code>value/<code>。

让我们移动行 <code>const message = ...;/<code> 到 <code>logValue()/<code> 函数体中：

<code>function createIncrementFixed(i) { 

 let value = 0;
 function increment() {
 value += i;
 console.log(value);
 return function logValue() {
 const message = `Current value is ${value}`;
 console.log(message);
 };
 }

 return increment;
}

const inc = createIncrementFixed(1);
const log = inc(); // 打印 1
inc(); // 打印 2
inc(); // 打印 3
// 正常工作
log(); // 打印 "Current value is 3"
/<code>

<code>logValue()/<code> 关闭 <code>createIncrementFixed()/<code> 作用域内的 <code>value/<code> 变量。<code>log()/<code> 现在打印正确的消息“<code>Current value is 3/<code>”。

5. Hook 中过时的闭包

useEffect()

现在来研究一下在使用 <code>useEffect()/<code> Hook 时出现过时闭包的常见情况。

在组件 <code><watchcount>/<code> 中，<code>useEffect()/<code>每秒打印 <code>count/<code> 的值。

<code>function WatchCount() {
 const [count, setCount] = useState(0);

 useEffect(function() {
 setInterval(function log() {
 console.log(`Count is: ${count}`);
 }, 2000);
 }, []);

 return (
 <div>
 {count} 

 <button onClick={() => setCount(count + 1) }>
 加1
 button>
 div>
 );
}
/<code>

打开 CodeSandbox 并单击几次加1按钮。然后看看控制台，每2秒打印 <code>Count is: 0/<code>。

咋这样呢？

在第一次渲染时，<code>log()/<code> 中闭包捕获 <code>count/<code> 变量的值 <code>0/<code>。过后，即使 <code>count/<code> 增加，<code>log()/<code>中使用的仍然是初始化的值 <code>0/<code>。<code>log()/<code> 中的闭包是一个过时的闭包。

解决方案是让 <code>useEffect()/<code>知道 <code>log()/<code> 中的闭包依赖于<code>count/<code>：

<code>function WatchCount() {
 const [count, setCount] = useState(0);

 useEffect(function() {
 const id = setInterval(function log() {
 console.log(`Count is: ${count}`);
 }, 2000);
 return function() {
 clearInterval(id);
 }
 }, [count]); // 看这里，这行是重点

 return (
 <div>
 {count}
 <button onClick={() => setCount(count + 1) }>
 Increase
 button>
 div>
 );
}
/<code> 

适当地设置依赖项后，一旦 <code>count/<code> 更改，<code>useEffect()/<code> 就更新闭包。

同样打开修复的 codesandbox，单击几次加1按钮。然后看看控制台，这次打印就是正确的值了。

正确管理 Hook 依赖关系是解决过时闭包问题的关键。推荐安装 eslint-plugin-react-hooks,它可以帮助咱们检测被遗忘的依赖项。

useState()

组件<code><delayedcount>/<code>有 2 个按钮：

• 点击按键 “Increase async” 在异步模式下以<code>1/<code>秒的延迟递增计数器

• 在同步模式下，点击按键 “Increase sync” 会立即增加计数器。

<code> function DelayedCount() {
 const [count, setCount] = useState(0);

 function handleClickAsync() {
 setTimeout(function delay() {
 setCount(count + 1);
 }, 1000);
 } 


 function handleClickSync() {
 setCount(count + 1);
 }

 return (
 <div>
 {count}
 <button onClick={handleClickAsync}>Increase asyncbutton>
 <button onClick={handleClickSync}>Increase syncbutton>
 div>
 );
 }
/<code>

现在打开 codesandbox 演示。点击 “Increase async” 按键然后立即点击 “Increase sync” 按钮，<code>count/<code> 只更新到 <code>1/<code>。

这是因为 <code>delay()/<code> 是一个过时的闭包。

来看看这个过程发生了什么：

1. 初始渲染：<code>count/<code> 值为 <code>0/<code>。

2. 点击 'Increase async' 按钮。<code>delay()/<code> 闭包捕获 <code>count/<code> 的值 <code>0/<code>。<code>setTimeout()/<code> 1 秒后调用 <code>delay()/<code>。

3. 点击 “Increase async” 按键。<code>handleClickSync()/<code> 调用 <code>setCount(0 + 1)/<code> 将 <code>count/<code> 的值设置为 <code>1/<code>，组件重新渲染。

4. <code>1/<code> 秒之后，<code>setTimeout()/<code> 执行 <code>delay()/<code> 函数。但是 <code>delay()/<code> 中闭包保存 <code>count/<code> 的值是初始渲染的值 <code>0/<code>，所以调用 <code>setState(0 + 1)/<code>，结果<code>count/<code>保持为 <code>1/<code>。

<code>delay()/<code> 是一个过时的闭包，它使用在初始渲染期间捕获的过时的 <code>count/<code> 变量。

为了解决这个问题，可以使用函数方法来更新 <code>count/<code> 状态：

<code>function DelayedCount() {
 const [count, setCount] = useState(0);

 function handleClickAsync() {
 setTimeout(function delay() {
 setCount(count => count + 1); // 这行是重点
 }, 1000);
 }

 function handleClickSync() {
 setCount(count + 1);
 }

 return (
 <div>
 {count}
 <button onClick={handleClickAsync}>Increase asyncbutton>
 <button onClick={handleClickSync}>Increase syncbutton>
 div>
 );
}
/<code>

现在 <code>setCount(count => count + 1)/<code> 更新了 <code>delay()/<code> 中的 <code>count/<code> 状态。React 确保将最新状态值作为参数提供给更新状态函数，过时的闭包的问题就解决了。

总结

闭包是一个函数，它从定义变量的地方(或其词法范围)捕获变量。闭包是每个 JS 开发人员都应该知道的一个重要概念。

当闭包捕获过时的变量时，就会出现过时闭包的问题。解决过时闭包的一个有效方法是正确设置 React Hook 的依赖项。或者，对于过时的状态，使用函数方式更新状态。

你认为闭包使得 React Hook 很难理解吗？

代码部署后可能存在的BUG没法实时知道，事后为了解决这些BUG，花了大量的时间进行log 调试，这边顺便给大家推荐一个好用的BUG监控工具 Fundebug。