php - json_decode() 后缺少分号？

Question

在 PHP 中，我正在加载一个用 JSON 编写的配置文件。见摘录：

"test":{
    "regexp":"^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$"
}

注意分号！

当我使用 json_decode() 在 PHP 5.3.3 中加载它时，以下内容作为字符串返回：

^var1=([A-Za-z0-9_]+)(var2=([0-9]+))?(var3=([0-9]+))?$

有谁知道我的分号怎么了？他们有点重要！

Answer 1

使用 PHP 5.3.21 它工作得很好这是我的代码

<?php 
    $json = '{"test":{"regexp":"^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$"}}';
    $tested=json_decode($json, true);
    echo $tested["test"]["regexp"];
?>

我的输出符合预期

^var1=([A-Za-z0-9_]+)(;var2=([0-9]+))?(;var3=([0-9]+))?$