php 把文件下载到本地

注！：

下载文件的前提是获取已有文件的名字，如果程序刚把文件写入到文件夹中不能直接下载文件，虽然获取到了文件名，但在程序上这个文件写入还没停止，程序还在运行，这个时候需要另开一个方法获取文件的名字，再进行下载。

HTML页面

文件：a.jpg

只需要在php文件中设置请求头就可以了，创建 dome_do.php 文件

dome_do.php 页面

$text_name = $_GET['text_name']; //得到文件名
header( "Content-Disposition:  attachment;  filename=".$text_name); //告诉浏览器通过附件形式来处理文件
header('Content-Length: ' . filesize($text_name)); //下载文件大小
readfile($text_name);  //读取文件内容