如果我进行 pushdown/pushup 前不判断子树是否非空，按理来说其若是空，其内部值应该都是 $0$ ，不会影响正常的 pushdown/pushup，但是有的 blog 说不判断是否非空是错的，请问在什么情况下这样会错呢？