📅  最后修改于: 2023-12-03 14:45:15.706000             🧑  作者: Mango
get_headers()
函数是一个用于获取指定URL的HTTP标头信息的PHP函数。它返回一个包含HTTP标头信息的数组,或者在失败时返回false
。该函数适用于处理HTTP请求和响应的工作,可用于检查URL的状态,获取响应码和服务器信息等。
array|false get_headers(string $url, bool $format = true)
$url
: 必需,要获取标头信息的URL。$format
: 可选,定义是否将每个标头的格式化字符串追加到返回的数组中,默认为true
。get_headers()
函数返回一个包含HTTP标头信息的数组,或者在失败时返回false
。
$url = 'https://www.example.com';
$headers = get_headers($url);
if ($headers !== false) {
foreach ($headers as $header) {
echo $header . "\n";
}
} else {
echo "Failed to get headers for URL: $url";
}
HTTP/1.1 200 OK
Content-Type: text/html; charset=UTF-8
Content-Length: 1234
Date: Thu, 01 Jan 2022 00:00:00 GMT
Server: Apache
...
get_headers()
函数仅适用于获取HTTP标头信息,不包括响应体内容。$format
参数设置为true
,返回的数组将包含每个标头的格式化字符串。如果设置为false
,则只返回标头。get_headers()
函数可能无法正常工作,或者返回的标头信息不准确。例如,在使用某些代理服务器或缓存服务器时,可能会返回缓存的标头而不是实际的标头信息。