如何确定要下载的文件的文件扩展名？我正在使用下面的代码来下载文件。
URL url = new URL("http://server.com/file.format");
DefaultHttpClient client = new DefaultHttpClient();
HttpGet get = new HttpGet(new URI(url.getProtocol(), url.getHost(), url.getPath(), url.getQuery(), null));
InputStream in = client.execute(get).getEntity().getContent();
//... read input stream and save to file
我查看了其他相关主题，但找不到解决我的问题的方法。
最佳答案
在互联网和 UNIX 世界中，不存在强制文件扩展名之类的东西。这是典型的 Windows 世界思维方式。
在 HTTP 中，最接近“文件扩展名”的是 mime 类型。它是实际的内容类型描述，例如 text/html 或 image/gif。但 HTTP 不提供文件扩展名。您必须自己将 mime 类型映射到文件扩展名!
关于java - 要下载的文件扩展名类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10608147/