4.3.2 验证一个栈是否为空和它的大小