在Python中，可以使用zipfile模块来对文件进行压缩。以下是一个简单的示例，展示了如何将一个或多个文件压缩到一个ZIP文件中：
import zipfile
def zip_files(zip_filename, files_to_compress):
with zipfile.ZipFile(zip_filename, 'w', zipfile.ZIP_DEFLATED) as zipf:
for file in files_to_compress:
zipf.write(file, arcname=file)
# 使用示例
zip_filename = 'example.zip'
files_to_compress = ['file1.txt', 'file2.txt', 'file3.txt']
zip_files(zip_filename, files_to_compress)
在这个示例中，我们定义了一个名为zip_files的函数，它接受两个参数：zip_filename（要创建的ZIP文件的名称）和files_to_compress（要压缩的文件列表）。我们使用zipfile.ZipFile创建一个新的ZIP文件，并使用with语句确保文件在操作完成后正确关闭。
在with语句内部，我们遍历files_to_compress列表中的每个文件，并使用zipf.write()方法将其添加到ZIP文件中。arcname参数用于设置ZIP文件中的文件名，这里我们直接使用了原始文件名。
要使用这个函数，只需提供要压缩的文件名和要压缩的文件列表即可。
