请问这个循环终止的条件是啥？val的值改变了吗

while判断的条件是val的值，但这个函数里改变的好像只有rec

val的值也在变哈，val--