11

Меня интересует порядок обращения к элементам в массиве с помощью цикла FOR IN. А то есть с какого элемента начинает и каков принцип выборки.

1
  • начиная с числовых полей, далее в порядке добавления полей в объект
    – Grundy
    21 дек 2016 в 10:13

2 ответа 2

7

Цикл for...in проходит через перечисляемые свойства объекта, в произвольном порядке

for...in не следует использовать для Array, где важен порядок индексов.
Индексы массива перечисляемые свойства с целочисленными именами, а в остальном аналогичны объектам. Нет гарантии, что for...in будет возвращать индексы в нужном порядке и вернёт все перечисляемые свойства, включая имеющие нецелочислененные имена и наследуемые

Вдобавок, порядок обхода зависит от реализации ECMAScript браузером

стандарт ECMAScript оставляет порядок итерации по свойствам объектов на усмотрение реализующей стороны

Для массивов предпочтительней использовать простой for

9
  • спасибо за подсказку (ссылку), можете добавить в свой ответ что это зависит от браузера (из вашей ссылки).
    – perfect
    21 дек 2016 в 10:17
  • Я сталкивался с тем, что в некоторых фреймфорках то ли length то ли sort и некоторые другие функции попадают в перечисление for..in. Поэтому проверяйте что в аргументах.
    – nick_n_a
    21 дек 2016 в 10:24
  • @perfect добавил
    – Sublihim
    21 дек 2016 в 10:25
  • @Sublihim засчитал )
    – perfect
    21 дек 2016 в 10:29
  • Для того что бы свойство не подадало в перечисление for..in нужно указать что оно неперечисляемое при создании. Я сталкивался что в каких-то версиях jquery функции добавлены так, что они попадают в for-in так же с числами.
    – nick_n_a
    21 дек 2016 в 10:32
6

tl;dr:

Сначала переберутся числовые ключи соответствующие индексам начиная с 0, затем все остальные строковые ключи непосредственно из объекта, затем из прототипа.


Немного спецификации


Для различных вариантов for..in вызывается одна и та же внутренняя функция

IterationStatement: for ( LeftHandSideExpression in Expression ) Statement
  1. Let keyResult be ? ForIn/OfHeadEvaluation(« », Expression, enumerate).
  2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement, keyResult, assignment, labelSet).
IterationStatement: for ( var ForBinding in Expression ) Statement
  1. Let keyResult be ? ForIn/OfHeadEvaluation(« », Expression, enumerate).
  2. Return ? ForIn/OfBodyEvaluation(ForBinding, Statement, keyResult, varBinding, labelSet).
IterationStatement: for ( ForDeclaration in Expression ) Statement
  1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(BoundNames of ForDeclaration, Expression, enumerate).
  2. Return ? ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, lexicalBinding, labelSet).

Если перейти к этой функции можно найти алгоритм, который определяет получение свойств. Интересен пункт 6

  1. Если iterationKind is enumerate, то
    1. Если exprValue.[[Value]] равен null или undefined, тогда
      • Вернуть Completion{[[Type]]: break, [[Value]]: empty, [[Target]]: empty}.
    2. Пусть obj будет ToObject(exprValue).
    3. Вернуть EnumerateObjectProperties(obj).

Именно в функции EnumerateObjectProperties(obj) и осуществляется перебор.

В ее описании можно найти следующий пункт:

Возвращает объект итератора проходящего по всем Строковым ключам перебираемых свойств объекта O. Механика и порядок перечисления свойств не определен, но должен соответствовать правилам указанным ниже.

В нашем случае интересны следующие правила:

  1. The enumerable property names of prototype objects must be obtained by invoking EnumerateObjectProperties passing the prototype object as the argument.
  2. EnumerateObjectProperties must obtain the own property keys of the target object by calling its [[OwnPropertyKeys]] internal method.
  1. Имена перечисляемых свойств прототипа должны быть получены вызовом EnumerateObjectProperties с передачей ей прототипа текущего объекта как аргумента.
  2. EnumerateObjectProperties должен получить собственный имена свойств целевого объекта с помощью вызова внутреннего метода [[OwnPropertyKeys]]

И наконец, пришли к главному: [[OwnPropertyKeys]]. Если объект не строка или TypedArray вызывается OrdinaryOwnPropertyKeys (O) в которой выполняются следующие шаги:

  1. keys = new empty List.
  2. Для каждого свойства P, из объекта O, которое является целым числом больше либо равным 0, в порядке возрастания:
    1. Добавить P в конец keys.
  3. Для каждого свойства P, из объекта O, которое является Строкой, но не целым числом больше либо равным 0, в порядке создания свойств
    1. Добавить P в конец keys.
  4. Для каждого свойства P, из объекта O, имеющего тип Symbol, в порядке создания
    1. Добавить P в конец keys.
  5. Вернуть keys.

В итоге в тело for..in попадет сначала целочисленные ключи больше либо равные 0 в порядке возрастания, затем строковые, которые не могут быть представлены целым числом больше либо равным 0, в порядке добавления в объект. А так же после этого в том же порядке добавятся перечисляемые свойства из прототипа.


Можно отметить, что поведение массива, в данном случае ничем не отличается от поведения обычного объекта.

14
  • не хочется придется, все хорошо, только вот тег hr в конце очень пугает. Т.е начало такое: массив от объекта отличается тем то, а в конце написано но разницы никакой между массивом и объектом нет..
    – perfect
    21 дек 2016 в 12:34
  • @perfect, а где написано что массив от объекта отличается тем то? Собственно в ответе всего два абзаца в котором упоминаются массивы и объекты, и только в одном ключе
    – Grundy
    21 дек 2016 в 12:35
  • Если в массив не добавлялись пользовательские свойства разницы в обходе между циклом for по индексам с 0 до length и for..in - не будет
    – perfect
    21 дек 2016 в 12:36
  • @Grundy, Во, я до "механика перечисления свойств" не определена добрался, а дальше разбираться не стал решив что это по-прежнему implementation-dependent 21 дек 2016 в 12:36
  • @perfect, ну так правильно :-) перечитай еще раз о чем речь идет :) обход for по индексам и обход for..in. По умолчанию в массиве нет строковых ключей, поэтому результат одинаковый, но никто не запрещает добавить строковые ключи, либо сделать в массиве дырку, и в этом случае поведение уже будет отличаться. Тут кстати объект вообще не упоминается
    – Grundy
    21 дек 2016 в 12:39

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.