为什么提升结果数组会使递归按预期工作？

Question

考虑下面的树。

它由以下数据结构表示。

const Node = (name, value, children) => ({ name, value, children });

const tree = Node("A", 4, [
    Node("B", 7, [
        Node("C", 9, [])
    ]),
    Node("D", 11, [
        Node("E", 9, [])
    ]),
    Node("F", 55, []),
    Node("G", 65, [
        Node("H", 21, []),
        Node("I", 23, [])
    ])
]);

现在，我想获取树中大于某个值的所有值的数组。 这是我尝试过的。

 const Node = (name, value, children) => ({ name, value, children }); const tree = Node("A", 4, [ Node("B", 7, [ Node("C", 9, []) ]), Node("D", 11, [ Node("E", 9, []) ]), Node("F", 55, []), Node("G", 65, [ Node("H", 21, []), Node("I", 23, []) ]) ]); const result = findHigherInNode(tree, 20); console.log(result); function findHigherInNode(node, num) { console.log(node.name); const isGreater = []; if (node.value > num) { isGreater.push(node.value); } for (let i = 0; i < node.children.length; i++) { findHigherInNode(node.children[i], num); } return isGreater; }

请注意，虽然我正在遍历整个树，但我没有得到正确的结果。

但是，如果我将递归移动到本地recurse function 中，同时将isGreater数组保持在同一个 scope 中，那么它就可以工作。

 const Node = (name, value, children) => ({ name, value, children }); const tree = Node("A", 4, [ Node("B", 7, [ Node("C", 9, []) ]), Node("D", 11, [ Node("E", 9, []) ]), Node("F", 55, []), Node("G", 65, [ Node("H", 21, []), Node("I", 23, []) ]) ]); const result = findHigherInNode(tree, 20); console.log(result); function findHigherInNode(node, num) { const isGreater = []; function recurse(node, num) { if (node.value > num) { isGreater.push(node.value); } for (let i = 0; i < node.children.length; i++) { recurse(node.children[i], num); } } recurse(node, num); return isGreater; }

为什么我的第一个代码段会产生错误的结果？ 为什么我的第二个代码片段会产生正确的结果？ 它们之间的唯一区别是isGreater数组在第二个代码片段中被提升到更高的 scope 。

Answer 1

为什么我的第一个代码段会产生错误的结果？

因为isGreater是一个新的绑定，每次调用findHigherInNode时都初始化为[]

为什么我的第二个代码片段会产生正确的结果？

因为isGreater在findHigherInNode被调用后被初始化一次，并且recurse不会为每个后续调用创建新的绑定

为什么我会遇到这种问题？

因为你没有使用生成器！ 生成器让这种问题消失了——

 function* inorder (t) { yield t.value for (const c of t.children) yield *inorder(c) } const tree = {name: 'A',value: 21,children: [{name: 'B', value: 7,children: [{name: 'C', value: 9, children: []}]},{name: 'D', value: 11,children: [{name: 'E', value: 9, children: []}]},{name: 'F', value: 55, children: []},{name: 'G', value: 65,children: [{name: 'H', value: 21, children: []},{name: 'I', value: 33, children: []}]}]} for (const v of inorder(tree)) if (v > 20) console.log(v)

21
55
65
21
33

但是，产生整个节点可能会更聪明，允许生成器的调用者从遍历中选择与 select 相关的数据

 function* inorder (t) { yield t // <- yield entire node for (const c of t.children) yield *inorder(c) } const tree = {name: 'A',value: 21,children: [{name: 'B', value: 7,children: [{name: 'C', value: 9, children: []}]},{name: 'D', value: 11,children: [{name: 'E', value: 9, children: []}]},{name: 'F', value: 55, children: []},{name: 'G', value: 65,children: [{name: 'H', value: 21, children: []},{name: 'I', value: 33, children: []}]}]} for (const node of inorder(tree)) if (node.value > 20) // <- entire node accessible here console.log(node.name, node.value)

A 21
F 55
G 65
H 21
I 33

但是没有发电机有可能吗？

是的。

 function inorder (t) { return [t, ...t.children.flatMap(inorder)] } const tree = {name: 'A',value: 21,children: [{name: 'B', value: 7,children: [{name: 'C', value: 9, children: []}]},{name: 'D', value: 11,children: [{name: 'E', value: 9, children: []}]},{name: 'F', value: 55, children: []},{name: 'G', value: 65,children: [{name: 'H', value: 21, children: []},{name: 'I', value: 33, children: []}]}]} for (const node of inorder(tree)) if (node.value > 20) console.log(node.name, node.value)

A 21
F 55
G 65
H 21
I 33