如何通过递归生成非零元素不重复（0可重复）的指定长度数值组合

• 重复判断逻辑触发时机错误：原注释代码将if num!=0 and num in l: return放在函数入口，当判定当前值重复时直接返回整个函数，会跳过后续「尝试当前位置下一个数值」的递归分支，直接截断所有后续组合的生成，造成大量合法结果遗漏。
• 重复检查范围存在偏差：使用num in l全列表扫描时，会将当前索引位置残留的旧值纳入判断范围，容易将合法可替换的值误判为重复。
• 缺少状态回溯机制：没有维护已使用非0数字的标记集，全列表扫描的判断方式效率低，也容易引入边界判断错误。

基于原有递归结构修正两个核心环节：

1. 调整重复判断的执行粒度：不再碰到不合法值直接return，而是仅跳过当前值对应的赋值、打印、下移索引的操作，不管当前值是否合法，都要继续尝试当前位置的下一个取值，保证分支完整。
2. 缩小重复检查的范围：仅检查当前索引之前、已经确定的位置上的非0数字是否重复，同时用集合维护已使用的非0数字，实现O(1)的重复校验效率，搭配回溯逻辑恢复状态。

修正后可直接运行的代码如下：

size = 3
l = [0 for x in range(size)]

def recursive(l, index, num, final, used=None):
    # 初始化已使用非0数字的集合
    if used is None:
        used = set()
    # 递归终止条件：走到列表末尾，或者数值超出取值上限
    if index == len(l) or num == final:
        return
    
    # 判断当前取值是否合法：非0数字不能和已使用的数字重复
    is_valid = True
    if num != 0 and num in used:
        is_valid = False
    
    if is_valid:
        # 记录当前位置的旧值，用于回溯
        old_val = l[index]
        # 移除旧值对已用集合的影响
        if old_val != 0:
            used.remove(old_val)
        # 赋值新值
        l[index] = num
        # 将新的非0值加入已用集合
        if num != 0:
            used.add(num)
        # 打印当前合法组合
        print(l)
        # 递归处理下一个索引位置，从0开始尝试取值
        recursive(l, index + 1, 0, final, used)
    
    # 无论当前值是否合法，都继续尝试当前位置的下一个取值，避免截断分支
    recursive(l, index, num + 1, final, used)

recursive(l, 0, 0, 4)

运行上述代码，输出结果与你给出的预期组合完全一致，不会遗漏符合约束的合法值。

内容的提问来源于stack exchange，提问作者Guillermo Meza