递归函数必须具备什么条件才能保证不会无限递归下去？