Python中与切片相关的代码中的逻辑Bug

Question

考虑以下一段代码，它生成数组[1,2,3,...,n]的大小为k的所有子集：

def combinations(n, k):
   result = []
   directed_combinations(n, k, 1, [], result)
   return result

def directed_combinations(n, k, offset, partial_combination, result):
    if len(partial_combination) == k:
        new_partial = [x for x in partial_combination]
        result.append(new_partial)
        return
    num_remaining = k - len(partial_combination)
    i = offset
    #                kind of checks if expected num remaining is no greater than actual num remaining
    while i <= n and num_remaining <= n - i + 1:
        partial_combination.append(i)
        directed_combinations(n, k, i + 1, partial_combination, result)
        del partial_combination[-1]
        # partial_combination = partial_combination[:-1] <-- same funcationality as line above, but produces weird bug.
        i += 1

print(combinations(n=4,k=2))

例如，组合(n=4,k=2)将生成[1,2,3,4]的长度为2的所有子集。代码中有两行生成一个删除了最后一个元素的列表。我尝试用del来实现，并通过切掉最后一个元素（即[-1])来创建一个全新的列表。带有del的版本会生成正确的结果。但是，带有[-1]的版本没有。没有运行时错误；只是一个逻辑错误（即不正确的结果）。

我怀疑这与在进行切片时创建新列表和使用del保持相同列表有关。我似乎不明白为什么这是个问题。

Answer 1

我一开始并没有注意到您的函数是递归的（应该更好地阅读您的标记）。

你说得对，功能上这两者几乎是一样的。下面是完全相同的事情：

# del partial_combination[-1]                     # working (mutate)
# partial_combination = partial_combination[:-1]  # different (rebind)
partial_combination[:] = partial_combination[:-1] # same (mutate)

以上每一个操作的结果都将是您最终得到一个包含相同元素的列表。但是，虽然del和partial_combinite[:]更改了原始列表，但中间的一个将名称重新绑定到具有相同元素的新列表。当您将这个新列表传递到下一个递归步骤时，它将在自己的副本上操作，而不是在前面的递归级别正在处理的单个列表上操作。

为了证明这一点，您可以在上述每个选项之后调用print(id(Partial_Combinition))，并看到id在重新绑定的情况下发生了变化，而在整个变化的情况下保持不变。