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() 函数将文件发送到浏览器，最后退出脚本。
二、修改文件名称
如果我们需要修改下载文件的名称，我们可以在上面的代码中对文件名进行修改。例如，我们可以将上面的代码修改为以下内容，其中新文件名以 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)。这样就会将下载的文件名称设置为新的名称。
三、其他修改方式
除了在 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() 函数对文件进行重命名。
以上就是如何使用php下载文件并修改文件名称的详细内容。