如果你的栈有头结点且头结点不存储有效数据,且top指向栈顶的有效数据,那么top->next == NULL表示栈空.
如果你的栈有头结点且头结点存储有效数据,且top指向栈顶的有效数据,那么top==NULL表示栈空.