Performances du code orienté vers l'ADT unique sur les processeurs modernes

Question

Travailler dans des données immuables avec des affectations uniques a pour effet évident d'exiger plus de mémoire, on présumerait, car vous créez constamment Nouveau Les valeurs (bien que les compilateurs sous les couvertures fassent des astuces de pointeur pour en faire moins un problème).

Mais j'ai entendu plusieurs fois maintenant que les pertes là-bas en performances sont contrebalancées par les gains de la manière dont le CPU (son contrôleur de mémoire spécifiquement) peut profiter du fait que la mémoire n'est pas mutée (autant).

J'espérais que quelqu'un pourrait faire la lumière sur comment C'est vrai (ou si ce n'est pas le cas?).

Dans Un commentaire sur un autre post il a été mentionné que Types de données abstraites (ADT) a à voir avec cela qui m'a rendu encore curieux, comment les ADT affectent-ils spécifiquement la façon dont le processeur traite de la mémoire? C'est cependant un côté, la plupart du temps, je suis juste intéressé par la façon dont la pureté du langage affecte nécessairement les performances du CPU et de ses caches, etc.