Pourquoi l'ordre des dictionnaires est-il non déterministe dans Python 3.3 ?

Dans les versions Python antérieures à 3.3, l'ordre des clés du dictionnaire était arbitraire mais cohérent. Cependant, dans Python 3.3, cet ordre est devenu non déterministe.

Ce changement résulte d'un correctif de sécurité implémenté en 2012 et activé par défaut dans Python 3.3. La randomisation du hachage, introduite pour remédier aux vulnérabilités de sécurité, rend l'ordre d'itération des dictionnaires et des ensembles imprévisible et différent selon les exécutions de Python.

Pour désactiver la randomisation du hachage, vous pouvez définir la variable d'environnement PYTHONHASHSEED sur 0.

Exemple contre-intuitif

Bien que le contre-exemple de la question ne donne pas systématiquement le même résultat dans Python 3.3, son nombre limité d'ordres différents provient de la gestion des collisions de hachage.

Cette limitation n'est plus présente dans Python 3.6 et versions ultérieures, où l'ordre d'insertion des dictionnaires est toujours conservé.