如何在不转为整数的情况下递归递增列表形式的二进制数？

嘿，我来帮你拆解这个递归实现的问题！从你的例子[1, 0, 1]返回[1,1,0]来看，你应该是想把列表里的所有0移到末尾，同时保留非0元素的原有顺序对吧？那咱们一步步解决你遇到的递归困惑。

递归的停止条件其实很直观，就是当问题小到不能再小的时候：

• 如果列表是空的，直接返回空列表；
• 如果列表只有一个元素，直接返回这个元素组成的列表（不管是0还是非0，单个元素根本不需要调整顺序）。

递归的本质是把大问题拆成一模一样的小问题。拿你的列表来说，我们可以每次只处理第一个元素，剩下的部分交给递归处理：

• 如果第一个元素不是0：那它应该排在前面，所以直接把它放在「递归处理剩下列表得到的结果」的开头；
• 如果第一个元素是0：那它应该移到末尾，所以把它放在「递归处理剩下列表得到的结果」的最后。

这样就自然解决了你担心的“保存被移除的数值”的问题——根本不需要额外存，只根据当前元素的类型，决定它在子问题结果的位置就好。

def move_zeros(lst):
    # 基准情况：空列表或单个元素直接返回
    if not lst:
        return []
    if len(lst) == 1:
        return lst
    
    first_element = lst[0]
    # 递归处理剩下的n-1个元素
    processed_rest = move_zeros(lst[1:])
    
    if first_element != 0:
        # 非0元素放在子结果前面
        return [first_element] + processed_rest
    else:
        # 0放在子结果后面
        return processed_rest + [first_element]

测试一下你的例子：move_zeros([1,0,1])的执行流程是这样的：

1. 处理[1,0,1]，取第一个元素1，递归处理[0,1]；
2. 处理[0,1]，取第一个元素0，递归处理[1]；
3. 处理[1]，触发基准情况，返回[1]；
4. 回到[0,1]的处理，把0追加到[1]后面，得到[1,0]；
5. 回到[1,0,1]的处理，把1放在[1,0]前面，得到最终的[1,1,0]，完全符合你的需求！

你之前用占位符填充else的return，本质是没搞清楚当前元素（0）和子问题结果的关系——其实只需要把0追加到子问题处理后的结果末尾就可以了，递归已经帮你把剩下的元素都处理好顺序了，不需要额外的复杂操作。

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