我偶然发现了以下Python怪异现象:
>>> two = 2 >>> ii = 2 >>> id(two) == id(ii) True >>> [id(i) for i in [42,42,42,42]] [10084276, 10084276, 10084276, 10084276] >>> help(id) Help on built-in function id in module __builtin__: id(...) id(object) -> integer Return the identity of an object. This is guaranteed to be unique among simultaneously existing objects. (Hint: it's the object's memory address.)
帮助我解开这种身份危机。
还有一些怪异之处:
>>> a,b=id(0),id(1) >>> for i in range(2,1000): a,b=b,id(i) if abs(a-b) != 12: print('%i:%i -> %i' % (i,a,b))
上面的代码检查连续整数的id是否也连续,并打印出异常:
77:10083868 -> 10085840 159:10084868 -> 10086840 241:10085868 -> 10087840 257:10087660 -> 11689620 258:11689620 -> 11689512 259:11689512 -> 11689692 260:11689692 -> 11689548 261:11689548 -> 11689644 262:11689644 -> 11689572 263:11689572 -> 11689536 264:11689536 -> 11689560 265:11689560 -> 11689596 266:11689596 -> 11689656 267:11689656 -> 11689608 268:11689608 -> 11689500 331:11688756 -> 13807288 413:13806316 -> 13814224 495:13813252 -> 13815224 577:13814252 -> 13816224 659:13815252 -> 13817224 741:13816252 -> 13818224 823:13817252 -> 13819224 905:13818252 -> 13820224 987:13819252 -> 13821224
请注意,模式从413开始出现。可能是由于每个新内存页面开始时都有一些伏都教记。
您的第四个问题“在上面的示例中,是指向具有值2的存储单元的2和ii指针,这将非常奇怪”,这实际上是理解整个过程的关键。
如果您熟悉C之类的语言,Python的“变量”实际上就不会以相同的方式工作。AC变量声明,例如:
int j=1; int k=2; k += j;
说道:“编译器,在堆栈上为我保留了两个内存区域,每个区域都有足够的空间容纳一个整数,记住一个为’j’,另一个为’k’。然后用值‘1’填充j和k的值为“ 2”。” 在运行时,代码说“取k的整数内容,将j的整数内容相加,然后将结果存储回k”。
Python中看似等效的代码:
j = 1 k = 2 k += j
说了些不同的话:“ Python,查找称为‘1’的对象,并创建一个指向它的标签’j’。查找名为‘2’的对象,并创建一个称为’k’的标签现在,查找对象’k’指向(‘2’),查找对象’j’指向(‘1’),然后将’k’指向通过执行’add’操作得到的对象在两个上。”
将此代码反汇编(使用 dis 模块)可以很好地说明这一点:
2 0 LOAD_CONST 1 (1) 3 STORE_FAST 0 (j) 3 6 LOAD_CONST 1 (2) 9 STORE_FAST 1 (k) 4 12 LOAD_FAST 1 (k) 15 LOAD_FAST 0 (j) 18 INPLACE_ADD 19 STORE_FAST 1 (k)
因此,是的,Python“变量”是指向对象的 标签 ,而不是可以填充数据的 容器 。
其他三个问题都是“ Python何时从一段代码中创建一个新对象,何时重用它已经拥有的对象?”的所有变体。后者称为“实习”;它遇到较小的整数和字符串(在Python中看起来像是符号名称)。