json_decode到关联数组，同时保留键的数据类型

Question

给出这个简单的json对象：

{
  "100": 0,
  "100T": 0
}

如何将其解码为关联数组，使得“100”和“100T”键都保留为字符串。当我使用json_decode时，“100”被转换为整数。

示例代码：

$json = '{"100":0, "100T":0}';
$array = json_decode($json, true);
var_dump($array);

给出这个输出：

array(2) {
  [100] =>
  int(0)
  '100T' =>
  int(0)
}

但我想要这个输出：

array(2) {
  '100' =>
  int(0)
  '100T' =>
  int(0)
}

我在Ubuntu 16.04上使用PHP版本7.0.25