Php 如何格式化sql值；[a，b，c]“是吗？”；？

在一场比赛中，有三支不同的球队。例如，团队a、b和c。 在游戏数据库中，游戏时间是这样报告的：“[a，b，c]”，每个字母都是用户在特定团队中玩了多少分钟。 我使用PHP从数据库中获取数据以显示在网站上，但它只是显示为“[14,0,1]”，因为我在团队a上有14分钟，在团队b上有0分钟，在团队c上有1分钟

如何通过PHP或JSON将其格式化以添加a、b和c，或者在本例中是14+0+1

PHP中的代码：

$sql = "SELECT * FROM players WHERE playerid ='". $steamprofile['steamid']  
."'";
$result = $db->query($sql);
if (mysqli_num_rows($result) > 0) {
    while($row = mysqli_fetch_assoc($result)) {
        $playtime = $row["playtime"];
    }

HTML格式的代码：

<span id="label">Playtime</span>: <b><span id="playerPlaytime"><?php echo 
$playtime; ?></span></b><br>

Playtime:

输出：

---

通过在逗号上拆分创建一个数组，然后计算总和（首先修剪多余的内容）：

要使用JSON，您仍然需要修剪引号：

$playtime = array_sum(json_decode(trim($row['playtime'], '"')));

---

如果DB中的变量是字符串（可能是JSON对象），那么在PHP中可以执行以下操作：

$playtime = array_sum(json_decode($row['playtime']));

---

PHP认为游戏时间是什么？var_转储（播放时间）。如果您的PHP足够现代，能够真正匹配新的数组符号。。。嗯；-）所以你想要

15

作为结果？？？string（9）“[14,0,1]”是的，我想要15作为结果，但是如果我再玩6分钟，结果是“[20,0,1]”，它会说21如果你想要JSON/JavaScript，答案是：如果你想用JSON做，请点击这里：

$playtime = array_sum(json_decode($row['playtime']));