php curl 获取文件大小 (问：怎样用PHP curl 获取文件大小？)

PHP是一种常用的服务器端脚本语言，可以通过各种函数和扩展来实现各种功能。其中，curl是一个常用的PHP扩展模块，它提供了各种基于URL的网络操作和文件传输功能。如果想要获取某个文件的大小，可以使用curl扩展提供的相关函数来实现。

下面，我们将探讨如何使用PHP curl扩展来获取文件大小。

首先，我们需要使用curl_init()函数初始化一个curl会话。代码如下：

php
$url = 'http://www.example.com/file.txt';
$ch = curl_init();
curl_setopt($ch, CURLOPT_URL, $url);


接着，我们可以使用curlsetopt()函数来设置一些curl选项。具体来说，我们需要设置CURLOPTNOBODY选项，并将其设置为true，表示我们只需要获取文件头信息而不需要获取文件内容。代码如下：

php
curl_setopt($ch,CURLOPT_NOBODY,true);


然后，我们可以调用curl_exec()函数来执行curl会话，并获取文件头信息。代码如下：

php
curl_exec($ch);


最后，我们可以使用curlgetinfo()函数来获取文件大小。具体来说，我们需要使用CURLINFOCONTENTLENGTHDOWNLOAD选项。代码如下：

php
$filesize = curl_getinfo($ch,CURLINFO_CONTENT_LENGTH_DOWNLOAD);


完整的代码如下所示：

“`php
$url = ‘http://www.example.com/file.txt’;

$ch = curlinit();
curlsetopt($ch, CURLOPTURL, $url);
curlsetopt($ch,CURLOPTNOBODY,true);
curlexec($ch);
$filesize = curlgetinfo($ch,CURLINFOCONTENTLENGTHDOWNLOAD);

echo ‘File size: ‘ . $filesize . ‘ bytes’;
“`

需要注意的是，由于只获取了文件头信息，所以代码执行速度会很快。但如果需要获取文件内容，则需要等待整个文件下载完成，会比较慢。

综上所述，使用PHP curl扩展能够轻松地获取文件大小。无论是在开发网站还是应用程序，这个功能都非常有用。