如何生成从html页面到spring mvc控制器的下载请求

<a href="/download">下载文件</a>

@Controller
public class DownloadController {
    @RequestMapping("/download")
    public ResponseEntity<Resource> downloadFile() {
        // 下载文件的逻辑
    }
}

public ResponseEntity<Resource> downloadFile() {
    // 获取要下载的文件
    Resource file = ...;

    // 设置文件的内容类型
    String contentType = "application/octet-stream";

    // 返回响应对象
    return ResponseEntity.ok()
            .contentType(MediaType.parseMediaType(contentType))
            .contentLength(file.contentLength())
            .header(HttpHeaders.CONTENT_DISPOSITION, "attachment; filename=\"" + file.getFilename() + "\"")
            .body(file);
}

public ResponseEntity<Resource> downloadFile() {
    // 获取要下载的文件
    Resource file = new FileSystemResource("/path/to/file.txt");

    // 返回响应对象
    return ResponseEntity.ok()
            .contentType(MediaType.parseMediaType(contentType))
            .contentLength(file.contentLength())
            .header(HttpHeaders.CONTENT_DISPOSITION, "attachment; filename=\"" + file.getFilename() + "\"")
            .body(file);
}

@Configuration
@EnableWebMvc
public class WebConfig implements WebMvcConfigurer {
    @Override
    public void configureViewResolvers(ViewResolverRegistry registry) {
        registry.jsp().prefix("/WEB-INF/views/").suffix(".jsp");
    }

    @Override
    public void addResourceHandlers(ResourceHandlerRegistry registry) {
        registry.addResourceHandler("/resources/**").addResourceLocations("/resources/");
    }
}