Coleções ES6: a complexidade de tempo linear é obrigatória?

A especificação ES6 apresenta coleções chaveadas, como Set, Map, WeakSet e WeakMap. Essas coleções fornecem maneiras eficientes de armazenar e recuperar dados com base em chaves. No entanto, surge a questão: a especificação exige uma complexidade de tempo linear para as operações nessas coleções?

Linear Time Complexity ou Algo Choice Left Open

Apesar das expectativas de algoritmos de desempenho amplamente aceitos, como acesso O(1) para os protótipos Set e Map, a especificação ES6 surpreendentemente deixa a porta aberta para algoritmos de tempo linear.

A especificação afirma que "Os objetos Set devem ser implementados usando [mecanismos] que, em média, proporcionam tempos de acesso sublineares." Esta linguagem pode ser interpretada para incluir algoritmos de tempo linear. No entanto, ela não os obriga explicitamente.

Da mesma forma, a especificação não descarta algoritmos de maior desempenho, como tabelas hash ou árvores balanceadas, que fornecem complexidade de tempo logarítmica.

Ausência de Mandatos de desempenho explícitos

A ausência de mandatos de desempenho explícitos na especificação levantou sobrancelhas entre os desenvolvedores que esperavam que a especificação priorizasse algoritmos rápidos.

No entanto, é importante observar que o a especificação concentra-se na semântica observável, como ordem de iteração previsível. Embora uma implementação eficiente baseada em hash seja amplamente esperada, a especificação permite estruturas de dados alternativas, como árvores, que oferecem complexidade de tempo logarítmica.

Conclusão

A especificação ES6 faz não exige explicitamente a complexidade de tempo linear para operações em coleções codificadas. Embora algoritmos de tempo linear possam ser observáveis ​​em algumas implementações, a especificação deixa espaço para implementações de melhor desempenho. Os desenvolvedores devem consultar o navegador específico ou a documentação do tempo de execução para entender a complexidade real dessas operações de coleta em diferentes contextos.