php 是一门流行的服务器端脚本语言，用于开发动态 web 应用程序。在 php 中，文件下载是一个常见的操作。有时候，我们可能需要下载的文件名称与实际文件名称不同。在这篇文章中，我们将介绍如何使用 php 下载文件并修改文件名称。
一、下载文件
在 PHP 中，可以使用 readfile() 函数来读取文件并将其发送到浏览器。以下是一个基本的 download.php 文件的示例，该文件将对指定的文件进行下载。
$file = $_GET['file'];
if (file_exists($file)) {
header('Content-Description: File Transfer');
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . basename($file) . '"');
header('Content-Length: ' . filesize($file));
readfile($file);
exit;
}在上面的代码中，我们首先获取要下载的文件名。然后，我们检查该文件是否存在。如果文件存在，我们设置文件类型、文件名和文件大小的 HTTP 标头，并使用 readfile() 函数将文件发送到浏览器，最后退出脚本。
二、修改文件名称
立即学习“PHP免费学习笔记（深入）”；
如果我们需要修改下载文件的名称，我们可以在上面的代码中对文件名进行修改。例如，我们可以将上面的代码修改为以下内容，其中新文件名以 "downloaded_" 作为前缀：
$file = $_GET['file'];
$newFileName = "downloaded_" . basename($file);
if (file_exists($file)) {
header('Content-Description: File Transfer');
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . $newFileName . '"');
header('Content-Length: ' . filesize($file));
readfile($file);
exit;
}在上面的代码中，我们添加了一个新的变量 $newFileName，用于存储下载文件的新名称。在 header() 函数中，我们使用新的文件名替换了 basename($file)。这样就会将下载的文件名称设置为新的名称。
jQuery图片背景墙聚光灯效果代码，鼠标悬停在某张图片上时，该图片变亮，其他图片变暗。兼容主流浏览器，php中文网推荐下载！ 使用方法： 1、head区域引用文件lrtk.css及jquery 2、在文件中加入区域代码 3、复制images文件夹里的图片到相应的路径 4、修改图片的透明度，opacity :
三、其他修改方式
除了在 header() 函数中直接修改文件名称之外，我们还可以使用其他方式对文件名称进行修改。例如，我们可以使用 PHP 中的 rename() 函数来对文件进行重命名。
以下是一个示例代码，该代码将下载文件的名称更改为 "downloaded_" + 文件名：
$file = $_GET['file'];
$newFileName = "downloaded_" . basename($file);
if (file_exists($file)) {
header('Content-Description: File Transfer');
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . $newFileName . '"');
header('Content-Length: ' . filesize($file));
rename($file, $newFileName);
readfile($newFileName);
exit;
}在上面的代码中，我们添加了一个 rename() 函数将下载的文件重命名为新的文件名。然后，我们使用 readfile() 函数将新文件发送到浏览器，最后退出脚本。
总结：
在 PHP 中下载文件并修改文件名称是一个常见的需求。我们可以使用 readfile() 函数来读取文件并将其发送到浏览器，同时还可以使用 header() 函数来设置文件类型、文件名和文件大小的 HTTP 标头。如果需要修改文件名称，我们可以在 header() 函数中直接进行修改，或者使用 PHP 中的 rename() 函数对文件进行重命名。
