Python之美[从菜鸟到高手]--2+2=5

时间:2021-10-04 04:03:00

    今天在伯乐在线上看到一篇比较有意思的文章:趣味挑战:写一个 2 + 2 = 5 的程序 ,python版代码如下:

patch = '\x312\x2D7'
import ctypes;ctypes.c_int8.from_address(id(len(patch))+8).value=eval(patch)
这方法真赞,充分利用了python的小整数缓存方案。
我第一眼看patch,这是啥玩意,

Python之美[从菜鸟到高手]--2+2=5

len(patch)是4,将id(4)+8的地址值修改为12-7,所以2+2=5,非常完美。

如果要想完全了解这里面的魔法,需要对Python的整数对象有所了解,

#define PyObject_HEAD           \
    _PyObject_HEAD_EXTRA        \
    Py_ssize_t ob_refcnt;       \
    struct _typeobject *ob_type;

typedef struct {
    PyObject_HEAD
    long ob_ival;
} PyIntObject;
如果没定义Py_TRACE_REFS,那么_PyObject_HEAD_EXTRA为空,所以python的整数对象有12字节(对32位来说),而值明显就是在第8个字节。我们也可以通过该方法获取引用计数。

Python之美[从菜鸟到高手]--2+2=5

至于为什么sys.getrefcount引用多1,可以看以前Python垃圾回收机制及gc模块详解一文。


那有没有其它方案呢?

   1.memmove ,需要注意的就是第一个参数是目标地址

      Python之美[从菜鸟到高手]--2+2=5

    2.既然memmove可以,那试试memset,注意最后那个size为1,自己想想为什么?

       Python之美[从菜鸟到高手]--2+2=5

    3.其它的方法就交给聪明的你吧,ctypes是一个宝库,需要好好挖掘。