切片索引限制为 0x7FFFFFFF

Question

我正在使用 Python (2.7.4) 中的切片：

class Foo():
    def __getitem__(self, key):
        # Single value
        if isinstance(key, (int,long)):
            return key

        # Slice
        if isinstance(key, slice):
            print 'key.start = 0x{0:X}   key.stop = 0x{1:X}'.format(key.start, key.stop)
            length = key.stop - key.start
            return str(length)

一切似乎都按预期工作：

>>> f = Foo()
>>>
>>> f[42]
42
>>>
>>> f[20:30]
key.start = 0x14   key.stop = 0x1E
'10'

除了切片索引似乎限制为 0x7FFFFFFF：

>>> f[0xFEDCBA98 : 0xFFFFFFFF]
key.start = 0x7FFFFFFF   key.stop = 0x7FFFFFFF
'0'
>>> f[0x80000000:0x90000000]
key.start = 0x7FFFFFFF   key.stop = 0x7FFFFFFF
'0'

为什么切片索引不像常规 int 值那样受到相同的 long 整数提升？有什么解决方法吗？

Answer 1

我意识到这似乎是旧式类的限制。 New-style classes（派生自object）的行为符合预期：

class Foo(object):
   #...

结果：

>>> f = Foo()
>>>
>>> f[0x80000000:0x90000000]
key.start = 0x80000000   key.stop = 0x90000000
'268435456'
>>>
>>> f[0xFEDCBA98 : 0x1200000000]
key.start = 0xFEDCBA98   key.stop = 0x1200000000
'73033532776'
>>>

我还没有在任何地方看到这个记录。这尤其令人困惑，因为此限制不在 slice 类本身中：

>>> s = slice(0xFEDCBA98, 0x1200000000)
>>>
>>> s
slice(4275878552L, 77309411328L, None)
>>>
>>> hex(s.start)
'0xfedcba98L'

Answer 2

经过大量搜索，我找到了这个

在 python 3.3 中，切片开始和结束的位置类似于 this

start = PyLong_FromSsize_t(istart);
...
end = PyLong_FromSsize_t(istop);

但在 2.7 中，它们的查找方式类似于 this

start = PyInt_FromSsize_t(istart);
...
end = PyInt_FromSsize_t(istop);

在 2.7 中，PyInt_FromSsize_t 最终使用 long 的大小，而在 3.3 中，PyLong_FromSsize_t 使用 PyObject 的大小。这就是为什么它在 3.3 而不是 2.7 中运行良好的原因。