尽管条件检查，递归函数进入无限循环

Question

我有一个清单

s = ["h", "e", "l", "l", "o"]

我尝试使用递归函数原地反转

def reverse_string4(arr, start=0):
    while start < len(arr):
        arr.insert(start, arr.pop())
        reverse_string4(arr, start + 1)

上面进入一个无限循环，但是下面这个可以工作

def reverse_string2(arr, start=0):
    if start == len(arr)-1:
        pass
    else:
        arr.insert(start, arr.pop())
        reverse_string2(arr, start + 1)

当调试开始变量增加时我很困惑，那么为什么没有终止while循环？

Answer 1

您可以通过添加print() 语句轻松查看发生了什么。

def reverse_string4(arr, start=0):
    print('-> arr %s, start=%i' % (arr, start))
    while start < len(arr):
        print('start %i < len(arr) %i' % (start, len(arr)))
        arr.insert(start, arr.pop())
        print('call reverse_string()')
        reverse_string4(arr, start + 1)
        print('back from call')

用reverse_string4(['h', 'e', 'l', 'l', 'o'])运行它：

-> arr ['h', 'e', 'l', 'l', 'o'], start=0
start 0 < len(arr) 5
call reverse_string()
-> arr ['o', 'h', 'e', 'l', 'l'], start=1
start 1 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'h', 'e', 'l'], start=2
start 2 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'h', 'e'], start=3
start 3 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=4
start 4 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=5
back from call
start 4 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=5
back from call
start 4 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=5
back from call
start 4 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=5
back from call
start 4 < len(arr) 5
call reverse_string()
-> arr ['o', 'l', 'l', 'e', 'h'], start=5
back from call
start 4 < len(arr) 5
call reverse_string()

看到了吗？ while 条件仍然成立，所以它停留在 while 循环中。

正确的解决方法是使用 任一 while 循环或递归（然后，可能是 return 递归调用调用的值）。