最近工作中遇到个有意思的问题,记录下从问题发现到解决的过程。
这个问题涉及知识点包括:
- 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种:
React和ReactDOM版本不匹配
需要v16.8以上版本的ReactDOM才支持Hooks。
我们项目使用的是v17.0.2,不属于这个原因。
打破了Hooks的规则
Hooks只能在函数组件或自定义Hooks顶层调用。
翻看A组件源码,报错的是一个顶层调用的useRef:
- function A() {
- // ...
- var xxxRef = useRef(null);
- // ...
- }
不属于这个原因。
重复的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 = {
-
- 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感知上下文的实现思路对你有没有启发呢?