合并排序函数中的循环控制条件

今天在《Python编程实践》上看到合并排序的一段Python代码：

num = [7, 1, 9] # 要排序的序列

def merge(l1, l2): # 把l1，l2两个有序（从小到大）列表合并为一个有序列表
    newl = []
    i1 = 0
    i2 = 0
    while i1 != len(l1) and i2 != len(l2):
        if l1[i1] <= l2[i2]:
            newl.append(l1[i1])
            i1 += 1
        else:
            newl.append(l2[i2])
            i2 += 1
    newl.extend(l1[i1:])
    newl.extend(l2[i2:])
    return newl

def mergesort(l): # 合并排序函数
    # 创建workspace复制l的数据
    workspace = []
    for i in range(len(l)):
        workspace.append([l[i]])
    # 循环来不断合并列表
    i = 0
    while i < len(workspace) - 1: # 这里是重点：

        '''每次循环workspace的长度都会增加1
        但是i每次要增加2
        想象从workspace的开始，随着它长度的增加合并到结尾的过程
        因为i从0开始计数
        所以恰好i == len(workspace) - 2时到达workspace[-1]的前一个
        此时workspace[-1]即合并的结果'''
        l1 = workspace[i]
        l2 = workspace[i + 1]
        newl = merge(l1, l2)
        workspace.append(newl)
        i += 2
    if len(workspace) != 0:
        l[:] = workspace[-1][:]
    
if __name__ == '__main__': # 输出
    mergesort(num)
    print num

记住这个循环就解决了合并排序。