当键名具有数值时，JSON.parse()是否真的对属性进行排序?

这里有很多关于这个问题的帖子，它们都包含很多断言，可以总结如下:

1. 对象属性不保证以任何方式排序。
2. JSON.parse()从不以任何方式排序属性。

显然，我们倾向于对上面的第一点毫无疑问，因此我们可以合理地期望，对于任何操作，属性都只是按照它们出现的顺序处理的。

由此我们可以特别推断出#2应该是正确的。

但是看看这个片段:
(BTW注意:为了显示结果，下面的代码片段不使用console.log()，这可能会改变输出的顺序。相反，对象由for (key in obj)迭代，并在文档中显示输出)

var inputs = [
  '{"c": "C", "a": "A", "b": "B"}',
  '{"3": "C", "1": "A", "2": "B"}',
  '{"c": "C", "a": "A", "3": "C", "1": "A", "b": "B", "2": "B"}'
];
for (var i in inputs) {
  var json = inputs[i],
      parsed = JSON.parse(json),
      output = [];
  for (var j in parsed) {
    output.push(j + ': ' + parsed[j]);
  }
  document.write(`JSON: ${json}<br />Parsed: ${output.join(', ')})<hr />`);
}

它显示，给定一个具有无序键的JSON字符串:

• 当输入具有非数值的键时，解析对象的属性的顺序与输入中的相同。这与上面的第二个假设是一致的。
相反，当输入具有具有数值的键时(尽管它们是字符串，因此不会引发解析错误)，解析对象将其属性排序为。这现在与#2假设相矛盾。
• 更多:当有数字和非数字混合键值时，首先出现排序的数字属性，然后出现按原顺序排列的非数字属性。

我第一次试图得出结论，实际上会有一个(未记录的?)功能，所以JSON.parse()遵循上面暴露的"规则"工作。

但是我有进一步研究的想法，所以下面的代码片段现在显示了仅仅编码对象的属性是如何排序的:

var objects = [
  [
    '{"c": "C", "a": "A", "b": "B"}',
    {"c": "C", "a": "A", "b": "B"}
  ],
  [
    '{"3": "C", "1": "A", "2": "B"}',
    {"3": "C", "1": "A", "2": "B"}
  ],
  [
    '{"c": "C", "a": "A", "3": "C", "1": "A", "b": "B", "2": "B"}',
    {"c": "C", "a": "A", "3": "C", "1": "A", "b": "B", "2": "B"}
  ]
];
for (var i in objects) {
  var object = objects[i],
      output = [];
  for (var j in object[1]) {
    output.push(j + ': ' + object[1][j]);
  }
  document.write(`Code: ${object[0]}<br />Object: ${output.join(', ')}<hr />`);
}

它会产生类似的观察结果，即无论它们被编码的顺序是什么，属性都按照上面的第三条规则存储:

• 数字命名的属性都放在前面，排序
• 接下来设置其他属性，按编码
排序

所以这意味着JSON.parse()没有参与:事实上，它似乎是对象构建的一个基本过程。
同样，这似乎没有记录，至少就我所能找到的而言。

有什么真正权威的规则吗?

[编辑，感谢@Oriol的回答]实际上，综合来看:

• 此行为符合ECMA规范规则。
• 此规则应适用于保证特定订单的所有方法，但对于其他情况是可选的。
• 然而，似乎现代浏览器都选择应用规则，无论方法涉及，因此明显的矛盾。