java - 要下载的文件扩展名类型

Question

如何确定要下载的文件的文件扩展名？我正在使用下面的代码来下载文件。

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

我查看了其他相关主题，但找不到解决我的问题的方法。

Answer 1

在互联网和 UNIX 世界中，不存在强制文件扩展名之类的东西。这是典型的 Windows 世界思维方式。

在 HTTP 中，最接近“文件扩展名”的是 mime 类型。它是实际的内容类型描述，例如 text/html 或 image/gif。但 HTTP 不提供文件扩展名。您必须自己将 mime 类型映射到文件扩展名!