Несогласованные правила области видимости переменных в циклах for, for-in и for-of

Итак, я заметил, что должен использовать let внутри цикла for и не могу использовать const.

Нет. Вы можете использовать объявление const в цикле for. Проблема только в том, что const объявляет константную привязку, поэтому приращение i++ не работает с const i (должно быть выдано исключение, убедитесь, что вы находитесь в строгом режиме).

Пример использования const:

for (const o = {index: 0, value: null}; o.index < arr.length; o.index++) {
    o.value = arr[o.index];
    doSomething(o);
}

Или тот, где это имеет больше смысла:

for (const iterator = makeIterator(); !iterator.isDone(); iterator.next())
    doSomething(iterator.getCurrent());
}

Интуитивно я могу объяснить, что это связано с тем, что цикл for реализован по-другому/более примитивен, тогда как другие конструкции превращают сахар в циклы for, где итерирующая переменная назначается в верхней части цикла for.

Да. В цикле for вам нужно самостоятельно позаботиться об обновлении переменных итерации.

• for ([var] init; condition; update) {
      body
  }

  becomes

  [var] init;
  while (condition) {
      body;
      update;
  }

• for (const init; condition; update) {
      body
  }

  становится

  {
      const init;
      while (condition) {
          body;
          update;
      }
  }

• for (let init; condition; update) {
      body
  }

  становится чем-то более сложным

В циклах for … in и for … of вы просто объявляете целевое выражение присваивания для полученного значения.

• for ([var]/let/const target of iterable) {
      body
  }

  становится

  {
      const _iterator = iterable[Symbol.iterator]();
      let _result;
      while (!(_result = _iterator.next()).done) {
          [var]/let/const target = _result.value;
          body;
      }
  }

• for (… in enumerable) это то же самое, что и for (… of Reflect.enumerate(enumerable)).

Единственное, что я смог найти в Mozilla MDN по этому поводу, было на странице цикла for, что тоже кажется неправильным.

Да, похоже, этот раздел еще не обновлен для ES6.

Да. Это действительно ожидаемое поведение.

const определяет переменную, которая, как следует из названия, остается постоянной. Это означает, что значение константы не может измениться.

Теперь то, что вы делаете в своем цикле for, увеличивает «i», который был определен как константа.

for (const i = 0; i < 3; i++ /* <- this doesn't work */ ) {
    console.log(i);
}

однако с for .. in или for .. of вы просто привязываете переменную.

Другими словами: с for .. in/off переменная назначается один раз перед выполнением цикла, а не на каждой итерации. Поэтому const действительно можно использовать.

Что касается справки:

ForDeclaration : LetOrConst ForBinding

http://www.ecma-international.org/ecma-262/6.0/index.html#sec-for-in-and-for-of-statements-static-semantics-boundnames

Согласно спецификация

ForDeclaration : LetOrConst ForBinding

let и const разрешены в операторах for-in и for-of.

Кроме того, согласно семантике времени выполнения, упомянутой в spec

Для каждого имени элемента BoundNames ForBinding выполните

Это выражение for (const v in object3) { выполняется для каждой итерации и дает новую привязку.

Однако с простым циклом for - for (const i = 0; i < 3; i++) { const i выполняется только один раз и, поэтому, он не позволяет вам повторно присвоить ему значение.