【php】类型转换

$a = 9;

print_r((array) $a) ;

输出: [0=>9]

print_r((array) null);

输出: []