Json API响应：字符串和数字类型之间的差异

我有一个移动应用程序使用的API。它的端点名为/feed

它返回具有不同类型的对象的集合

[
    {
        "type": "USER",
        "value": 5632,
    },
    {
        "type": "IMAGE",
        "value": 1412,
    },
]

我想知道类型应该是字符串还是数字，如下所示：

[
    {
        "type": 100,
        "value": 5632,
    },
    {
        "type": 200,
        "value": 1412,
    },
]

两者之间有显著差异吗？该应用的IOS开发者表示，数字比字符串更容易比较

---

找到了一个，但它没有任何答案。

是的，数字比字符串更容易比较，这是事实。然后，这是否是一个显著的收益将取决于解析此json的算法、它包含的数据量等。此外，牺牲代码设计来获得性能往往是一个不好的选择。这真的取决于你的项目。

我明白了，所以这仍然取决于他们解析它的方式。你认为什么是推荐的方法？@Kapitaluffy:它起作用的几率非常低。相反，考虑其他因素，比如可用性，每个调试是多么容易，等等。