Javascript ES6 обчислювальна / часова складність колекцій

Яку складність часу (у великих позначеннях O) забезпечує специфікація ES6 для колекцій клавіш (Set, Map, WeakSet та WeakMap)?

Мої очікування, і я очікую , що від більшості розробників, є те , що специфікації і реалізації будуть використовувати широко прийняті продуктивним алгоритми, в цьому випадку Set.prototype.has, addі deleteдля всіх бути O (1) в середньому випадку. Те саме для Mapі Weak–еквівалентів.

Для мене не зовсім очевидно, чи була тимчасова складність реалізацій встановлена, наприклад, у специфікації мови ECMAScript 2015 - 6-е видання - 23.2 Набір об’єктів .

Якщо я не неправильно розумію це (і це, звичайно, дуже можливо), схоже, специфікація ECMA вимагає, щоб реалізації (наприклад Set.prototype.has) використовували алгоритм лінійного часу ( O (n) ). Мені здається надзвичайно дивовижним, що специфікація не передбачає або навіть дозволить більш ефективні алгоритми, і мені було б дуже цікаво пояснити, чому це так.

Прямо з того самого абзацу, до якого ви посилаєтесь:

Об'єкти набору повинні бути реалізовані за допомогою [механізмів], які в середньому забезпечують час доступу, який є підлінійним за кількістю елементів у колекції.

Ви знайдете те саме речення для Maps , WeakMaps і WeakSets .

Схоже, специфікація ECMA вимагає, щоб реалізації (наприклад, Set.prototype.has) використовували O(n)алгоритм лінійного часу ( ).

Немає:

Структури даних, що використовуються в цій Setспецифікації об’єктів, призначені лише для опису необхідної спостережуваної семантики об’єктів Set. Він не призначений для життєздатної моделі реалізації.

Спостережувана семантика здебільшого пов’язана з передбачуваним порядком ітерацій (який досі може бути реалізований ефективно та швидко ). Специфікація справді передбачає, що реалізація використовує хеш-таблицю або щось подібне з постійним доступом, хоча дерева (зі складністю логарифмічного доступу) також дозволені.

Для тих, хто цікавиться, я зробив дуже швидкий орієнтир:

const benchmarkMap = size => {
  console.time('benchmarkMap');
  var map = new Map();
  for (var i = 0; i < size; i++) map.set(i, i);
  for (var i = 0; i < size; i++) var x = map.get(i);
  console.timeEnd('benchmarkMap');
}

const benchmarkObj = size => {
  console.time('benchmarkObj');
  var obj = {};
  for (var i = 0; i < size; i++) obj[i] = i;
  for (var i = 0; i < size; i++) var x = obj[i];
  console.timeEnd('benchmarkObj');
}

var size = 1000000;

benchmarkMap(size);
benchmarkObj(size);

Я пробіг це кілька разів і дав такі результати:

(2017 MacBook Pro, 2,5 ГГц i7 з 16 ГБ оперативної пам'яті)

benchmarkMap: 189.120ms
benchmarkObj: 44.214ms

benchmarkMap: 200.817ms
benchmarkObj: 38.963ms

benchmarkMap: 187.968ms
benchmarkObj: 41.633ms

benchmarkMap: 186.533ms
benchmarkObj: 35.850ms

benchmarkMap: 187.339ms
benchmarkObj: 44.515ms