数组S[M]存储一个栈，top为栈顶指针。如果条件top==-1表示栈空，在栈不空的情况下，栈顶元素为（）。

A.S[top-1]

B.S[top]

C.S[top 1]

D.S[ top]

正确答案：S[top]