Preact 10.x版本中列表渲染顺序问题的分析与解决

问题背景

在Preact 10.16.0至10.22.0版本中，开发人员发现了一个关于列表渲染顺序的严重问题。当使用key属性渲染动态列表时，如果对数组进行重新排序（如洗牌操作），渲染结果会出现意外的顺序错乱。这个问题在10.15.0及以下版本中并不存在，表明这是在新版本中引入的回归问题。

问题复现

问题可以通过以下两种方式复现：

1. 简单洗牌测试：

const jsx = (items) => (
  <div>
    {items.map((key) => (
      <div key={key}>{key}</div>
    ))}
  </div>
);

const a = ["0", "1", "2", "3", "4", "5", "6"];
const b = ["1", "3", "5", "2", "6", "4", "0"];
render(jsx(a), scratch);
render(jsx(b), scratch);

2. 随机化压力测试：

it('handle shuffled', () => {
  function randomize(arr) {
    for (let i = arr.length - 1; i > 0; i--) {
      let j = Math.floor(Math.random() * (i + 1));
      [arr[i], arr[j]] = [arr[j], arr[i]];
    }
    return arr;
  }

  const a = Array.from({ length: 8 }).map((_, i) => `${i}`);
  
  for (let i = 0; i < 10000; i++) {
    const aa = randomize(a);
    render(<App items={aa}/>, scratch);
    // 验证渲染结果是否与输入顺序一致
  }
});

技术分析

这个问题源于Preact 10.16.0中引入的"skew based diff"算法优化。该算法原本旨在提高列表渲染的性能，但在处理某些特定顺序的数组重排时会出现错误。

核心问题在于diff算法在比较新旧子节点时，没有正确处理所有可能的排列组合情况。特别是当数组中元素的位置发生大规模变动时，算法可能会错误地保留某些DOM节点的位置，而不是按照新的key顺序重新排列。

影响范围

该问题影响以下场景：

• 使用map渲染带key的动态列表
• 列表项顺序发生变化的场景（如排序、洗牌、过滤等操作）
• 特别是当列表长度较大且变化幅度较大时更容易出现

解决方案

Preact团队在发现问题后迅速响应，通过以下方式解决了问题：

1. 修复了diff算法中的边界条件处理
2. 增加了针对随机化输入的测试用例
3. 确保算法能够正确处理所有可能的排列组合

最终的修复确保了列表渲染顺序始终与提供的key顺序一致，即使在高度随机化的输入下也能保持正确。

最佳实践

为避免类似问题，开发者应该：

1. 始终为动态列表项提供稳定且唯一的key
2. 在更新列表时，避免直接修改原数组，而是创建新数组
3. 对于关键业务场景，考虑添加渲染结果的验证逻辑
4. 保持Preact版本更新，以获取最新的稳定性修复

总结

这个案例展示了即使是经过充分测试的流行框架，在性能优化过程中也可能引入意外的回归问题。同时也体现了良好测试覆盖率的重要性，以及开源社区在发现问题后快速响应和修复的能力。对于开发者而言，理解框架内部工作原理有助于更快地定位和解决类似问题。