小程序中，一个重要的性能环节就是同步 worker 进程数据到渲染进程。对于使用响应式来管理状态的情况，搜索社区实现，可以发现很多只是粗暴地递归遍历一下复杂对象，从而监听到数据变化。
在 Goldfish 中，同样使用了响应式引擎来管理状态数据。响应式天生的好处是：能够精确监听状态数据变化，然后生成最小化的数据更新对象。
举个例子，假如现在有一个响应式对象：
const observableObj = {
name: '禺疆',
address: {
city: 'ChengDu',
},
};
如果将 city 修改为 'HangZhou'，那么很容易生成小程序中 setData 能直接使用的如下数据更新对象：
const updateObj = {
'address.city': 'HangZhou',
};
当然，我们不可能数据每次变化的时候，就立即调用 setData 去更新数据，毕竟频繁更新是很耗性能的。所以，我们需要使用 setData、 $spliceData、 $batchedUpdates 批量更新。
批量时机
要做批量更新，第一步就是划分什么时间段内的更新算是一个批量。
很自然地，我们想到使用 setTimeout：在监听到数据更新请求时，使用 setTimeout 计时，搜集时间段内所有的数据更新需求，在计时结束时统一更新。
实际上，在移动端应当谨慎使用 setInterval、setTimeout 计时，由于移动设备节省电量，很容易不准。比如 setInterval 设置时间间隔为 8 分钟，在移动设备上很容易出现时间间隔变长为 16 分钟左右。
既然 setTimeout 不行，那么我们第二个想到的可能是 requestAnimationFrame。很遗憾，小程序 worker 进程里面没有 requestAnimationFrame。
最后，只剩下 Microtask 了。在小程序的 worker 进程里，我们可以借助 Promise.resolve() 来生成 Microtask，参考如下伪代码：
setData request 1
setData request 2
setData request 3
await Promise.resolve()
combine request 1 2 3
setData
实际上，由于响应式引擎的监听回调触发做了 Promise.resolve() 批量处理的逻辑，并且在我们的业务代码中，也很容出现 Microtask，数据更新请求（setData Request）并不是上述规规矩矩从上到下同步执行的，很可能在若干个 Microtask 中穿插请求。因此，上述搜集到的数据更新请求是不完整的，我们需要搜集到当前同步代码块及同步代码块中产生的所有 Microtask 生成的数据更新请求：
export class Batch {
private segTotalList: number[] = [];
private counter = 0;
private cb: () => void;
public constructor(cb: () => void) {
this.cb = cb;
}
// 每次有数据请求的时候，都调用一下 set。
public async set() {
const segIndex = this.counter === 0
? this.segTotalList.length
: (this.segTotalList.length - 1);
if (!this.segTotalList[segIndex]) {
this.segTotalList[segIndex] = 0;
}
this.counter += 1;
this.segTotalList[segIndex] += 1;
await Promise.resolve();
this.counter -= 1;
// 同步块中最后一个 set 调用对应的 Microtask
if (this.counter === 0) {
const segLength = this.segTotalList.length;
// 看看下一个 Microtask 触发前，是否还有新的更新请求进来。
// 如果没有，说明更新请求稳定了，立即触发更新逻辑（this.cb）
await Promise.resolve();
if (this.segTotalList.length === segLength) {
this.cb();
this.counter = 0;
this.segTotalList = [];
}
}
}
}
优化更新对象
搞定更新时机之后，我们只需要在合适的时机，将积累的更新逻辑放置在 $batchedUpdates 中执行就好了。
但是在项目中发现，页面初始数据格式化的时候，如果数据结构很复杂，就很容易产生具有大量扁平 key 的更新对象，类似这样：
setData({
'state.key1': 'xxx',
'state.key2.key21': 'xx',
'state.key3': 'xxx',
...
});
虽然更新对象看起来都很“最小化”，但是传递给渲染进程并还原成正常对象的过程中，肯定少不了耗时的 key 恢复处理。我们也实际测试过，如果直接调用 setData 去更新复杂数据对象，小程序还是比较流畅的，但是换成“最小化”更新对象之后，小程序有明显的卡滞。
因此，在构造更新数据时，应当设置一个 key 数量上限，如果超出上限，应当合并，形成 key 数量更小的更新对象。比如上述示例，可以合并成：
setData({
state: {
...this.data.state,
...{
key1: 'xxx',
key2: {
key21: 'xx',
},
key3: 'xxx',
},
},
...
});
我们可以把更新对象当做一棵树，比如上述例子，对应的树形结构如下：
state
/ | \
key1 key2 key3
|
key21
有多少个叶子节点，就会生成多少个 key。
在搜集更新请求阶段，可以顺手构造对应的树形结构。在更新时，按照深度优先的顺序遍历树，生成更新对象。遍历过程中，记录已生成的 key 数量。可能遍历到树中某个节点时，发现加上直接子节点数量，已经超过 key 数量限制了，此时就不要向下遍历了，直接在该节点处生成更新对象。代码参考：
class UpdateTree {
private root = new Ancestor();
private view: View;
private limitLeafTotalCount: LimitLeafCounter;
public constructor(view: View, limitLeafTotalCount: LimitLeafCounter) {
this.view = view;
this.limitLeafTotalCount = limitLeafTotalCount;
}
// 构造树
public addNode(keyPathList: (string | number)[], value: any) {
let curNode = this.root;
const len = keyPathList.length;
keyPathList.forEach((keyPath, index) => {
if (curNode.children === undefined) {
if (typeof keyPath === 'number') {
curNode.children = [];
} else {
curNode.children = {};
}
}
if (index < len - 1) {
const child = (curNode.children as any)[keyPath];
if (!child || child instanceof Leaf) {
const node = new Ancestor();
node.parent = curNode;
(curNode.children as any)[keyPath] = node;
curNode = node;
} else {
curNode = child;
}
} else {
const lastLeafNode: Leaf = new Leaf();
lastLeafNode.parent = curNode;
lastLeafNode.value = value;
(curNode.children as any)[keyPath] = lastLeafNode;
}
});
}
private getViewData(viewData: any, k: string | number) {
return isObject(viewData) ? viewData[k] : null;
}
private combine(curNode: Ancestor | Leaf, viewData: any): any {
if (curNode instanceof Leaf) {
return curNode.value;
}
if (!curNode.children) {
return undefined;
}
if (Array.isArray(curNode.children)) {
return curNode.children.map((child, index) => {
return this.combine(child, this.getViewData(viewData, index));
});
}
const result: Record = isObject(viewData) ? viewData : {};
for (const k in curNode.children) {
result[k] = this.combine(curNode.children[k], this.getViewData(viewData, k));
}
return result;
}
private iterate(
curNode: Ancestor | Leaf,
keyPathList: (string | number)[],
updateObj: Record,
viewData: any,
availableLeafCount: number,
) {
if (curNode instanceof Leaf) {
updateObj[generateKeyPathString(keyPathList)] = curNode.value;
this.limitLeafTotalCount.addLeaf();
} else {
const children = curNode.children;
const len = Array.isArray(children)
? children.length
: Object.keys(children || {}).length;
if (len > availableLeafCount) {
updateObj[generateKeyPathString(keyPathList)] = this.combine(curNode, viewData);
this.limitLeafTotalCount.addLeaf();
} else if (Array.isArray(children)) {
children.forEach((child, index) => {
this.iterate(
child,
[
...keyPathList,
index,
],
updateObj,
this.getViewData(viewData, index),
this.limitLeafTotalCount.getRemainCount() - len,
);
});
} else {
for (const k in children) {
this.iterate(
children[k],
[
...keyPathList,
k,
],
updateObj,
this.getViewData(viewData, k),
this.limitLeafTotalCount.getRemainCount() - len,
);
}
}
}
}
// 生成更新对象
public generate() {
const updateObj: Record = {};
this.iterate(
this.root,
[],
updateObj,
this.view.data,
this.limitLeafTotalCount.getRemainCount(),
);
return updateObj;
}
public clear() {
this.root = new Ancestor();
}
}
到此为止，我们已经能在合适的时机，针对某个页面或组件生成限定数量的 key 去同步数据了。
还有个问题需要解决：更新顺序。上述更新过程，我们会针对普通对象，使用 setData，针对数组，使用 $spliceData。在这两个方法之前，会分别准备好两个方法的对象参数。假设如下场景：
// page 的 data.list 中已经存在一个元素
pageInstance.data = {
list: ['0'],
};
// 某个时刻，调用 setData 和 $spliceData 更新数据
pageInstance.setData({
'list[1]': '1',
});
pageInstance.$spliceData({
list: [1, 0, '2'],
});
更新完成之后，pageInstance.data.list 变为 ['0', '2', '1']，如果调换 setData 和 $spliceData 的顺序，那么 pageInstance.data.list 将会变为 ['0', '1']。
因此，我们不能打乱批量更新中 setData 和 $spliceData 的调用顺序。
此时，我们构造的批量更新逻辑必须满足：
- 不能打乱顺序；
- 控制 key 数量上限。
为了保持顺序，在批量更新块中，比如：
setData request
setData request
spliceData request
spliceData request
setData request
前两个合并成一个 setData 更新对象，中间两个合并成一个 $spliceData 更新对象，最后一个是单独的 setData 更新对象。
前后两个 setData 更新对象的 key 数量，统一受 key 数量的限制。
绝大多数情况下，$spliceData 更新对象会比较小，因此不限制该更新对象的 key 数量。
至此，所有已知问题处理完毕，完整代码参考此处。