最近工作中遇到个有意思的问题，记录下从问题发现到解决的过程。
这个问题涉及知识点包括：
- hooks源码逻辑
- package.json配置
事发
某个需求需要引入一个第三方组件库。
当引入组件库中的函数组件A后，React运行时报错：
- "Invalid hook call. Hooks can only be called inside of the body of a function component. This could happen for one of the following reasons...
从React文档了解到，这是由于「错误使用Hooks造成的」。
官网给出的可能的错误原因有3种：
1.React和ReactDOM版本不匹配
需要v16.8以上版本的ReactDOM才支持Hooks。
我们项目使用的是v17.0.2，不属于这个原因。
2.打破了Hooks的规则
Hooks只能在函数组件或自定义Hooks顶层调用。
翻看A组件源码，报错的是一个顶层调用的useRef：
- function A() {
- // ...
- var xxxRef = useRef(null);
- // ...
- }
不属于这个原因。
3.重复的React
载录自React文档：
- 为了使 Hook 正常工作，你应用代码中的 react 依赖以及 react-dom 的 package 内部使用的 react 依赖，必须解析为同一个模块。
- 如果这些 react 依赖解析为两个不同的导出对象，你就会看到本警告。这可能发生在你意外地引入了两个 react 的 package 副本。
读起来好绕，看起来这条的嫌疑最大。
定位问题
在报错的useRef中打上断点，发现其来自于：
http://localhost:8081/Users/项目目录/node_modules/组件库/node_modules/react/cjs/react.development.js
在项目里其他调用Hooks但是未报错的地方打上断点，发现资源来自于：
http://localhost:8081/Users/项目目录/node_modules/react/cjs/react.development.js
报错的useRef和项目其他Hooks引用了不同的react.development.js。
翻看「组件库」的package.json，发现他将react与react-dom作为dependencies安装：
- "dependencies": {
- "react": "^16.13.1",
- "@babel/runtime-corejs3": "^7.11.2",
- "react-dom": "^16.13.1"
- },
这样会在「组件库」目录的node_modules下创建这两个依赖。
作为一个「组件库」，这么做显然是不合适的。
临时解决
最好的做法是将这两个依赖作为peerDependencies，即将其作为外部依赖。
这样，当我们引入「组件库」时，「组件库」会使用我们项目中的react与react-dom，而不是自己安装一份。
但是我没有这个「组件库」的权限，只能在自己项目中做文章。
在package.json文档中提供了一个配置项：resolutions，可以临时解决这个问题。
resolutions允许你复写一个在项目node_modules中被嵌套引用的包的版本。
在我们项目的package.json中作出如下修改：
- // 项目package.json
- {
- // ...
- "resolutions": {
- "react": "17.0.2",
- "react-dom": "17.0.2"
- },
- // ...
- }
这样，项目中用到的这两个依赖都会使用resolutions中指定的版本。
不管是「组件库」还是我们的项目代码中的react与react-dom，都会指向同一个文件。
现在问题是临时解决了，但是造成问题的原因是什么?
让我们深入Hooks源码内部来寻找答案。
深入源码
首先让我们思考2个问题：
当我们在一个Hooks内部调用其他Hooks时会报开篇提到的错误。
比如如下代码就会报错：
- function App() {
- useEffect(() => {
- const a = useRef();
- }, [])
- // ...
- }
Hooks只是函数，他如何感知到自己在另一个Hooks内部执行?
就如上例子，useRef如何感知到自己在useEffect的回调函数中执行?
再看另一个问题，我们知道classComponent有componentDidMount与componentDidUpdate两个生命周期函数区分mount时与update时。
那么Hooks作为函数，怎么区分当前是mount时还是update时?
显然，Hooks源码内部存在一种机制，能够感知当前执行的上下文环境。
渐入佳境
在浏览器环境，我们会引用react与reactDOM两个包。
其中，在react包的代码中存在一个变量ReactCurrentDispatcher。
他的current参数指向当前正在使用的Hooks上下文：
- var ReactCurrentDispatcher = {
- /**
- * @internal
- * @type {ReactComponent}
- */
- current: null
- };
同时，在reactDOM中，在程序运行过程中，ReactCurrentDispatcher.current会根据当前上下文环境指向不同引用。
比如：
- var HooksDispatcherOnMountInDEV = {
- useState: function() { // ... },
- useEffect: function() { // ... },
- useRef: function() { // ... },
- // ...
- }
- var HooksDispatcherOnUpdateInDEV = {
- useState: function() { // ... },
- useEffect: function() { // ... },
- useRef: function() { // ... },
- // ...
- }
- // ...
当处在DEV环境mount时，ReactCurrentDispatcher.current会指向HooksDispatcherOnMountInDEV。
当处在DEV环境update时，ReactCurrentDispatcher.current会指向HooksDispatcherOnUpdateInDEV。
再来看useRef的定义：
- function useRef(initialValue) {
- var dispatcher = resolveDispatcher();
- return dispatcher.useRef(initialValue);
- }
内部调用的是dispatcher.useRef。
dispatcher即ReactCurrentDispatcher.current。
- function resolveDispatcher() {
- var dispatcher = ReactCurrentDispatcher.current;
- if (!(dispatcher !== null)) {
- {
- throw Error( "Invalid hook call. ..." );
- }
- }
- return dispatcher;
- }
- 可以看到，开篇的错误正是由于dispatcher为null时抛出
这就是Hooks能区分mount与update的原因。
同理，DEV环境，当一个Hooks在执行时，ReactCurrentDispatcher.current会指向引用 —— InvalidNestedHooksDispatcherOnUpdateInDEV。
在这种情况下再调用的Hooks，比如如下useRef：
- var InvalidNestedHooksDispatcherOnUpdateInDEV = {
- // ...
- useRef: function (initialValue) {
- currentHookNameInDev = 'useRef';
- warnInvalidHookAccess();
- updateHookTypesDev();
- return updateRef();
- },
- // ...
- }
内部都会执行warnInvalidHookAccess报错，提示自己在别的Hooks内执行了。
真相大白
到这里我们终于知道开篇提到的问题发生的本质原因：
- 由于「组件库」使用dependencies而不是peerDependencies，导致「组件库」中引用的react与reactDOM是「组件库」目录node_modules下的文件。
- 项目中使用的react与reactDOM是项目目录node_modules下的文件。
- 「组件库」中react与项目目录中react在运行时分别初始化ReactCurrentDispatcher
- 这两个ReactCurrentDispatcher分别依赖对应目录的reactDOM
- 我们在项目中执行项目目录下reactDOM的ReactDOM.render方法，他会随着程序运行改变项目目录中react包下的ReactCurrentDispatcher.current的指向
- 「组件库」中的ReactCurrentDispatcher.current始终是null
- 当调用「组件库」中的Hooks时，由于ReactCurrentDispatcher.current始终是null导致报错
总结
通过分析这个问题，加深了对package.json以及Hooks源码的理解。
不知道Hooks感知上下文的实现思路对你有没有启发呢?
