展开 冗余的三种形式是什么