📅  最后修改于: 2022-03-11 14:54:33.495000             🧑  作者: Mango
$tmp = array_count_values($uid);
$cnt = $tmp[12];
//Or
$cnt = count(array_filter($uid,function($a) {return $a==12;}));
//In both cases $var will be a number