假定利用数组a[N]顺序存储一个栈，用top表示栈顶指针，用top==-1表示栈空，并已知栈未空，当退栈并返回栈顶元素时所执行的操作为（ ）。

A.return a[--top]

B.return a[top--]

C.return a[++top]

D. return a[top++]