Python 3.0中带有空字符串的"IN"运算符

Question

当我浏览Python 3的教程时,我遇到了以下内容:

>>> '' in 'spam'
True

我的理解是''等于没有空格.

当我尝试以下shell终端时,我得到下面显示的输出:

>>> '' in ' spam '
True

有人可以帮忙解释一下发生了什么吗？

Answer 1

''是空字符串,与...相同"".空字符串是每个其他字符串的子字符串.

当a和b是字符串时,表达式a in b检查a是否为子字符串b.也就是说,a必须存在的字符序列b; 必须有一个i这样的指数b[i:i+len(a)] == a.如果a为空,则任何索引都i满足此条件.

这并不意味着当你迭代时b,你会得到a.与其他序列不同,虽然for a in b满足所产生的每个元素a in b,a in b并不意味着a将通过迭代产生b.

所以'' in x并"" in x为任何字符串返回True x:

>>> '' in 'spam'
True
>>> "" in 'spam'
True
>>> "" in ''
True
>>> '' in ""
True
>>> '' in ''
True
>>> '' in ' ' 
True
>>> "" in " "
True

Answer 2

该字符串字面 ''表示空字符串。这基本上是一个长度为零的字符串，其中不包含任何字符。

该in运算符是为序列定义的，以便为表达式返回“True如果 的项s等于x，否则False” x in s。对于一般序列，这意味着s（通常使用迭代可访问）中的项目之一等于测试元素x。然而，对于字符串，in运算符具有子序列语义。所以x in s是真实的，当x是的子串s。

形式上，这意味着对于x长度为 的子字符串n，必须有一个i满足以下表达式的索引：s[i:i+n] == x。

这通过一个例子很容易理解：

>>> s = 'foobar'

>>> x = 'foo'
>>> n = len(x) # 3
>>> i = 0
>>> s[i:i+n] == x
True

>>> x = 'obar'
>>> n = len(x) # 4
>>> i = 2
>>> s[i:i+n] == x
True

从算法上讲，in操作符（或底层__contains__方法）需要做的是迭代i所有可能的值 ( 0 <= i < len(s) - n) 并检查条件是否为真i。

回顾空字符串，很清楚为什么'' in s每个字符串的检查都是真的s:n为零，所以我们正在检查s[i:i]; 这是每个有效索引的空字符串本身i：

>>> s[0:0]
''
>>> s[1:1]
''
>>> s[2:2]
''

甚至s作为空字符串本身也是如此，因为序列切片被定义为在指定序列之外的范围时返回一个空序列（这就是您可以s[74565463:74565469]对短字符串执行的原因）。

所以这就解释了为什么当检查空字符串作为子字符串时，包含检查in总是返回True。但即使您从逻辑上考虑它，您也可以看到原因：子字符串是您可以在另一个字符串中找到的字符串的一部分。但是可以在每两个字符之间找到空字符串。就像您可以向数字添加无限数量的零一样，您可以向字符串添加无限数量的空字符串而无需实际修改该字符串。