在 Python中的指针——到底指什么(一) 中,我们知道在Python的一切都是对象,变量其实是指向PyObject对象的名称,对不可变变量进行操作后,名称指向了另一个PyObject。
扣留对象
>>> x=256
>>> y=256
>>> x is y
True
>>> x=257
>>> y=257
>>> x is y
False
x、y都是256的时候,它们指向了同一个PyObject,x、y都是257时,它们指向了不同的对象,背后的原因是什么?Python会预先在内存中创建扣留对象(Interned Object)供用户使用。扣留对象的创建和Python的实现有关,一般来说包括小整数([-5,256])、字符串常量([a-zA-Z0-9_],即大小写英文字母、数字和下划线,且字符串长度不大于20)。扣留对象相当于缓冲池,是为了减少内存占用而引入的机制。上述例子中,值为256的整形对象属于扣留对象,所以每次对其引用时都不需要创建新的对象,而是直接将引用计数加1即可,值为257的对象不属于扣留对象,所以每次要创建新对象。
注1:在Shell中结果如此,如果是通过.py文件运行,由于Python的窥孔优化(peephool optimization),一个作用域的代码会被编译为一个Code对象,同一个Code对象中重复出现的变量名和常量只会保存一次。
注2:如果想得到一个非默认扣留对象的扣留对象,可以使用sys.intern()函数。其应用场景之一就是提高字典查找的性能——如果字典中的key是扣留对象,要查找的key也是扣留对象,就会直接通过对象地址比较查找对象,而不需要进行字符串的比较。
模拟指针
虽然Python中没有原生的指针,但可以通过以下方式模拟指针:
使用内置的可变变量,如list、set、dictionary等;
使用自定义对象,其内部实现还是通过内置的可变变量。
使用C定义函数:
void add_some( int * x, int some )
{
*x += some;
}
通过整形指针参数x,实现将x的数值增加some参数指定的值。在Python中要模拟这种实现,可以将可变列表作为函数的参数:
>>> def add_some(x, some):
x[0] += some
>>> y = [12]
>>> add_some(y, 6)
>>> y
[18]
>>> z = (12,)
>>> add_some(z, 6)
Traceback (most recent call last):
File "", line 1, in
add_some(z, 6)
File "", line 2, in add_some
x[0] += some
TypeError: "tuple" object does not support item assignment
函数add_some将列表的第一个元素增加some实现了类似指针的功能。但并不能说明Python中是有指针的,仅能说明list是可变类型,如果将元组作为参数调用add_some函数,就会抛出类型错误的异常,说明元组是不可变类型。
除了list外,经常使用dict在自定义类模拟指针:
>>> class Metric:
def __init__(self):
self._metric = {"func_called":0}
@property
def func_called(self):
return self._metric["func_called"]
def test_func(self):
self._metric["func_called"] += 1
>>> metr = Metric()
>>> metr.func_called
0
>>> metr.test_func()
>>> metr.func_called
1
使用ctypes提供的pointer函数可以获取对象的真正指针,POINTER函数可以定义指针类型,具体可以参考ctypes的官文。