Python变量分配和`id`关键字

可能重复：
Python “is” operator behaves unexpectedly with integers
Why (0-6) is -6 = False?Python变量分配和`id`关键字

所以，虽然带着几分玩id（蟒蛇2.6.5），我注意到以下（shell会话）：

>>> a = 1 
>>> id(a) 
140524904 
>>> b = 1 
>>> id(b) 
140524904

当然，只要我修改它被分配到一个新的内存地址的一个变量，即

>>> b += 1 
>>> id(b) 
140524892

难道是正常的行为最初分配具有相同价值观相同的内存位置两个变量或只是一个优化即CPython？

P.s.我花了一点时间浏览parser中的代码，但无法找到变量分配的位置和方式。

来源

2012-12-20 nvlass

请参阅http://stackoverflow.com/questions/306313/python-is-operator-behaves-unexpectedly-with-integers –

谢谢你们两位，我会将其标记为重复 – nvlass

我认为这个回答会有帮助 - literals from -1 to 256 and some short strings are interned – elssar

作为mentioned by glglgl，这是CPython的实现细节。如果您在CPython的源代码（例如版本3.3.0）看Objects/longobject.c，你会发生的事情找到答案：

#if NSMALLNEGINTS + NSMALLPOSINTS > 0 
/* Small integers are preallocated in this array so that they 
    can be shared. 
    The integers that are preallocated are those in the range 
    -NSMALLNEGINTS (inclusive) to NSMALLPOSINTS (not inclusive). 
*/ 
static PyLongObject small_ints[NSMALLNEGINTS + NSMALLPOSINTS];

这就解释了为什么a = 1; b = 1后，a is b将True，即使你说a += 2; b +=2; a -= 2; b -= 2。无论何时计算出一个数值具有适合该数组的值，只需从该数组中选取所得到的对象，即可节省一点内存。

可以使用这样的函数计算出这个small_ints数组的边界：

def binary_search(predicate, lo, hi): 
    while lo + 1 < hi: 
     mid = (lo + hi)/2 
     if predicate(mid): 
      lo = mid 
     else: 
      hi = mid 
    return lo 

def is_small_int(n): 
    p = n + 1 
    q = n + 1 
    return (p - 1) is (q - 1) 

def min_neg_small_int(): 
    p, q = -1, -1 
    if p is not q: 
     return 0 
    while p is q: 
     p += p 
     q += q 
    return binary_search(is_small_int, p/2, p) - 1 

def max_pos_small_int(): 
    p, q = 1, 1 
    if p is not q: 
     return 0 
    while p is q: 
     p += p 
     q += q 
    return binary_search(is_small_int, p/2, p) 

def small_int_bounds(): 
    return (min_neg_small_int(), max_pos_small_int())

对于我的版本（Python 2.7版，64位Windows版本），small_int_bounds() == (-5, 256)。这意味着-5和256（含）之间的数字通过Objects/longobject.c中的small_ints数组共享。

-edit-我看到elssar noted有一个similar answer about interning of some literals。这个事实也被提及in the documentation for PyInt_FromLong，如this answer所述。

来源

2012-12-20 17:00:44

非常感谢您的详尽解答（也适用于python源代码中的指针 - 发现此问题需要一段时间）！并感谢所有其他有用的答案和评论！ – nvlass

我花了一段时间找到它的唯一原因是因为我正在寻找名称中带有'int'的东西。但是一旦你找到这个源文件，它几乎是第一件事。这可能是因为，我引用，“/ * XXX该文件的功能组织很糟糕* /'”;） – 2012-12-20 18:20:24