视频文件已经成为了不可或缺的一部分,但是有时候我们需要将它们压缩