[Python-Dev] Retrieve an arbitrary element from a set without removing it (original) (raw)

"Martin v. Löwis" martin at v.loewis.de
Sun Oct 25 19:45:54 CET 2009


If you actually care about that aspect of the semantics for a particular application, it would be far clearer to use a full dict() and live with the additional memory usage. While I can see how saving that pointer-per-entry might make sense in some circumstances, for most I would see it as a needlessly confusing micro-optimisation.

That's exactly my view.

Regards, Martin



More information about the Python-Dev mailing list