在编写程序第 2.3 章中,有一个函数 print_part() 让我感到困惑(此处为完整代码):
>>> def print_parts(tree, partition=[]):
if is_leaf(tree):
if root(tree):
print(' + '.join(partition))
else:
left, right = branches(tree)
m = str(root(tree))
print_parts(left, partition + [m])
print_parts(right, partition)
>>> print_parts(partition_tree(6, 4))
4 + 2
4 + 1 + 1
3 + 3
3 + 2 + 1
3 + 1 + 1 + 1
2 + 2 + 2
2 + 2 + 1 + 1
2 + 1 + 1 + 1 + 1
1 + 1 + 1 + 1 + 1 + 1
此函数使用最多 4 个到分区 6 的部分打印所有方式。我了解分区算法在 partition_tree() 中的工作原理,并且理解分区树没有问题:
4
_________________________
| |
4 3
_______ _____
| | | |
.. ... ... ...
但我仍然不知道如何从分区树打印分区方式。特别是这些行:
print(' + '.join(partition))
print_parts(left, partition + [m])
print_parts(right, partition)
# why call twice? and the recursion here didn't looks like the
# way the print_parts() called in the beginning.
更新:
这里的递归看起来不像 print_parts() 一开始调用的方式。
以一个更简单的 args 为例来说明我的困惑:
>>> print_parts(partition_tree(3, 2))
2 + 1
1 + 1 + 1
分区树是:
2
--------------------------------
2 1
---------------- ------------------------
F 1 1 F
------ ------------
T F 1 F
-------
T F
或者
[2, [2, [False], [1, [True], [False]]], [1, [1, [1, [True], [False]],[False]],[False]]]
上面的列表首先作为树的值传递给 func print_parts()。
当去这条线时:
print_parts(left, partition + [m])
左边的值为
[[2, [False], [1, [True], [False]]], [1, [1, [1, [True], [False]],[False]],[False]]]
它不再是一棵树,因为在定义中,树应该具有如下结构:[node, [branch],[branch]]
。如果是这样,递归就不能工作。