使用任意第三方组件，实现文件的压缩,最后压缩文件名的命名规则为：学号姓名.zip

在Python中，你可以使用内置的`zipfile`库来实现文件的压缩，如果需要的话，还可以结合第三方库如`argparse`来处理用户输入的学号和姓名。这里是一个简单的示例：

import zipfile
import argparse

def compress_file(filename, student_id, name):
    # 创建压缩文件对象
    zip_filename = f"{student_id}_{name}.zip"
    with zipfile.ZipFile(zip_filename, 'w', zipfile.ZIP_DEFLATED) as zipf:
        # 将要压缩的文件添加到压缩包中
        zipf.write(filename)
    
    print(f"文件 {filename} 已经压缩并保存为 {zip_filename}")

# 解析命令行参数
parser = argparse.ArgumentParser(description='压缩文件')
parser.add_argument('student_id', type=int, help='学生的学号')
parser.add_argument('name', help='学生的姓名')
parser.add_argument('input_file', type=str, help='待压缩的文件路径')

args = parser.parse_args()

# 调用函数，传入学号、姓名和文件路径
compress_file(args.input_file, args.student_id, args.name)