对于栈顶指针为top的栈，其栈空的条件是____+。