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

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

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

显然，我们对上面的#1 没有任何疑问，因此我们可以合理地预期，对于任何操作，属性仅按照它们出现的顺序进行处理。
[编辑，遵循@Bergi的评论：或者至少它们应该以随机顺序出现]

然后我们可以特别推断#2 应该是正确的。

但看看这个片段：
（顺便说一句注意：为了显示结果，下面的代码片段不使用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 假设一致。
• 相反，当输入有带有数值的键（虽然它们是字符串，所以不会引发解析错误），解析的对象有它的属性排序。这现在与#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规范规则 http://www.ecma-international.org/ecma-262/7.0/#sec-ordinaryownpropertykeys.
• 此规则应适用于保证特定顺序的所有方法但对于其他情况是可选的.
• 然而，似乎现代浏览器都选择应用该规则，无论涉及什么方法，因此存在明显的矛盾。

对象的属性没有顺序，所以JSON.parse无法对它们进行排序。但是，当您列出或枚举对象的属性时，顺序可能是明确定义的，也可能不是明确定义的。

不一定是为了for...in循环也不是Object.keys

正如在中充分解释的那样ES6 是否为对象属性引入了明确定义的枚举顺序？ https://stackoverflow.com/q/30076219/1529630, the spec http://www.ecma-international.org/ecma-262/7.0/#sec-enumerate-object-properties says

未指定枚举属性的机制和顺序

但对于 OrdinaryOwnPropertyKeys 来说是的

对象有一个内部 [[OwnPropertyKeys]] 方法，例如Object.getOwnPropertyNames and Object.getOwnPropertySymbols.

对于普通对象，该方法使用普通GetOwnProperty http://www.ecma-international.org/ecma-262/7.0/#sec-ordinaryownpropertykeys抽象操作，以明确定义的顺序返回属性：

当调用抽象操作 OrdinaryOwnPropertyKeys 时 目的O，采取以下步骤：

1. Let keys成为一个新的空List http://www.ecma-international.org/ecma-262/7.0/#sec-list-and-record-specification-type.
2. For each own property key P of O that is an integer index, in ascending numeric index order
   1. Add P作为最后一个元素keys.
3. For each own property key P of O that is a String but is not an integer index, in ascending chronological order of property creation
   1. Add P作为最后一个元素keys.
4. For each own property key P of O that is a Symbol, in ascending chronological order of property creation
   1. Add P作为最后一个元素keys.
5. Return keys.

因此，由于 OrdinaryOwnPropertyKeys 需要顺序，因此实现可能决定在内部按该顺序存储属性，并在枚举时也使用它。这就是你观察到的，但你不能依赖它。

另请注意，非普通对象（例如代理对象）可能有另一个 [[OwnPropertyKeys]] 内部方法，因此即使使用Object.getOwnPropertyNames顺序可能仍然不同。