php 下载文件改名 (问：如何在PHP下载文件时更改文件名？)

在Web开发中，有时需要提供文件下载功能，而且可能还需要更改文件名。PHP是一种非常流行的服务器端脚本语言，它提供了许多方法来实现这一功能。下面我们来学习一下如何在PHP下载文件时更改文件名。

一、下载文件

首先，我们需要先了解如何下载文件。PHP提供了一个内置函数readfile()，这个函数可以将文件从服务器端输出到客户端浏览器中，从而实现文件下载的功能。

以下是一个简单的示例，展示了如何使用readfile()函数下载文件：

php
$file_path = '/path/to/file.txt';
$file_name = 'file.txt';
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . $file_name . '"');
header('Content-Length: ' . filesize($file_path));
readfile($file_path);


上面的代码中，我们首先指定了要下载的文件路径$file_path和文件名$file_name。然后，通过设置HTTP响应头，告诉浏览器以下载方式打开这个文件。其中，Content-Type指定下载文件类型，Content-Disposition指定以附件的形式下载文件并指定文件名，Content-Length指定文件大小。最后，使用readfile()函数读取文件内容并输出到浏览器中。

二、更改文件名

如果要更改下载文件的文件名，我们只需要在Content-Disposition中指定新的文件名即可，如下所示：

php
$file_path = '/path/to/file.txt';
$file_name = 'new_file_name.txt';
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . $file_name . '"');
header('Content-Length: ' . filesize($file_path));
readfile($file_path);


这里我们只需要将$file_name更改成新的文件名即可。

需要注意的是，新的文件名必须是字符串类型，并且需要经过URL编码。如果文件名中包含非英文字符，需要使用urlencode()函数进行编码，以确保下载链接能够正常工作。

下面是一个示例，展示了如何使用urlencode()函数对中文字符进行编码：

php
$file_path = '/path/to/file.txt';
$file_name = '新文件名.txt';
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="' . urlencode($file_name) . '"');
header('Content-Length: ' . filesize($file_path));
readfile($file_path);


以上就是如何在PHP下载文件时更改文件名的方法，希望能对你有所帮助。