vue.js - 为什么 vue3 不必要地重新渲染 v-for 中的节点？

Question

这是我为调查 vue3 中列表的不必要节点重新渲染而进行的一个小测试(vue2 具有相同的行为):https://kasheftin.github.io/vue3-rerender/ .这是源代码:https://github.com/Kasheftin/vue3-rerender/tree/master .
我试图理解为什么 vue 在某些情况下会重新渲染 v-for 中已经渲染的节点。我知道(并将在下面提供)一些避免重新渲染的技术，但对我来说，理解理论至关重要。
对于测试，我添加了一个虚拟 v-test 指令，该指令仅在触发 mount/beforeUnmount Hook 时记录。
测试 1

<div v-for="i in n" :key="i">
  <div>{{ i }}</div>
  <div v-test="log2">{{ log(i) }}</div>
</div>

结果:当 n 增加时，所有节点都重新渲染。为什么？如何避免这种情况？
测试 2

Test2.vue:
<RerenderNumber v-for="i in n" :key="i" :i="i" />

RerenderNumber.vue:
<template>
  <div v-test="log2">{{ log() }}</div>
</template>

结果:它工作正常。将内部内容从 test1 移动到单独的组件可以解决此问题。为什么？
测试 3

<RerenderObject v-for="i in n" :key="i" :test="{ i: { i: { i } } }" />

结果:不必要的重新渲染。在将对象发送到某个子组件之前，似乎不允许在循环中动态构造对象，可能是因为 {} != {}在 JavaScript 中。
测试 4

<template>
  <RerenderNumberStore v-for="item in items" :key="item.id" :item="item" />
</template>

<script>
export default {
  computed: {
    items () {
      return this.$store.state.items
    }
  },
  methods: {
    addItem () {
      this.$store.commit('addItem', { id: this.items.length, name: `Item ${this.items.length}` })
    }
  }
}
</script>

这里使用了最简单的 vuex 存储。它工作正常 - 尽管 item Prop 是一个对象，但没有不必要的重新渲染。
测试 5

<RerenderNumberStore v-for="item in items" :key="item.id" :item="{ id: item.id, name: item.name }" />

与测试 4 相同，但重新构建了 item prop - 我们得到了不必要的重新渲染。
测试 6

Test6.vue:
<RerenderNumberStoreById v-for="item in items" :key="item.id" :item-id="item.id" />

RerenderNumberStoreById.vue:
<template>
  <div v-test="log">{{ item.name }}</div>
</template>

<script>
export default {
  props: ['itemId'],
  computed: {
    item () { return this.$store.state.items.find(item => item.id === this.itemId) }
  }
}
</script>

结果:不必要的重新渲染。为什么？我找不到行为与测试 4 不同的任何原因。这对我来说不太清楚 - 当新项目添加到 items 数组时，计算的项目不会以任何方式更改。它返回相同的对象。它必须被缓存，与之前的值匹配，并且不会触发 DOM 中的任何更新。

Answer 1

Vue 是一个响应式系统，因此，要回答这个问题，我们应该了解可缓存的 observables 是如何工作的以及它们的粒度是多少。所以，请多多包涵。
想象一下你有一个昂贵的功能，例如

getCurrentTotal() { return state.x + state.y; }

并且它没有副作用，即对于相同的 x和 y结果是完全一样的，我们永远不需要再次调用它，除非任何一个值发生变化。
要启用观察，您会想出一些包装器，例如

const state = reactive({x:1,y:2,z:3})

这个包装器将创建一个观察者 map :

--- initial state ---
x -> []
y -> []
z -> []

(这张 map “生活”在哪里或以何种形式并不重要，有很多策略)
它还将创建结果缓存。
当你的函数第一次被调用(又名“试运行”)时，每次访问响应式 state对象被内存，观察者的 map 被更新为:

--- after first run of getCurrentTotal() ---
x -> [getCurrentTotal]
y -> [getCurrentTotal]
z -> []

结果的缓存将得到getCurrentTotal,{x:1, y:2} -> 3 (简化)。
现在，如果你做类似的事情

state.x++

state.x 的二传手会发现需要运行getCurrentTotal()再次，因为 {x:2, y:2}不在缓存中，等等，你有一个更新。
现在， TLDR :
在您的第一个示例 Test1 中，可观察函数是整个 for 循环:

observedRenderer1() {
   for i in n: 
     add or modify (if :key exists) a div and inside put all the stuff
} 

注意，它将在 n 中的任何更改时调用并将经历整个循环。这里没有捷径。
在您的第二个示例 Test2 中，

observedRenderer2() {
   for i in n: 
      callSomeOtherRenderer(i)
} 

啊哈!循环仍然存在。但是现在我们的工作单元更加细化了。响应式(Reactive)系统检查它的缓存并且不为 RerenderNumber(1) 调用渲染器或 RenderNumber(2)如果它已经有了这些结果。
现实有点复杂，Vue 将所有结果的副本保存在 Virtual DOM 中(不要与 Shadow DOM 混淆!)在那里它保存了足够的信息来了解 shouldComponentUpdate或不。是的，可以在虚拟树中为循环迭代中的每个 div 创建一个 VNode。但是对于 100x100 单元格的密集表，您的树中将有 10k 个对象，作为 Vue 的用户，您将永远无法优化它。
虽然您的问题感觉像是发现了一个错误，但它实际上是一种强大的机制，可让您精确控制更新的粒度。内存/速度权衡之类的东西。
Test3(或 Test5)失败的更深层次的原因是相同的:每次迭代都在创建新对象，并且在重新渲染期间对它们调用 deep equals 在现实生活中过于昂贵。将它们作为单独的 Prop (如 Test4)传递，你会没事的。
如果您认为在试运行期间每个项目都必须运行整个项目集合，那么测试 6 很容易解释，因此，每个渲染的依赖关系图 RerenderNumberStoreById由列表中的每一项组成。