通过可能的文件扩展名进行迭代以获得正确的扩展名

Question

我有一个包含各种格式文件的文件夹，例如.jpg，.png，.pdf，.doc等......这些文件位于远程服务器上。我有一个json文件，其中包含文件名列表及其位置，但缺少扩展名。

我想重建json文件并为filename添加适当的扩展名。我怎么能用PHP做到这一点？任何人都可以给我任何想法如何通过可能的扩展来迭代，以获得正确的文件名+ ext在服务器上。

例如。我有一个这样的网址 - http://www.somesite.com/filename。我在服务器上知道该文件是pdf，但是如何以编程方式为许多文件执行此操作可能会有所不同并重命名该URL？

有什么想法吗？

Answer 1

使用For Loop循环all current know file extensions并执行对$url . $extension的GET请求，并查看服务器是否返回文件。

如果服务器返回文件，则可以中断for循环。

你可以在彼此之间嵌套2个for循环来完成所有知道网址。

示例

$files = [
    "http://test.com/test",
    "http://test.com/test2"
];


$extensions = [
    ".jpg",
    ".docx"
];

foreach ($files as $file)
{
    foreach ($extensions as $extension)
    {
        $foundFile = // Get requests here
        if(FILE_IS_FOUND){
            // Store file where ever you need it

            break;
        }
    }
}

此示例使用Foreach Loop