可能很简单的，push操作的等效替换。