为何tkinter .after()递归调用后，标记更新代码仍可正常执行？

问题 #

在count_down函数中，当计数小于0时，先调用了start_timer函数，按我理解这属于递归调用，应该会阻止后续生成✔标记并更新check_marks组件的代码执行，但这段代码却能成功运行。我尝试调试，但首次调用时这段代码似乎被跳过。

相关代码片段：

marks = ""
work_sessions = math.floor(reps/2)
for _ in range(work_sessions):
    marks += "✔"
check_marks.config(text=marks)

完整程序：

from tkinter import *
import math
# ---------------------------- CONSTANTS ------------------------------- #
PINK = "#e2979c"
RED = "#e7305b"
GREEN = "#9bdeac"
YELLOW = "#f7f5dd"
FONT_NAME = "Courier"
WORK_MIN = 25
SHORT_BREAK_MIN = 5
LONG_BREAK_MIN = 20
reps = 0

# ---------------------------- TIMER RESET ------------------------------- # 

# ---------------------------- TIMER MECHANISM ------------------------------- # 

# ---------------------------- COUNTDOWN MECHANISM ------------------------------- #

def start_timer():
    global reps
    reps += 1
    work_sec = WORK_MIN * 60
    short_break_sec = SHORT_BREAK_MIN * 60
    long_break_sec = LONG_BREAK_MIN * 60

    if reps == 8:
        timer_label.config(text="Long Break", fg=RED)
        count_down(long_break_sec)
    elif reps % 2 == 1:
        timer_label.config(text="Work", fg=GREEN)
        count_down(0)
    elif reps % 2 == 0:
        timer_label.config(text="Short Break", fg=PINK)
        count_down(short_break_sec)


# ---------------------------- UI SETUP ------------------------------- #

def count_down(count):
    global reps

    count_min = math.floor(count / 60)
    count_sec = count % 60

    if count_sec < 10:
        count_sec = f"0{count_sec}"

    canvas.itemconfig(timer_text, text=f"{count_min}:{count_sec}")
    if count >= 0:
        window.after(1000, count_down, count-1)
    else:
        start_timer()
        marks = ""
        work_sessions = math.floor(reps/2)
        for _ in range(work_sessions):
            marks += "✔"
        check_marks.config(text=marks)


window = Tk()
window.title("Pomodoro")
window.config(padx=100, pady=50, bg=YELLOW)

canvas = Canvas(width=200, height=224, bg=YELLOW, highlightthickness=0)
tomato_img = PhotoImage(file="tomato.png")
canvas.create_image(100, 112, image=tomato_img)
timer_text = canvas.create_text(100, 130, text="00:00", fill="white", font=(FONT_NAME, 28, "bold"))
canvas.grid(column=1, row=1)

timer_label = Label(text="Timer", fg=GREEN, font=(FONT_NAME, 34, "bold"))
timer_label.grid(column=1, row=0)

start_button = Button(text="Start", command=start_timer)
start_button.grid(column=0, row=2)

reset_button = Button(text="Reset")
reset_button.grid(column=2, row=2)

check_marks = Label(fg=GREEN, font=(FONT_NAME, 20, "bold"))
check_marks.grid(column=1, row=3)

window.mainloop()

解答 #

核心原因是start_timer里调用的count_down并不会阻塞当前代码执行——因为window.after是异步调度方法，它只是告诉Tkinter在指定时间后执行目标函数，但不会等待该任务完成，当前函数会继续往下执行。

具体流程拆解：

1. 当count < 0进入else分支后，先执行start_timer()：
   • reps自增1，根据当前reps值进入对应分支，调用count_down(X)
   • 在count_down(X)中，window.after(1000, count_down, X-1)只是把下一次倒计时任务添加到Tkinter的事件队列中，随后count_down(X)函数直接执行完毕，回到start_timer，start_timer也执行完毕，回到最初的else分支。
2. 此时才会执行生成✔标记的代码，完成check_marks组件的更新。

你调试时觉得首次被跳过，是因为第一次触发else分支时：

• 比如你设置WORK_MIN=25改成了0，第一次count_down(0)执行后count变为-1进入else
• 调用start_timer后reps变为2，math.floor(2/2)=1，生成一个✔，但此时新的倒计时任务已经被调度，UI更新可能和新倒计时的UI更新重叠，看起来像是没执行，但实际代码已经正常运行。

简单总结：window.after不是同步等待，所以start_timer里的count_down调用不会卡住当前代码流程，后续的标记更新代码自然能正常执行。

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