ES6 是否为对象属性引入了明确定义的枚举顺序？

Question

ES6 是否为对象属性引入了明确定义的枚举顺序？

var o = {
  '1': 1,
  'a': 2,
  'b': 3
}

Object.keys(o); // ["1", "a", "b"] - is this ordering guaranteed by ES6?

for(let k in o) {
  console.log(k);
} // 1 2 3 - is this ordering guaranteed by ES6?

Answer 1

注意：从 ES2020 开始，甚至像 for-in 和 Object.keys 这样的旧操作也需要遵循属性顺序。这并没有改变对基本程序逻辑使用属性顺序可能不是一个好主意的事实，因为非整数索引属性的顺序取决于属性的创建时间。

---

ES2015-ES2019的答案：

对于for-in、Object.keys 和JSON.stringify：否。

对于其他一些操作：是，通常。

虽然 ES6 / ES2015 添加了属性顺序，但由于遗留兼容性问题，它不需要 for-in、Object.keys 或 JSON.stringify 遵循该顺序。

for-in 循环根据[[Enumerate]] 进行迭代，其定义为（强调我的）：

当O的[[Enumerate]]内部方法调用如下 已采取措施：

返回一个迭代器对象（25.1.1.2），它的下一个方法迭代 O 的可枚举属性的所有字符串值键。这 迭代器对象必须继承自 %IteratorPrototype% (25.1.2)。 枚举属性的机制和顺序不是 指定，但必须符合下面指定的规则^[1]。

ES7 / ES2016 移除了 [[Enumerate]] 内部方法，转而使用抽象操作 EnumerateObjectProperties，但就像 [[Enumerate]] 一样，它没有指定任何顺序。

还可以看到Object.keys的这句话：

如果一个实现定义了一个特定的枚举顺序 for-in 语句，[...]

这意味着实现不需要定义特定的枚举顺序。 has been confirmed 由 ECMAScript 2015 语言规范的项目编辑 Allen Wirfs-Brock 撰写，在规范完成后发布。

对于普通对象，Object.getOwnPropertyNames、Object.getOwnPropertySymbols、Object.defineProperties 和 Reflect.ownKeys 等其他操作请遵循以下顺序：

1. 整数索引（如果适用），按升序排列。
2. 其他字符串键（如果适用），按属性创建顺序排列。
3. 符号键（如果适用），按属性创建顺序排列。

此行为在[[OwnPropertyKeys]] 内部方法中定义。但是某些exotic objects 对该内部方法的定义略有不同。例如，Proxy 的ownKeys 陷阱可能会以任意顺序返回一个数组：

console.log(Reflect.ownKeys(new Proxy({}, {
  ownKeys: () => ['3','1','2']
}))); // ['3','1','2'], the integer indices are not sorted!

---

^[1] 下面写着：

[[Enumerate]] 必须获取目标对象自己的属性键 好像通过调用其 [[OwnPropertyKeys]] 内部方法。

并且 [[OwnPropertyKeys]] 的顺序是明确定义的。但不要让这让您感到困惑：“好像”仅表示“相同的属性”，而不是“相同的顺序”。

这可以在EnumerableOwnNames 中看到，它使用 [[OwnPropertyKeys]] 来获取属性，然后对它们进行排序

与迭代器产生的相对顺序相同 如果调用了 [[Enumerate]] 内部方法，则会返回

如果需要 [[Enumerate]] 以与 [[OwnPropertyKeys]] 相同的顺序进行迭代，则无需重新排序。

Answer 2

正如另一个答案所述，ES2015 没有为（非常常用的）属性迭代方法 for-in、Object.keys 和 JSON.stringify 定义枚举顺序，而它确实定义其他方法的枚举方法，如Reflect.ownKeys。 不过，这种不一致很快就会不复存在，所有属性迭代方法都会以可预测的方式进行迭代。

正如许多人在他们自己的 JS 和 cmets 经验中可能观察到的那样，尽管上述方法的规范不能保证属性迭代顺序，但每个实现几乎总是以相同的确定性顺序进行迭代。因此，有一个（已完成的）提案来更改规范以使这种行为正式化：

Specifying for-in enumeration order (Stage 4)

有了这个提议，在大多数情况下，for..in、Object.keys / values / entries 和 JSON.stringify 保证按顺序迭代：

(1) 数字数组键

(2) 个非符号键，按插入顺序排列

(3) 符号键，按插入顺序

这与Reflect.ownKeys 的顺序相同，并且已经保证以这种方式迭代的其他方法。

specification text 比较简单：EnumerateObjectProperties，for..in 调用的有问题的抽象方法等，其顺序使用 未指定，will now 调用[[OwnPropertyKeys]]，即是指定迭代顺序的内部方法。

目前存在一些实现不同意的奇怪情况，在这种情况下，生成的订单将continue be unspecified，但这种情况很少见。

Answer 3

这个问题是关于 EcmaScript 2015 (ES6)。但需要注意的是，EcmaScript2017 规范中有removed 之前出现在Object.keys 规范中的以下段落，这里引用自the EcmaScript 2016 specification：

如果实现为 for-in 语句定义了特定的枚举顺序，则必须对步骤 3 中返回的数组元素使用相同的顺序。

此外，EcmaScript 2020 规范 removes 来自 EnumerableOwnPropertyNames 部分的以下段落，仍然出现在 in the EcmaScript 2019 specification：

5. 对 properties 的元素进行排序，使其与使用 O 调用 EnumerateObjectProperties 内部方法时返回的迭代器生成的相对顺序相同.

这些删除意味着从 EcmaScript 2020 起，Object.keys 强制执行与Object.getOwnPropertyNames 和Reflect.ownKeys 相同的特定顺序，即OrdinaryOwnPropertyKeys 中指定的顺序。顺序是：

1. 自己的属性是数组索引，¹按数字索引升序排列
2. 其他自有 String 属性，按属性创建时间升序排列
3. 拥有 Symbol 属性，按属性创建时间升序排列

¹array index 是一个字符串值的属性键，它是一个规范的数字字符串²，其数值 i 是一个整数在范围内 +0 ≤ i 32 - 1.

²canonical numeric String 是由 ToString 或字符串“-0”生成的数字的字符串表示形式。例如，“012”不是规范的数字字符串，但“12”是。

应该注意的是，所有主要的实现在几年前就已经与这个顺序保持一致了。