phpでcurlでリモートファイルが存在するかどうかを判断する実現コード

 
//       
function check_remote_file_exists($url) 
{ 
$curl = curl_init($url); 
//       
curl_setopt($curl, CURLOPT_NOBODY, true); 
//      
$result = curl_exec($curl); 
$found = false; 
//            
if ($result !== false) { 
//    http      200 
$statusCode = curl_getinfo($curl, CURLINFO_HTTP_CODE); 
if ($statusCode == 200) { 
$found = true; 
} 
} 
curl_close($curl); 

return $found; 
} 

最近httml 5音楽再生のサイトを作っています。iphoneとipadをすっきりさせたいです。先端にjqueryのプラグインを採用しています。jplayを改造してから効果がいいです。バックグラウンドはPHPを採用し、タイミングよくBaiduのMP 3を収集する。本人のサーバーのスペースを考慮してください。もちろんMP 3アドレスだけを採集します。ファイルは現地にダウンロードしていません。BaiduのMP 3パスは常に変更され、卵の痛みを考慮して、MP 3パスが正しいかどうかをタイミングよく判断しなければならないので、PHPはリモートファイルが存在するかどうかを判断します。get_で始めますheaders()方法は、後に効率の問題があると聞いて、この解決策を使わないようにしましたが、ついでに、get_を見てみます。headers関数の効果：

 
//     
print_r(get_headers("http://www.baidu.com/img/baidu_sylogo1.gif")); 
  ： 
Array 
( 
[0] => HTTP/1.1 200 OK 
[1] => Date: Thu, 02 Jun 2011 02:47:27 GMT 
[2] => Server: Apache 
[3] => P3P: CP=" OTI DSP COR IVA OUR IND COM " 
[4] => Set-Cookie: BAIDUID=7F6A5A2ED03878A7791C89C526966F3A:FG=1; expires=Fri, 01-Jun-12 02:47:27 GMT; max-age=31536000; path=/; domain=.baidu.com; version=1 
[5] => Last-Modified: Thu, 20 Jan 2011 07:15:35 GMT 
[6] => ETag: "65e-49a41e65933c0" 
[7] => Accept-Ranges: bytes 
[8] => Content-Length: 1630 
[9] => Cache-Control: max-age=315360000 
[10] => Expires: Sun, 30 May 2021 02:47:27 GMT 
[11] => Connection: Close 
[12] => Content-Type: image/gif 
) 
//   1    
print_r(get_headers("http://www.baidu.com/img/baidu_sylogo1.gif", 1)); 
  ： 
Array 
( 
[0] => HTTP/1.1 200 OK 
[Date] => Thu, 02 Jun 2011 02:49:28 GMT 
[Server] => Apache 
[P3P] => CP=" OTI DSP COR IVA OUR IND COM " 
[Set-Cookie] => BAIDUID=4D875812FC482C0ADE4F5C17068849EE:FG=1; expires=Fri, 01-Jun-12 02:49:28 GMT; max-age=31536000; path=/; domain=.baidu.com; version=1 
[Last-Modified] => Thu, 20 Jan 2011 07:15:35 GMT 
[ETag] => "65e-49a41e65933c0" 
[Accept-Ranges] => bytes 
[Content-Length] => 1630 
[Cache-Control] => max-age=315360000 
[Expires] => Sun, 30 May 2021 02:49:28 GMT 
[Connection] => Close 
[Content-Type] => image/gif 
) 

はどうですか？get_headers関数はいいですよね。でも、効率に問題があるなら、優先的に考えないとだめです。curlはいいです。次にcurlの作り方を見てみます。