比如一个网页每刷新一次，COOKIE的数值就递减一次，直到COOKIE的数值为0后，就不能在执行某个操作。
首先想知道定义setcookie("num",5,time()+10000); 怎样定义COOKIE成一个数字类型而不是字符串。
然后我用 $_COOKIE['num']-- 或者 $_COOKIE['num']=$_COOKIE['num']-1来计算
但是无效。
然后用setcookie("num",$_COOKIE['num']--,time()+10000);来计算，也不执行。
请教高手

$count=5;
if(访问){
$count--;
setcookie('num',$count,time()+1000);
}

可以用intval()转换成数值

谢谢各位的相助，问题我自己已解决，给大家一起分享：首先setcookie的值可以是数字，然后用这种方式做到加减计算，
$_COOKIE['num']=$_COOKIE['num']-1;
setcookie("num",$_COOKIE['num'],time()+10000);