有趣，以前用winrar压缩的时候都是压成.rar文件，现在发现选择压成.zip无论压缩速度还是解压速度都更快，而且压缩比还大一点点