我有一个 json 文件,我需要更新它的数值并写回新文件。这是我的示例脚本
[
{
"type": "flipImage",
"image": "img/new.jpg",
"trigger": "{{10,80},{300,350}}",
"animationDuration": "1.0"
}
]
"trigger": "{{10,80},{300,350}}"
需要更新为其他值的数值 。我设法通过 json_decode() 在 php 中获取值。解码后返回值{{10,80},{300,350}}
这是解码脚本
$json_data = file_get_contents('json.txt');
$encoded_data = json_decode($json_data,true);
echo $encoded_data[0]['trigger'];
但我陷入了更新部分。如何拆分值,然后更新并写回更新的 json 文件?
任何帮助都非常可观。
更新 首先,我需要解析该数值,然后对其进行一些计算。计算后将整个 json 写回新文件