C#/JAVA下载文件前通过HTTP请求获取文件大小