<?php $string = "9494"; var_dump($string); echo "<br/>"; ?>
你的结果出来以后应该是string类型,9494加了双引号,就变成了字符串数据类型
$string="9494";
var_dump($string);