@RestController
@RequestMapping("/download")
public class DownloadController {
    @GetMapping("/studentWork")
    public ResponseEntity<StreamingResponseBody> downloadStudentWork() {
        HttpHeaders headers = new HttpHeaders();
        headers.setContentType(MediaType.APPLICATION_OCTET_STREAM);
        String encodedFileName = "作品名稱(chēng)-學(xué)生姓名.zip";
        try {
            encodedFileName = URLEncoder.encode(encodedFileName, StandardCharsets.UTF_8.toString());
        } catch (UnsupportedEncodingException e) {
            e.printStackTrace();
        }
        headers.setContentDispositionFormData("attachment", encodedFileName);
        StreamingResponseBody responseBody = outputStream -> {
            try (ZipOutputStream zipOut = new ZipOutputStream(outputStream)) {
                // 假設(shè)這是學(xué)生的作品內(nèi)容視頻文件流
                InputStream videoStream = getStudentVideoStream();
                addToZip(zipOut, videoStream, "作品視頻.mkv");
                // 添加更多附件，如果有的話(huà)
                zipOut.finish();
            } catch (IOException e) {
                // 處理異常
            }
        };
        return new ResponseEntity<>(responseBody, headers, HttpStatus.OK);
    }
    private void addToZip(ZipOutputStream zipOut, InputStream inputStream, String fileName) throws IOException {
        ZipEntry zipEntry = new ZipEntry(fileName);
        zipOut.putNextEntry(zipEntry);
        byte[] buffer = new byte[1024];
        int bytesRead;
        while ((bytesRead = inputStream.read(buffer)) != -1) {
            zipOut.write(buffer, 0, bytesRead);
        }
        zipOut.closeEntry();
        inputStream.close();
    }
    // 獲取文件流
    private InputStream getStudentVideoStream() throws FileNotFoundException {
        // 附件信息
        FileInputStream inputStream = new FileInputStream("C:\\Users\\28111\\Videos\\2023-09-14 21-30-36.mkv");
        return inputStream;
    }
}