Collections ES6 : la complexité temporelle linéaire est-elle obligatoire ?

La spécification ES6 introduit des collections à clés telles que Set, Map, WeakSet et WeakMap. Ces collections offrent des moyens efficaces de stocker et de récupérer des données en fonction de clés. Cependant, la question se pose : la spécification impose-t-elle une complexité temporelle linéaire pour les opérations sur ces collections ?

Complexité temporelle linéaire ou choix d'algo laissé ouvert

Malgré les attentes de Algorithmes performants largement acceptés comme l'accès O(1) pour les prototypes Set et Map, la spécification ES6 laisse étonnamment la porte ouverte aux algorithmes temporels linéaires.

La spécification stipule que « Les objets Set doivent être mis en œuvre à l'aide de [mécanismes] qui, en moyenne, fournissent des temps d'accès sublinéaires. Ce langage peut être interprété pour inclure des algorithmes de temps linéaire. Cependant, elle ne les impose pas explicitement.

De même, la spécification n'exclut pas des algorithmes plus performants comme les tables de hachage ou les arbres équilibrés, qui fournissent une complexité temporelle logarithmique.

Absence de Mandats de performances explicites

L'absence de mandats de performances explicites dans la spécification a fait sourciller les développeurs qui s'attendaient à ce que la spécification donne rapidement la priorité. algorithmes.

Cependant, il est important de noter que la spécification se concentre sur la sémantique observable, telle que l'ordre d'itération prévisible. Bien qu'une implémentation efficace basée sur le hachage soit largement attendue, la spécification autorise des structures de données alternatives telles que des arbres, qui offrent une complexité temporelle logarithmique.

Conclusion

La spécification ES6 ne n'exige pas explicitement une complexité temporelle linéaire pour les opérations sur les collections à clé. Bien que les algorithmes de temps linéaire puissent être observables dans certaines implémentations, la spécification laisse la place à des implémentations plus performantes. Les développeurs doivent consulter la documentation spécifique du navigateur ou du runtime pour comprendre la complexité temporelle réelle de ces opérations de collecte dans différents contextes.