Improved performance and arguably simpler code for dictionaries by changing the keys layout

Current layout

Currently the _dictkeysobject struct is laid out like this:

ptr ---->  +--------------+
           |     header   |
           +--------------+
           |    indices   |
           +--------------+
           |     keys     |
           +--------------+

which requires some relatively expensive calculation to find the start of the keys, as the indices are not only variable in number, but variable in size also.

Proposed layout

If instead it is laid out as follows:

           +--------------+
           |    indices   |
ptr ---->  +--------------+
           |     header   |
           +--------------+
           |     keys     |
           +--------------+

and the indices laid from highest to lowest with 0 just before ptr, finding the start of the keys is as simple as ptr->keys . Accessing an index is no slower, and the code barely any more complex.

Linked PRs

• gh-145097
• gh-150640

Prüfe zuerst das vorgeschlagene _dictkeysobject-Layout und die verknüpften PRs gh-145097 und gh-150640, da sich die Arbeit dorthin verlagert hat. Vergleiche die aktuelle und die vorgeschlagene Anordnung von Index, Header und Keys; für den Abschluss wären die Implementierung und ihre Performance- oder Korrektheitsvalidierung erforderlich, um das neue Layout zu unterstützen.