Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
5d08eabde3 | ||
|
|
7e79c60a12 | ||
|
|
9c051f6ab5 | ||
|
|
065fab1546 | ||
|
|
88cd38685d | ||
|
|
7de3c77c3b | ||
|
|
09978602c0 | ||
|
|
fcb42f2dcf | ||
|
|
0ef3cf16a9 | ||
|
|
baf666dbf8 | ||
|
|
74f1884f78 | ||
|
|
4f815df5ab | ||
|
|
35a8ee0a9e | ||
|
|
37fbb981d4 | ||
|
|
1cd6722352 | ||
|
|
e14a9e8f9b | ||
|
|
f3e2892982 | ||
|
|
bd8c58a938 | ||
|
|
806e2e1419 | ||
|
|
8f9ace0396 | ||
|
|
40ab3468d0 | ||
|
|
0cee0db46d |
@@ -264,7 +264,7 @@ function App() {
|
||||
}
|
||||
```
|
||||
|
||||
可以看到将细碎的代码片段结合成了一个完整的代码块,更维护。
|
||||
可以看到将细碎的代码片段结合成了一个完整的代码块,更易维护。
|
||||
|
||||
现在介绍了 `useState` `useContext` `useEffect` `useRef` 等常用 hooks,更多可以查阅:[内置 Hooks](https://reactjs.org/docs/hooks-reference.html),相信不久的未来,这些 API 又会成为一套新的前端规范。
|
||||
|
||||
@@ -422,7 +422,7 @@ function Article({ id }) {
|
||||
return () => {
|
||||
didCancel = true;
|
||||
};
|
||||
}, [fetchArticle]);
|
||||
}, [API.fetchArticle]);
|
||||
|
||||
// ...
|
||||
}
|
||||
@@ -101,8 +101,8 @@ function SearchResults({ query }) {
|
||||
const [data, setData] = useState(null);
|
||||
const [currentPage, setCurrentPage] = useState(0);
|
||||
|
||||
const fetchResults = useCallback(() => {
|
||||
return "http://myapi/results?query" + query + "&page=" + currentPage;
|
||||
const getFetchUrl = useCallback(() => {
|
||||
return "http://myapi/results?query=" + query + "&page=" + currentPage;
|
||||
}, [currentPage, query]);
|
||||
|
||||
useEffect(() => {
|
||||
@@ -114,7 +114,7 @@ function SearchResults({ query }) {
|
||||
}
|
||||
```
|
||||
|
||||
Function Component 对 `props` 与 `state` 的数据都一视同仁,且可以将取数逻辑与 “更新判断” 通过 `useCallback` 完全封装在一个函数内,再将这个函数作为整体依赖项添加到 `useEffect`,如果未来再新增一个参数,只要修改 `fetchResults` 这个函数即可,而且还可以通过 `eslint-plugin-react-hooks` 插件静态分析是否遗漏了依赖项。
|
||||
Function Component 对 `props` 与 `state` 的数据都一视同仁,且可以将取数逻辑与 “更新判断” 通过 `useCallback` 完全封装在一个函数内,再将这个函数作为整体依赖项添加到 `useEffect`,如果未来再新增一个参数,只要修改 `getFetchUrl` 这个函数即可,而且还可以通过 `eslint-plugin-react-hooks` 插件静态分析是否遗漏了依赖项。
|
||||
|
||||
Function Component 不但将依赖项聚合起来,还解决了 Class Component 分散在多处生命周期的函数判断,引发的无法静态分析依赖的问题。
|
||||
|
||||
@@ -409,7 +409,7 @@ const App = memo(function App() {
|
||||
const [state, dispatch] = useReducer(appReducer, new State())
|
||||
|
||||
return (
|
||||
<AppDispatch.Provider value={dispaych}>
|
||||
<AppDispatch.Provider value={dispatch}>
|
||||
<Count count={count}/>
|
||||
<Name name={name}/>
|
||||
</AppDispatch.Provider>
|
||||
@@ -0,0 +1,174 @@
|
||||
# 1. 引言
|
||||
|
||||
[react-easy-state](https://github.com/solkimicreb/react-easy-state) 是个比较有趣的库,利用 Proxy 创建了一个非常易用的全局数据流管理方式。
|
||||
|
||||
```jsx
|
||||
import React from "react";
|
||||
import { store, view } from "react-easy-state";
|
||||
|
||||
const counter = store({ num: 0 });
|
||||
const increment = () => counter.num++;
|
||||
|
||||
export default view(() => <button onClick={increment}>{counter.num}</button>);
|
||||
```
|
||||
|
||||
上手非常轻松,通过 `store` 创建一个数据对象,这个对象被任何 React 组件使用时,都会自动建立双向绑定,**任何对这个对象的修改,都会让使用了这个对象的组件重渲染。**
|
||||
|
||||
当然,为了实现这一点,需要对所有组件包裹一层 `view`。
|
||||
|
||||
# 2. 精读
|
||||
|
||||
这个库利用了 [nx-js/observer-util](https://github.com/nx-js/observer-util) 做 Reaction 基础 API,其他核心功能分别是 `store` `view` `batch`,所以我们就从这四个点进行解读。
|
||||
|
||||
## Reaction
|
||||
|
||||
这个单词名叫 “反应”,是实现双向绑定库的最基本功能单元。
|
||||
|
||||
拥有最基本的两个单词和一个概念:`observable` `observe` 与自动触发执行的特性。
|
||||
|
||||
```js
|
||||
import { observable, observe } from "@nx-js/observer-util";
|
||||
|
||||
const counter = observable({ num: 0 });
|
||||
const countLogger = observe(() => console.log(counter.num));
|
||||
|
||||
// 会自动触发 countLogger 函数内回调函数的执行。
|
||||
counter.num++;
|
||||
```
|
||||
|
||||
在第 35 期精读 [精读《dob - 框架实现》](https://github.com/dt-fe/weekly/blob/master/35.%E7%B2%BE%E8%AF%BB%E3%80%8Adob%20-%20%E6%A1%86%E6%9E%B6%E5%AE%9E%E7%8E%B0%E3%80%8B.md#%E6%8A%BD%E4%B8%9D%E5%89%A5%E8%8C%A7%E5%AE%9E%E7%8E%B0%E4%BE%9D%E8%B5%96%E8%BF%BD%E8%B8%AA) “抽丝剥茧,实现依赖追踪” 一节中有详细介绍实现原理,这里就不赘述了。
|
||||
|
||||
有了一个具有反应特性的函数,与一个可以 “触发反应” 的对象,那么实现双向绑定更新 View 就不远了。
|
||||
|
||||
## store
|
||||
|
||||
react-easy-state 的 `store` 就是 `observable(obj)` 包装一下,唯一不同是,由于支持本地数据:
|
||||
|
||||
```js
|
||||
import React from 'react'
|
||||
import { view, store } from 'react-easy-state'
|
||||
|
||||
export default view(() => {
|
||||
const counter = store({ num: 0 })
|
||||
const increment = () => counter.num++
|
||||
return <button={increment}>{counter.num}</div>
|
||||
})
|
||||
```
|
||||
|
||||
所以当监测到在 React 组件内部创建 `store` 且是 Hooks 环境时,会返回:
|
||||
|
||||
```js
|
||||
return useMemo(() => observable(obj), []);
|
||||
```
|
||||
|
||||
这是因为 React Hooks 场景下的 Function Component 每次渲染都会重新创建 Store,会导致死循环。因此利用 `useMemo` 并将依赖置为 `[]` 使代码在所有渲染周期内,只在初始化执行一次。
|
||||
|
||||
> 更多 Hooks 深入解读,可以阅读 [精读《useEffect 完全指南》](https://github.com/dt-fe/weekly/blob/master/96.%E7%B2%BE%E8%AF%BB%E3%80%8AuseEffect%20%E5%AE%8C%E5%85%A8%E6%8C%87%E5%8D%97%E3%80%8B.md)。
|
||||
|
||||
## view
|
||||
|
||||
根据 Function Component 与 Class Component 的不同,分别进行两种处理,本文主要介绍对 Function Component 的处理方式,因为笔者推荐使用 Function Component 风格。
|
||||
|
||||
首先最外层会套上 `memo`,这类似 `PureComponent` 的效果:
|
||||
|
||||
```js
|
||||
return memo(/**/);
|
||||
```
|
||||
|
||||
然后构造一个 `forceUpdate` 用来强制渲染组件:
|
||||
|
||||
```js
|
||||
const [, forceUpdate] = useState();
|
||||
```
|
||||
|
||||
之后,只要利用 `observe` 包裹组件即可,需要注意两点:
|
||||
|
||||
1. **使用刚才创建的 `forceUpdate` 在 `store` 修改时调用。**
|
||||
2. `observe` 初始化不要执行,因为初始化组件自己会渲染一次,再渲染一次就会造成浪费。
|
||||
|
||||
所以作者通过 `scheduler` `lazy` 两个参数完成了这两件事:
|
||||
|
||||
```js
|
||||
const render = useMemo(
|
||||
() =>
|
||||
observe(Comp, {
|
||||
scheduler: () => setState({}),
|
||||
lazy: true
|
||||
}),
|
||||
[]
|
||||
);
|
||||
|
||||
return render;
|
||||
```
|
||||
|
||||
最后别忘了在组件销毁时取消监听:
|
||||
|
||||
```js
|
||||
useEffect(() => {
|
||||
return () => unobserve(render);
|
||||
}, []);
|
||||
```
|
||||
|
||||
## batch
|
||||
|
||||
这也是双向绑定数据流必须解决的经典问题,批量更新合并。
|
||||
|
||||
由于修改对象就触发渲染,**这个过程太自动化了,以至于我们都没有机会告诉工具,连续的几次修改能否合并起来只触发一次渲染。** 尤其是 For 循环修改变量时,如果不能合并更新,在某些场景下代码几乎是不可用的。
|
||||
|
||||
所以 `batch` 就是为解决这个问题诞生的,让我们有机会控制合并更新的时机:
|
||||
|
||||
```js
|
||||
import React from "react";
|
||||
import { view, store, batch } from "react-easy-state";
|
||||
|
||||
const user = store({ name: "Bob", age: 30 });
|
||||
|
||||
function mutateUser() {
|
||||
// this makes sure the state changes will cause maximum one re-render,
|
||||
// no matter where this function is getting invoked from
|
||||
batch(() => {
|
||||
user.name = "Ann";
|
||||
user.age = 32;
|
||||
});
|
||||
}
|
||||
|
||||
export default view(() => (
|
||||
<div>
|
||||
name: {user.name}, age: {user.age}
|
||||
</div>
|
||||
));
|
||||
```
|
||||
|
||||
`react-easy-state` 通过 `scheduler` 模块完成 `batch` 功能,核心代码只有五行:
|
||||
|
||||
```js
|
||||
export function batch(fn, ctx, args) {
|
||||
let result;
|
||||
unstable_batchedUpdates(() => (result = fn.apply(ctx, args)));
|
||||
return result;
|
||||
}
|
||||
```
|
||||
|
||||
利用 `unstable_batchedUpdates`,可以保证在其内执行的函数都不会触发更新,也就是之前创建的 `forceUpdate` 虽然被调用,但是失效了,等回调执行完毕时再一起批量更新。
|
||||
|
||||
同时代码里还对 `setTimeout` `setInterval` `addEventListener` `WebSocket` 等公共方法进行了 `batch` 包装,让这些回调函数中自带 `batch` 效果。
|
||||
|
||||
# 4. 总结
|
||||
|
||||
好了,`react-easy-state` 神奇的效果解释完了,希望大家在使用第三方库的时候都能理解背后的原理。
|
||||
|
||||
> PS:最后,笔者目前不推荐在 Function Component 模式下使用任何三方数据流库,因为官方功能已经足够好用了!
|
||||
|
||||
> 讨论地址是:[精读《react-easy-state》 · Issue #144 · dt-fe/weekly](https://github.com/dt-fe/weekly/issues/144)
|
||||
|
||||
**如果你想参与讨论,请 [点击这里](https://github.com/dt-fe/weekly),每周都有新的主题,周末或周一发布。前端精读 - 帮你筛选靠谱的内容。**
|
||||
|
||||
> 关注 **前端精读微信公众号**
|
||||
|
||||
<img width=200 src="https://img.alicdn.com/tfs/TB165W0MCzqK1RjSZFLXXcn2XXa-258-258.jpg">
|
||||
|
||||
**special Sponsors**
|
||||
|
||||
- [DevOps 全流程平台](https://e.coding.net/?utm_source=weekly)
|
||||
|
||||
> 版权声明:自由转载-非商用-非衍生-保持署名([创意共享 3.0 许可证](https://creativecommons.org/licenses/by-nc-nd/3.0/deed.zh))
|
||||
@@ -0,0 +1,204 @@
|
||||
# 1. 引言
|
||||
|
||||
这次介绍的文章是 [scheduling-in-react](https://philippspiess.com/scheduling-in-react/),简单来说就是 React 的调度系统,为了得到更顺滑的用户体验。
|
||||
|
||||
毕竟前端做到最后,都是体验优化,前端带给用户的价值核心就在于此。
|
||||
|
||||
# 2. 概述
|
||||
|
||||
文章从 Dan 在 [JSConf](https://reactjs.org/blog/2018/03/01/sneak-peek-beyond-react-16.html) 提到的 Demo 说起:
|
||||
|
||||

|
||||
|
||||
这是一个测试性能的 Demo,随着输入框字符的增加,下方图表展示的数据量会急速提升。在 Synchronous 与 Debounced 模式下的效果都不尽如人意,只有 Concurrent 模式下看起来是顺畅的。
|
||||
|
||||
那么为什么普通的 Demo 会很卡呢?
|
||||
|
||||
这就涉及到浏览器 Event Loop 规则了。
|
||||
|
||||
JS 是单线程的,浏览器同一时间只能做一件事情,而肉眼能识别的刷新频率在 60FPS 左右,这意味着我们需要在 16ms 之内完成 Demo 中的三件事:响应用户输入,做动画,Dom 渲染。
|
||||
|
||||
然而目前几乎所有框架都使用同步渲染模式,这意味着如果一个渲染函数执行时间超过了 16ms,则不可避免的发生卡顿。
|
||||
|
||||
总结一下有两个主要问题:
|
||||
|
||||
1. 长时间运行的任务造成页面卡顿,我们需要保证所有任务能在几毫秒内完成,这样才能保证页面的流畅。
|
||||
2. 不同任务优先级不同,比如响应用户输入的任务优先级就高于动画。这个很好理解。
|
||||
|
||||
## React 调度机制
|
||||
|
||||
为了解决这个问题,React16 通过 Concurrent(并行渲染) 与 Scheduler(调度)两个角度解决问题:
|
||||
|
||||
- **Concurrent:** 将同步的渲染变成可拆解为多步的异步渲染,这样可以将超过 16ms 的渲染代码分几次执行。
|
||||
- **Scheduler:** 调度系统,支持不同渲染优先级,对 Concurrent 进行调度。当然,调度系统对低优先级任务会不断提高优先级,所以不会出现低优先级任务总得不到执行的情况。
|
||||
|
||||
为了保证不产生阻塞的感觉,调度系统会将所有待执行的回调函数存在一份清单中,在每次浏览器渲染时间分片间尽可能的执行,并将没有执行完的内容 Hold 住留到下个分片处理。
|
||||
|
||||
Concurrent 的正式 API 会在 2019 Q2 发布,现在可以通过 `<React.unstable_ConcurrentMode>` API 方式调用:
|
||||
|
||||
```jsx
|
||||
ReactDOM.render(
|
||||
<React.unstable_ConcurrentMode>
|
||||
<App />
|
||||
</React.unstable_ConcurrentMode>,
|
||||
rootElement
|
||||
);
|
||||
```
|
||||
|
||||
只申明这个是不够的,因为我们还没有申明各函数执行的优先级。我们可以通过 `npm i scheduler` 包来申明函数的优先级:
|
||||
|
||||
```jsx
|
||||
import { unstable_next } from "scheduler";
|
||||
|
||||
function SearchBox(props) {
|
||||
const [inputValue, setInputValue] = React.useState();
|
||||
|
||||
function handleChange(event) {
|
||||
const value = event.target.value;
|
||||
|
||||
setInputValue(value);
|
||||
unstable_next(function() {
|
||||
props.onChange(value);
|
||||
sendAnalyticsNotification(value);
|
||||
});
|
||||
}
|
||||
|
||||
return <input type="text" value={inputValue} onChange={handleChange} />;
|
||||
}
|
||||
```
|
||||
|
||||
在 `unstable_next()` 作用域下的代码优先级是 `Normal`,那么产生的效果是:
|
||||
|
||||
1. 如果 `props.onChange(value)` 可以在 16ms 内执行完,则与不使用 `unstable_next` 没有区别。
|
||||
2. 如果 `props.onChange(value)` 的执行时间过长,可能这个函数会在下次几次的 Render 中陆续执行,不会阻塞后续的高优先级任务。
|
||||
|
||||
## 调度带来的限制
|
||||
|
||||
调度系统也存在两个问题。
|
||||
|
||||
1. 调度系统只能有一个,如果同时存在两个调度系统,就无法保证调度正确性。
|
||||
2. 调度系统能力有限,只能在浏览器提供的能力范围内进行调度,而无法影响比如 Html 的渲染、回收周期。
|
||||
|
||||
为了解决这个问题,Chrome 正在与 React、Polymer、Ember、Google Maps、Web Standars Community 共同创建一个 [浏览器调度规范](https://github.com/WICG/main-thread-scheduling),提供浏览器级别 API,可以让调度控制更底层的渲染时机,也保证调度器的唯一性。
|
||||
|
||||
# 3. 精读
|
||||
|
||||
关于 React 调度系统的剖析,可以读 [深入剖析 React Concurrent](https://zhuanlan.zhihu.com/p/60307571) 这篇文章,感谢我们团队的 淡苍 提供。
|
||||
|
||||
简单来说,一次 Render 一般涉及到许多子节点,而 Fiber 架构在 Render 阶段可以暂停,一个一个节点的执行,从而实现了调度的能力。
|
||||
|
||||
## React 调度能力的限制
|
||||
|
||||
> 这意味着,如果你的 React 应用目前是流畅的,开启 Concurrent 并不会对你的应用带来性能体验上的提升,如果你的 React 应用目前是卡顿的,或者在某些场景下是卡顿的,那么 Concurrent 或许可以挽救你一下,带来一些改变。
|
||||
|
||||
正如《深入剖析 React Concurrent》一文提到的,如果你的应用没有性能问题,就不要指望 React 调度能力有所帮助了。
|
||||
|
||||
这也是在说,如果一段代码逻辑不存在性能问题,就不需要使用 Concurrent 优化,因为这种优化是无效的。我们需要能分辨哪些逻辑需要优化,哪些逻辑不要。
|
||||
|
||||
## 从现在开始尝试 Function Component
|
||||
|
||||
为了配合 React Schedule 的实现,学会使用 Function Component 模式编写组件是很重要的,因为:
|
||||
|
||||
1. Class Component 的生命周期概念阻碍了 React 调度系统对任务的拆分。
|
||||
2. 调度系统可能对 `componentWillMount` 重复调用,使得 Class Component 模式下很容易写出错误的代码。
|
||||
3. Function Component 遵循了更严格的副作用分离,这使得 Concurrent 执行过程不会引发意外效果。
|
||||
|
||||
## React.lazy
|
||||
|
||||
与 Concurrent 一起发布的,还有 React 组件动态 import 与载入方案。正常的组件载入是这样的:
|
||||
|
||||
```jsx
|
||||
import OtherComponent from "./OtherComponent";
|
||||
|
||||
function MyComponent() {
|
||||
return (
|
||||
<div>
|
||||
<OtherComponent />
|
||||
</div>
|
||||
);
|
||||
}
|
||||
```
|
||||
|
||||
但如果使用了 `import()` 动态载入,可以使用 `React.lazy` 让动态引入的组件像普通组件一样被使用:
|
||||
|
||||
```jsx
|
||||
const OtherComponent = React.lazy(() => import("./OtherComponent"));
|
||||
|
||||
function MyComponent() {
|
||||
return (
|
||||
<div>
|
||||
<OtherComponent />
|
||||
</div>
|
||||
);
|
||||
}
|
||||
```
|
||||
|
||||
如果要加入 Loading,就可以配合 `Suspense` 一起使用:
|
||||
|
||||
```jsx
|
||||
import React, { lazy, Suspense } from "react";
|
||||
const OtherComponent = lazy(() => import("./OtherComponent"));
|
||||
|
||||
function MyComponent() {
|
||||
return (
|
||||
<Suspense fallback={<div>Loading...</div>}>
|
||||
<OtherComponent />
|
||||
</Suspense>
|
||||
);
|
||||
}
|
||||
```
|
||||
|
||||
和 Concurrent 类似,React.lazy 方案也是一种对性能有益的组件加载方案。
|
||||
|
||||
## 调度分类
|
||||
|
||||
调度分 4 个等级:
|
||||
|
||||
- **Immediate**:立即执行,最高优先级。
|
||||
- **render-blocking**:会阻塞渲染的优先级,优先级类似 `requestAnimationFrame`。如果这种优先级任务不能被执行,就可能导致 UI 渲染被 block。
|
||||
- **default**:默认优先级,普通的优先级。优先级可以理解为 `setTimeout(0)` 的优先级。
|
||||
- **idle**:比如通知等任务,用户看不到或者不在意的。
|
||||
|
||||
目前建议的 API 类似如下:
|
||||
|
||||
```js
|
||||
function mytask() {
|
||||
...
|
||||
}
|
||||
|
||||
myQueue = TaskQueue.default("render-blocking")
|
||||
```
|
||||
|
||||
先创建一个执行队列,并设置队列的优先级。
|
||||
|
||||
```js
|
||||
taskId = myQueue.postTask(myTask, <list of args>);
|
||||
```
|
||||
|
||||
再提交队列,拿到当前队列的执行 id,通过这个 id 可以判断队列何时执行完毕。
|
||||
|
||||
```js
|
||||
myQueue.cancelTask(taskId);
|
||||
```
|
||||
|
||||
必要的时候可以取消某个函数的执行。
|
||||
|
||||
# 4. 总结
|
||||
|
||||
随着 Hooks 的发布,即将到来的 Concurrent 与 Suspense 你是否准备好了呢?
|
||||
|
||||
笔者希望大家一起思考,这三种 API 会给前端开发带来什么样的改变?欢迎留言!
|
||||
|
||||
> 讨论地址是:[精读《Scheduling in React》 · Issue #146 · dt-fe/weekly](https://github.com/dt-fe/weekly/issues/146)
|
||||
|
||||
**如果你想参与讨论,请 [点击这里](https://github.com/dt-fe/weekly),每周都有新的主题,周末或周一发布。前端精读 - 帮你筛选靠谱的内容。**
|
||||
|
||||
> 关注 **前端精读微信公众号**
|
||||
|
||||
<img width=200 src="https://img.alicdn.com/tfs/TB165W0MCzqK1RjSZFLXXcn2XXa-258-258.jpg">
|
||||
|
||||
**special Sponsors**
|
||||
|
||||
- [DevOps 全流程平台](https://e.coding.net/?utm_source=weekly)
|
||||
|
||||
> 版权声明:自由转载-非商用-非衍生-保持署名([创意共享 3.0 许可证](https://creativecommons.org/licenses/by-nc-nd/3.0/deed.zh))
|
||||
@@ -0,0 +1,201 @@
|
||||
# 1. 引言
|
||||
|
||||
本周精读的文章是 [V8 引擎 Lazy Parsing](https://v8.dev/blog/preparser),看看 V8 引擎为了优化性能,做了怎样的尝试吧!
|
||||
|
||||
这篇文章介绍的优化技术叫 [preparser](https://cs.chromium.org/chromium/src/v8/src/parsing/preparser.h?l=921&rcl=e3b2feb3aade83c02e4bd2fa46965a69215cd821),是通过跳过不必要函数编译的方式优化性能。
|
||||
|
||||
# 2. 概述 & 精读
|
||||
|
||||
解析 Js 发生在网页运行的关键路径上,因此加速对 JS 的解析,就可以加速网页运行效率。
|
||||
|
||||
然而并不是所有 Js 都需要在初始化时就被执行,因此也不需要在初始化时就解析所有的 Js!因为编译 Js 会带来三个成本问题:
|
||||
|
||||
1. 编译不必要的代码会占用 CPU 资源。
|
||||
2. 在 GC 前会占用不必要的内存空间。
|
||||
3. 编译后的代码会缓存在磁盘,占用磁盘空间。
|
||||
|
||||
因此所有主流浏览器都实现了 Lazy Parsing(延迟解析),它会将不必要的函数进行预解析,也就是只解析出外部函数需要的内容,而全量解析在调用这个函数时才发生。
|
||||
|
||||
## 预解析的挑战
|
||||
|
||||
本来预解析也不难,因为只要判断一个函数是否会立即执行就可以了,只有立即执行的函数才需要被完全解析。
|
||||
|
||||
使得预解析变复杂的是变量分配问题。原文通过了堆栈调用的例子说明原因:
|
||||
|
||||
Js 代码的执行在堆栈上完成,比如下面这个函数:
|
||||
|
||||
```js
|
||||
function f(a, b) {
|
||||
const c = a + b;
|
||||
return c;
|
||||
}
|
||||
|
||||
function g() {
|
||||
return f(1, 2);
|
||||
// The return instruction pointer of `f` now points here
|
||||
// (because when `f` `return`s, it returns here).
|
||||
}
|
||||
```
|
||||
|
||||
这段函数的调用堆栈如下:
|
||||
|
||||
<img width=200 src="https://img.alicdn.com/tfs/TB1gNCsRVYqK1RjSZLeXXbXppXa-173-333.svg">
|
||||
|
||||
首先是全局 This `globalThis`,然后执行到函数 `f`,再对 `a` `b` 进行赋值。在执行 `f` 函数时,通过 `<rip g>`(return instruction pointer) 保存 g 堆栈状态,再保存堆栈跳出后返回位置的指针 `<save fp>`(frame pointer),最后对变量 `c` 赋值。
|
||||
|
||||
这看上去没有问题,只要将值存在堆栈就搞定了。但是将变量定义到函数内部就不一样了:
|
||||
|
||||
```js
|
||||
function make_f(d) {
|
||||
// ← declaration of `d`
|
||||
return function inner(a, b) {
|
||||
const c = a + b + d; // ← reference to `d`
|
||||
return c;
|
||||
};
|
||||
}
|
||||
|
||||
const f = make_f(10);
|
||||
|
||||
function g() {
|
||||
return f(1, 2);
|
||||
}
|
||||
```
|
||||
|
||||
将变量 `d` 申明在函数 `make_f` 中,且在返回函数 `inner` 中用到了 `d`。那么函数的调用栈就变成了这样:
|
||||
|
||||
<img width=500 src="https://img.alicdn.com/tfs/TB1HiuGR4YaK1RjSZFnXXa80pXa-428-292.svg">
|
||||
|
||||
需要创建一个 `context` 存储函数 `f` 中变量 `d` 的值。
|
||||
|
||||
也就是说,如果一个在函数内部定义的变量被子 Scope 使用时,Js 引擎需要识别这种情况,并将这个变量值存储在 `context` 中。
|
||||
|
||||
所以对于函数定义的每一个入参,我们需要知道其是否会被子函数引用。**也就是说,在 `preparser` 阶段,我们只要少能分析出哪些变量被内部函数引用了。**
|
||||
|
||||
## 难以分辨的引用
|
||||
|
||||
预处理器中跟踪变量的申明与引用很复杂,因为 Js 的语法导致了无法从部分表达式推断含义,比如下面的函数:
|
||||
|
||||
```js
|
||||
function f(d) {
|
||||
function g() {
|
||||
const a = ({ d }
|
||||
```
|
||||
|
||||
我们不清楚第三行的 `d` 到底是不是指代第一行的 `d`。它可能是:
|
||||
|
||||
```js
|
||||
function f(d) {
|
||||
function g() {
|
||||
const a = ({ d } = { d: 42 });
|
||||
return a;
|
||||
}
|
||||
return g;
|
||||
}
|
||||
```
|
||||
|
||||
也可能只是一个自定义函数参数,与上面的 `d` 无关:
|
||||
|
||||
```js
|
||||
function f(d) {
|
||||
function g() {
|
||||
const a = ({ d }) => d;
|
||||
return a;
|
||||
}
|
||||
|
||||
return [d, g];
|
||||
}
|
||||
```
|
||||
|
||||
## 惰性 parse
|
||||
|
||||
在执行函数时,只会将最外层执行的函数完全编译并生成 AST,而对内部模块只进行 `preparser`。
|
||||
|
||||
```js
|
||||
// This is the top-level scope.
|
||||
function outer() {
|
||||
// preparsed
|
||||
function inner() {
|
||||
// preparsed
|
||||
}
|
||||
}
|
||||
|
||||
outer(); // Fully parses and compiles `outer`, but not `inner`.
|
||||
```
|
||||
|
||||
为了允许惰性编译函数,上下文指针指向了 [ScopeInfo](https://cs.chromium.org/chromium/src/v8/src/objects/scope-info.h?rcl=ce2242080787636827dd629ed5ee4e11a4368b9e&l=36) 的对象(从代码中可以看到,ScopeInfo 包含上下文信息,比如当前上下文是否有函数名,是否在一个函数内等等),当编译内部函数时,可以利用 ScopeInfo 继续编译子函数。
|
||||
|
||||
但是为了判断惰性编译函数自身是否需要一个上下文,我们需要再次解析内部的函数:比如我们需要知道某个子函数是否对外层函数定义的变量有所引用。
|
||||
|
||||
这样就会产生递归遍历:
|
||||
|
||||
<img width=800 src="https://img.alicdn.com/tfs/TB1uCOPR7voK1RjSZFwXXciCFXa-960-540.svg">
|
||||
|
||||
由于代码总会包含一些嵌套,而编译工具更会产生 IIFE(立即调用函数) 这种多层嵌套的表达式,使得递归性能比较差。
|
||||
|
||||
而下面有一种办法可以将时间复杂度简化为线性:将变量分配的位置序列化为一个密集的数组,当惰性解析函数时,变量会按照原先的顺序重新创建,这样就不需要因为子函数可能引用外层定义变量的原因,对所有子函数进行递归惰性解析了。
|
||||
|
||||
按照这种方式优化后的时间复杂度是线性的:
|
||||
|
||||
<img width=800 src="https://img.alicdn.com/tfs/TB1VS5LR7voK1RjSZFNXXcxMVXa-960-540.svg">
|
||||
|
||||
## 针对模块化打包的优化
|
||||
|
||||
由于现代代码几乎都是模块化编写的,构建起在打包时会将模块化代码封装在 IIFE(立即调用的闭包)中,以保证模拟模块化环境运行。比如 `(function(){....})()`。
|
||||
|
||||
这些代码看似在函数中应该惰性编译,但其实这些模块化代码从一开始就要被编译,否则反而会影响性能,因此 V8 有两种机制识别这些可能被立即调用的函数:
|
||||
|
||||
1. 如果函数是带括号的,比如 `(function(){...})`,就假设它会被立即调用。
|
||||
2. 从 V8 v5.7 / Chrome 57 开始,还会识别 uglifyJS 的 `!function(){...}(), function(){...}(), function(){...}()` 这种模式。
|
||||
|
||||
然而在浏览器引擎解析环境比较复杂,很难对函数进行完整字符串匹配,因此只能对函数头进行简单判断。所以对于下面这种匿名函数的行为,浏览器是不识别的:
|
||||
|
||||
```js
|
||||
// pre-parser
|
||||
function run(func) {
|
||||
func()
|
||||
}
|
||||
|
||||
run(function(){}) // 在这执行它,进行 full parser
|
||||
```
|
||||
|
||||
上面的代码看上去没毛病,但由于浏览器只检测被括号括住的函数,因此这个函数不被认为是立即执行函数,因此在后续执行时会被重复 full-parse。
|
||||
|
||||
也有一些代码辅助转换工具帮助 V8 正确识别,比如 [optimize-js](https://github.com/nolanlawson/optimize-js),会将代码做如下转换。
|
||||
|
||||
转换前:
|
||||
|
||||
```js
|
||||
!function (){}()
|
||||
function runIt(fun){ fun() }
|
||||
runIt(function (){})
|
||||
```
|
||||
|
||||
转换后:
|
||||
|
||||
```js
|
||||
!(function (){})()
|
||||
function runIt(fun){ fun() }
|
||||
runIt((function (){}))
|
||||
```
|
||||
|
||||
然而在 V8 v7.5+ 已经很大程度解决了这个问题,因此现在其实不需要使用 [optimize-js](https://github.com/nolanlawson/optimize-js) 这种库了~
|
||||
|
||||
# 4. 总结
|
||||
|
||||
JS 解析引擎在性能优化做了不少工作,但同时也要应对代码编译器产生的特殊 IIFE 闭包,防止对这种立即执行闭包进行重复 parser。
|
||||
|
||||
最后,不要试图总是将函数用括号括起来,因为这样会导致惰性编译的特性无法启用。
|
||||
|
||||
> 讨论地址是:[精读《V8 引擎 Lazy Parsing》 · Issue #148 · dt-fe/weekly](https://github.com/dt-fe/weekly/issues/148)
|
||||
|
||||
**如果你想参与讨论,请 [点击这里](https://github.com/dt-fe/weekly),每周都有新的主题,周末或周一发布。前端精读 - 帮你筛选靠谱的内容。**
|
||||
|
||||
> 关注 **前端精读微信公众号**
|
||||
|
||||
<img width=200 src="https://img.alicdn.com/tfs/TB165W0MCzqK1RjSZFLXXcn2XXa-258-258.jpg">
|
||||
|
||||
**special Sponsors**
|
||||
|
||||
- [DevOps 全流程平台](https://e.coding.net/?utm_source=weekly)
|
||||
|
||||
> 版权声明:自由转载-非商用-非衍生-保持署名([创意共享 3.0 许可证](https://creativecommons.org/licenses/by-nc-nd/3.0/deed.zh))
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user