📅  最后修改于: 2023-12-03 15:06:36.947000             🧑  作者: Mango
如果您需要从服务器下载文件并将其保存在客户端的本地磁盘上,那么您可以使用以下简单的 PHP 代码来实现。
<?php
// 文件 URL
$url = 'http://example.com/file.zip';
// 新文件名和扩展名
$filename = 'my_file.zip';
// 下载文件
if (file_put_contents($filename, file_get_contents($url))) {
echo "文件下载成功";
} else {
echo "文件下载失败";
}
?>
上述代码按照所提供的 URL 下载文件并将其存储在客户端的本地磁盘上,使用默认的文件名。您可以使用文件名后缀来更改保存文件的扩展名。
// 文件 URL
$url = 'http://example.com/file.zip';
// 新文件名和扩展名
$filename = 'my_file.zip';
file_get_contents
函数来获取所提供 URL 中的文件内容,然后使用 PHP 的 file_put_contents
函数将其写入到客户端的本地磁盘。// 下载文件
if (file_put_contents($filename, file_get_contents($url))) {
echo "文件下载成功";
} else {
echo "文件下载失败";
}
如果文件下载成功,您将看到消息“文件下载成功”。如果下载失败,则会显示“文件下载失败”消息。
使用 PHP,您可以轻松地从服务器 URL 下载文件,并将其保存在客户端本地磁盘上,以供以后使用。上述示例不仅演示了下载文件的过程,还告诉您如何将所下载文件的扩展名设置为您所需的。