<?php$a=123;
switch($a){
default:
$c=1;
case 456:
$c=2;
}
echo $c;
?>结果应该是多少才对?