If the postfix expression was correctly formed, the stack should be empty.

• 若后缀表达式格式正确,那么堆栈应该为空。