我们都知道像MP3之类的音频文件，有专门的编辑工具。同样的，视频文件也有专属编辑工具，比较常见的就要数格式工厂了。剪切视频是一种比较