无意中发现php的json_decode有bug

一，什么是json

json是一种数据结构，易于人阅读和编写，同时也易于机器解析和生成。

json建构两种结构：

1，“名称/值”成对的集合，不同的语言中，它被理解为对象（object），纪录（record），结构（struct），字典（dictionary），哈希表（hash table），有键列表（keyed list），或者关联数组 （associative array）。
2，值的有序列表（An ordered list of values）。在大部分语言中，它被理解为数组（array）。

json具有以下这些形式：

对象是一个无序的“‘名称/值’对”集合。一个对象以“{”（左括号）开始，“}”（右括号）结束。每个“名称”后跟一个“:”（冒号）；“‘名称 /值’ 对”之间使用“,”（逗号）分隔

二，我遇到的问题

看下面的例子：

查看复制打印?

1. <?php
2. $string = ‘{"skus" : [
3. {
4. "SHADENAME" : null,
5. "HEX_VALUE_STRING" : "",
6. "SKU_BASE_ID" : 5912,
7. "pricePlusTax" : 8400,
8. "PRODUCT_SIZE" : "220g",
9. "PRICE" : 8000,
10. "SKU_ID" : "SKU5912",
11. "INVENTORY_STATUS" : 2,
12. "PRODUCT_CODE" : 016500
13. }
14. ],
15. "shaded" : 0,
16. "PROD_CAT_IMAGE_NAME" : 0165,
17. "SKINTYPE_DESC" : "",
18. "PRODUCT_ID" : "PROD2158"
19. }
20. ‘;
21. //下面的正则是把0615这样数据，转换成"0615"
22. $pattern = "/:(\s*)0(\d+)/ui";
23. $replacement = ‘:\\1"0\\2"‘;
24. $string = preg_replace($pattern, $replacement, $string);
25. $result = json_decode($string, true);
26. print_r($result);
27. $string = json_encode($result);
28. echo $string;
29. ?>

操作和分析：

1，如果我把正则的东西拿掉的话，print_r($result);根本显示不了任何东西，问题就出在016500这样的数据上，他搞不清楚，这样的数据到底是字符串类型，还是数值类型。加上双引号就好了。

2，我把数组又重新$string = json_encode($result);并把json字符串打印出来，发现在json_encode会把016500加上双引号，由此可以断定，php代码中的那段json字符串是手动生成的。

3，即使像016500这样的数据没有加上双引号，我想json_decode也可以做出准确的判断，因为这个逻辑不复杂，所以我想json_decode是不是应当改进一下，还有我用php版本是5.2.3，不知道最新的版本有没有修正这个bug

参考：http://blog.51yip.com/php/934.html