PHP数字012打印是10

$a = 012;
echo $a/4;
这样$a是10为什么是10啊。
有没有类似的这样转字符串的问题，请多多补充谢谢。

回复讨论(解决方案)

0 开始表示的是八进制数， 012 就是 十进制 8 + 2 = 10