php - 使用 php 更新 json

Question

我有一个 json 文件，我需要更新其数值并写回新文件。这是我的示例脚本

[
  {
    "type": "flipImage",
     "image": "img/new.jpg",
     "trigger": "{{10,80},{300,350}}",
     "animationDuration": "1.0"
   }
 ]

"trigger": "{{10,80},{300,350}}" 的数值需要更新为其他值。我设法通过 php 中的 json_decode() 获取值。解码后返回值 {{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写回新文件

Answer 1

如果您确定不会发现格式的变体，那么这是一个非常简单的正则表达式(转义使其看起来比实际更难):

<?php

$input = '{{10,80},{300,350}}';
$output = null;

if( preg_match('/^\{\{(\d+),(\d+)\},\{(\d+),(\d+)\}\}$/', $input, $matches) ){
    // Example: increment all numbers in 1
    $matches[1]++;
    $matches[2]++;
    $matches[3]++;
    $matches[4]++;

    $output = sprintf('{{%d,%d},{%d,%d}}', $matches[1], $matches[2], $matches[3], $matches[4]);
}

var_dump($output);