这不会产生排列。它生成n维笛卡尔积。 (在此过程中,它还会生成所有排列,但仅生成排列的算法会有所不同。)
解释它是如何工作有点困难,但是如果你看一下小输入的输出,你就可以看到发生了什么。考虑'abc'和[None] * 3的输出(我修改了代码以充当真正的生成器):
>>> def generate(charlist,state,position):
... for i in charlist:
... state[position] = i
... if position == (len(state)-1):
... yield "".join(state)
... else:
... for j in generate(charlist,state,position+1):
... yield j
...
>>> print list(generate('abc', [None] * 3, 0))
['aaa', 'aab', 'aac', 'aba', 'abb', 'abc', 'aca', 'acb', 'acc',
'baa', 'bab', 'bac', 'bba', 'bbb', 'bbc', 'bca', 'bcb', 'bcc',
'caa', 'cab', 'cac', 'cba', 'cbb', 'cbc', 'cca', 'ccb', 'ccc']如您所见,最初,generate调用自身三次,每次递增position(从0到1到2)。每次通过递归循环,它将'a'置于当前位置并测试它是否已到达state列表的末尾。如果是这样,它会产生结果并且不会调用自身。
在这种情况下,当发生这种情况时,position == 2。现在for循环启动,将'b'和'c'存储在state[2]中,并产生每个状态。然后函数结束,并将控制权返回给调用者,position == 1。然后呼叫者继续通过其for循环;它设置了state[1] = 'b',然后,由于position不再位于state列表的末尾,它再次调用自身......现在position == 2和for循环设置state[2] == 'a','b','c',依此类推。
顺便说一句,如果你想在python中计算笛卡尔积,这是一个很好的方法,不需要你的读者解析递归算法:
>>> import itertools
>>> [''.join(c) for c in itertools.product('abc', 'abc', 'abc')]
['aaa', 'aab', 'aac', 'aba', 'abb', 'abc', 'aca', 'acb', 'acc',
'baa', 'bab', 'bac', 'bba', 'bbb', 'bbc', 'bca', 'bcb', 'bcc',
'caa', 'cab', 'cac', 'cba', 'cbb', 'cbc', 'cca', 'ccb', 'ccc']你也可以这样做
>>> [''.join(c) for c in itertools.product(*['abc'] * 3)]