Python未在没有转换说明符的情况下对%引发异常

Question

字符串格式的%运算符描述为here。你知道吗

通常，当呈现一个没有转换说明符的字符串时，它会引发TypeError: not all arguments converted during string formatting。例如，"" % 1将失败。到目前为止，还不错。你知道吗

有时，如果%运算符右侧的参数是空的，它不会失败："" % []，或"" % {}或"" % ()将静默地返回空字符串，看起来很公平。你知道吗

用"%s"代替空字符串也会将空对象转换成字符串，但最后一个会失败，但我认为这是%运算符问题的一个实例，它是通过format方法解决的。你知道吗

还有一个非空字典的例子，比如"" % {"a": 1}，它之所以有效是因为它实际上应该与命名类型说明符一起使用，比如"%(a)d" % {"a": 1}。你知道吗

但是，有一种情况我不明白："" % b"x"将返回空字符串，没有引发异常。为什么？你知道吗

Answer 1

我不是百分之百确定，但是在快速查看sources之后，我想原因如下：

当%右边只有一个参数时，Python会检查它是否有getitem方法，如果有，则假定它是一个映射，并希望我们使用像%(name)s这样的命名格式。否则，Python将从参数创建一个元素元组，并执行位置格式化。参数计数不使用映射检查，因此，由于bytes和lists确实有getitem，它们不会失败：

>>> "xxx" % b'a'
'xxx'
>>> "xxx" % ['a']
'xxx'

同时考虑：

>>> class X: pass
... 
>>> "xxx" % X()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: not all arguments converted during string formatting

>>> class X:
...    def __getitem__(self,x): pass
... 
>>> "xxx" % X()
'xxx'

字符串是此规则的例外-它们有getitem，但对于位置格式仍然是“元组化的”：

>>> "xxx" % 'a'
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: not all arguments converted during string formatting

当然，这种“序列作为映射”的逻辑意义不大，因为格式化键总是字符串：

>>> "xxx %(0)s" % ['a']
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: list indices must be integers, not str

但我怀疑是否有人能解决这个问题，因为%无论如何都被抛弃了。你知道吗