在栈的链式存储结构中，栈顶指针top指向当前栈顶元素。执行出栈操作后，栈顶元素被移除，栈顶指针top应指向新的栈顶元素，即原栈顶结点的前一个结点。选项A正确。选项B错误，因为栈顶指针不会指向原栈顶结点的下一个结点。选项C错误，因为原栈顶结点已被移除。选项D错误，因为根据栈的操作规则，可以确定栈顶指针的移动方向。