由 '' in 'abc' return True 引起的思考----Python 成员测试操做

最近遇到判断字典中是否存在空字符串‘’，这个很好判断，直接用：‘’ in ['a','b','c']，就能够直接判断出来；可是当我对字符串使用 “in” 方法进行判断的时候，发现：‘’ in ‘abc' 仍然会返回True，对于这个问题，以前一直没有注意到过其中的原理，如今去进行探索总结一下：

首先，查看官方文档：https://docs.python.org/2/reference/expressions.html#not-in

文档在5.9.2中：Membership test operations中是以下说明的：

大概翻译一下意思就是说：　　

　　“in” 和 “not in” 是对集合成员的检测操做，若是 x 在 集合s 中的话那么 x in s 返回True，不然返回False。x not in s 跟 x in s 判断是相反的。 成员的检测被绑定到序列；若是集合是序列，而且包含与该对象相等的元素，则对象是集合的成员。然而，对于许多其余对象类型来讲，即便不是序列，可是支持成员测试也是有意义的。特别是，dict(key) 和 sets 支持成员资格测试。

• “列表” 和 “元祖” 类型：当且仅当，'y' 中 存在一个下标 ’i‘ 使得 x is y[i] 或者 x == y[i] 成立，x in y 才会返回 True
• “Unicode” 和 “String” 类型： 要使 'x in y' return True 成立，当且仅当，’x‘ 是 ’y‘ 的一个子字符串。有个等效的测试为 y.find(x) != -1。注：’x‘ 和 ’y‘ 不须要相同的类型；好比：u'ab' in 'abc' 也会返回True。空字符串是任何字符串的子字符串，因此，“” in 'abc' 会返回True。

　　在版本2.3的时候被改变了：以前的版本，’x‘ 被要求是长度为 1 的字符串。

• 对于用户自定义的类，分为如下三种状况考虑：

1. 对于有__contains__()方法的用户自定义类：若是 y.__contains__(x) 为 True，则 x in y 返回True
2. 对于没有定义__contains__()方法，可是定义了__iter__()方法：若是 有值 'z' 在对 ’y‘ 进行迭代的时候 x==z 成立，那么 x in y 会返回True，若是在迭代过程当中引起异常，则会抛出该 in 异常。
3. 对于定义了__getitem__()方法的类：当且仅当含有一个非负的整数下标 i 使得 x == y[i] 成立，那么 x in y 才会返回True，全部较低的整数索引不会引起IndexError异常。（若是有任何其余的异常出现，也会出现 in 操做出现异

 　  “not in” 操做和 “in” 操做产生的结果相反

 

看完官方文档后，对于判断“String”类型的时候，能够经过 y.find(x) != -1 来测试其是否成立，可是这个原理是怎么来的，仍是想进一步进行探究，下面查看Python2.7的源码：

首先，猜想在源码中首先应该和对象类型有关系，而后找到发现有typeobject.c文件，浏览后发现，含有以下代码：

SQSLOT("__contains__", sq_contains, slot_sq_contains, wrap_objobjproc, "x.__contains__(y) <==> y in x"),

 

而后接下来推测去找跟__contains__方法有关的和 上面说到的 find() 方法有关的源码：

• 在stringlib头文件文件夹中，发现有 find.h 文件，而后在其中发现了以下函数：

Py_LOCAL_INLINE(int) stringlib_contains_obj(PyObject* str, PyObject* sub) { return stringlib_find( STRINGLIB_STR(str), STRINGLIB_LEN(str), STRINGLIB_STR(sub), STRINGLIB_LEN(sub), 0 ) != -1; }

• 而后进一步去找到 stringlib_find() 的定义：

Py_LOCAL_INLINE(Py_ssize_t) stringlib_find(const STRINGLIB_CHAR* str, Py_ssize_t str_len, const STRINGLIB_CHAR* sub, Py_ssize_t sub_len, Py_ssize_t offset) { Py_ssize_t pos; if (str_len < 0) return -1; if (sub_len == 0) return offset; pos = fastsearch(str, str_len, sub, sub_len, -1, FAST_SEARCH); if (pos >= 0) pos += offset; return pos; }

• 从这里能够看到 当str_len == 0的时候，返回 offset，而 offset 已经初始化为了 0，从这里也能够大概得出：y.find(x) != -1，当 ’x‘ 为 ’空字符串‘ 时返回 0；当 ’x‘ 存在 'y' 中的时候，返回 对应的偏移量。而后接下来就会判断返回True 仍是False。

 

由于源码关联性的缘由，接下来能够在 stringobject.c 文件中，结合 find.h 进行对于其返回值的原理查看，这里就不一一列出来了。

源码目录：

　　Objects/Stringlib/find.h

　　Objects/typeobject.c

　　Objects/stringobject.c