当你面对一个尺寸庞大的pdf文件时,经常会遇到需要将其压缩以便更方便