[issue28040] compact dict : SystemError: returned NULL without setting an error.
INADA Naoki
report at bugs.python.org
Mon Sep 12 14:03:19 EDT 2016
INADA Naoki added the comment:
Xiang:
Preserving insertion order in shared-key dict is possible, but it's hard.
If we allow it, we should add tons of test for shared-key dict.
I'll describe why it's harder than you think.
Current implementation allow insertion to split table only when:
/* When insertion order is different from shared key, we can't share
* the key anymore. Convert this instance to combine table.
*/
if (_PyDict_HasSplitTable(mp) &&
((ix >= 0 && *value_addr == NULL && mp->ma_used != ix) ||
(ix == DKIX_EMPTY && mp->ma_used != mp->ma_keys->dk_nentries))) {
if (insertion_resize(mp) < 0) {
`ix >= 0 && *value_addr == NULL` means it's pending slot.
`mp->ma_used == ix` ensure insertion order. And if we allow deletion, this check will be broken.
For example:
a, b = C()
a.a, a.b, a.c = 1, 2, 3 # shared-key order
b.a, b.b, b.c = 1, 2, 3 # same order, no problem
del b.a # mp->ma_used = 2
del b.b # mp->ma_used = 1
b.b = 42 # It's OK because mp->ma_used == ix == 1. Keep sharing.
assert(list(b.__dict__.keys()) == ["c", "b"]) # AssertionError! Actual order is [(PENDING "a",) "b", "c"]
----------
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue28040>
_______________________________________
More information about the Python-bugs-list
mailing list