InitStack(&s) 操作结果:构造一个空栈S。 DestroyStack(&s) 初始条件:栈S已存在。 操作结果:栈S被销毁。InitStack(&S) 操作结果：构造一个空栈 S。 DestroyStack(&S) 初始条件：栈 S 已存在。 操作结果：栈 S 被销毁