怎么获得ZIP文件中压缩文件的个数

$zip= zip_open('zip文件名');
$n = 0;
while($rs = zip_read($zip)) {
  $f = zip_entry_name($rs); //取得文件名
  if(substr($f, -1) != '/') $n++;
}
echo $n;