为什么即使没有%s标识符也将列表用作字符串格式化参数会返回原始字符串?
问题内容:
>>> 'string with no string formatting markers' % ['string']
'string with no string formatting markers'
>>> 'string with no string formatting markers' % ('string',)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: not all arguments converted during string formatting
我希望这两种情况都会引发TypeError
,但事实并非如此。为什么不?
该主题的Python文档讨论了字符串,元组和字典,但没有提及列表。我对此行为有些困惑。我已经能够在Python 2.7和3.2中复制它。
问题答案:
仔细阅读后,文档指出:
如果format需要单个参数,则值可以是单个非
tuple
对象。否则,值必须是a,tuple
且必须具有由格式字符串指定的项目数,或者是单个映射对象(例如,词典)。
现在,在这种情况下,format
不需要单个参数,因此文档告诉我们您应该使用tuple
或映射作为参数。其他情况属于“未定义的行为”(正在发生的情况:行为在所有情况下均不一致)。
可能应该将其视为问题的最终答案:如果字符串没有任何格式说明符,则使用list
(tuple
或与映射不同的任何类型)本身仅应被视为导致未定义行为的错误。
因此,您应该 始终 使用tuple
或dict
作为参数,否则必须手动检查格式说明符或处理奇怪的行为。
在您的情况下,您可以使用(['string'], )
代替来解决问题['string']
。
关于结果行为为何如此随机的可能“解释”:
似乎在/的原始实现中进行了错误检查,而不是在此行中使用:PyString_Format``PyUnicode_Format``PyMappingCheck
if (PyMapping_Check(args) && !PyTuple_Check(args) &&
!PyObject_TypeCheck(args, &PyBaseString_Type))
dict = args;
使用以下代码:
if (Py_TYPE(args)->tp_as_mapping && !PyTuple_Check(args) &&
!PyObject_TypeCheck(args, &PyBaseString_Type))
dict = args;
这是不相等的。例如set
,没有tp_as_mapping
设置(至少在几周前我下载的Python2.7.3源代码中),但是list
设置了。
这可能是为什么的原因list
(可能还有其他对象)不提高的TypeError
同时,set
,int
和许多其他事情。
正如我之前在同一答案中所述,TypeError
即使使用list
s,我也能做到:
$ python2
Python 2.7.3 (default, Sep 26 2012, 21:53:58)
[GCC 4.7.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> 'some string' % []
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: not all arguments converted during string formatting
这可能表明上述问题不是这里唯一的问题。
查看源代码,我同意, 从理论上讲 ,如果参数不是元组,则不检查参数的数量,但这将暗示'some string' % 5 -> 'some string'
而不是a TypeError
,因此该代码中一定有一些可疑之处。