递归函数在调用自身时，必须满足（ ），以避免无限递归？