python

关注公众号 jb51net

关闭
首页 > 脚本专栏 > python > CPython处理is is not语句

CPython中处理is与is not语句示例详解

作者:weapon

这篇文章主要为大家介绍了CPython中处理is与is not语句示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪

起步

文档中 https://docs.python.org/3.8/r... 表示对于 x is y 当且仅当两个变量指向同一对象时才为真。对象可以通过 id() 函数来查看它的身份(id() 函数返回了对象在内存中的映射)。

is 与 is not 的字节码

is 与 is not 都是操作符。 is not 是整体的,千万别把 x is not y 当做是 x is (not y) 。

来看看这两个操作符对应的字节码(基于 Python 3.8):

>>> def fun():
...   x is y
...   x is not y
... 
>>> import dis
>>> dis.dis(fun)
  2           0 LOAD_GLOBAL              0 (x)
              2 LOAD_GLOBAL              1 (y)
              4 COMPARE_OP               8 (is)
              6 POP_TOP
  3           8 LOAD_GLOBAL              0 (x)
             10 LOAD_GLOBAL              1 (y)
             12 COMPARE_OP               9 (is not)
             14 POP_TOP
             16 LOAD_CONST               0 (None)
             18 RETURN_VALUE
>>>

对于 COMPARE_OP 对应的动作

case TARGET(COMPARE_OP): {
    PyObject *right = POP();
    PyObject *left = TOP();
    PyObject *res = cmp_outcome(tstate, oparg, left, right);
    Py_DECREF(left);
    Py_DECREF(right);
    SET_TOP(res);
    if (res == NULL)
        goto error;
    PREDICT(POP_JUMP_IF_FALSE);
    PREDICT(POP_JUMP_IF_TRUE);
    DISPATCH();
}

这部分的代码的含义是先将代对比的两个操作数从栈中取出,通过 cmp_outcome(tstate, oparg, left, right) 得到两数的操作结果,再将结果 res 放入栈顶。

cmp_outcome 函数的相关代码是:

static PyObject *
cmp_outcome(PyThreadState *tstate, int op, PyObject *v, PyObject *w)
{
    int res = 0;
    switch (op) {
    case PyCmp_IS:
        res = (v == w);
        break;
    case PyCmp_IS_NOT:
        res = (v != w);
        break;
        ...
    }
    v = res ? Py_True : Py_False;
    Py_INCREF(v);
    return v;
}

在 cmp_outcome() 函数中,仅通过对比两个指针的值是否相等来判断它们是否是指向同一对象。

纯Python代码解释

通过 id() 函数可以来判断某一对象在内存中对应的地址,因此用它也可以来判断两个变量是否指向了同一对象:

def _is(a, b):
    return id(a) == id(b)

def _is_not(a, b):
    return id(a) != id(b)

以上就是CPython中处理is与is not语句示例详解的详细内容,更多关于CPython处理is is not语句的资料请关注脚本之家其它相关文章!

您可能感兴趣的文章:
阅读全文