收缩实现