7.3.3 压缩映射实现的条件