我正在尝试使用 AsyncRead 下载方法下载 URL 中没有 Normal [FILENAME].[EXTENSION] 的文件。下载过程没有问题（正在完全下载文件并将文件保存到临时文件中）。所以我想获得带有扩展名的真实文件名，以将其保存到与原始文件相同的另一个地方，以供下载。
我可以得到文件名，而 URL 是这样的：（
Http://Host.com/Path/MyDoc.txt所以我可以很容易地得到文件名“MyDoc”和扩展名“.txt”，因为它在 URL 中指定）
但是当下载 URL 时是这样的：
Http://Host.com/Path/download.php?File=9
我不能得到真实文件名和扩展名。有什么办法可以让他们在这样的网址上？
注意：下载过程没有问题，我可以完全下载以上两个文件。我只想获取文件名和扩展名。