传递元组列表时格式说明符如何取值

Question

我有一段代码如下：

tupvalue = [('html', 96), ('css', 115), ('map', 82)]

因此，在为特定索引以所需格式打印上述元组时，我发现了如下代码：

>>> '%s:%d' % tupvalue[0]
'html:96'

我想知道单个值 tupvalue[0] 是如何被格式说明符 '%s:%d' 识别为两个值的元组的？请使用文档参考解释此机制。

如何使用推导将tupvalue 中的所有值格式化为所需格式，如所示示例所示？

Answer 1

首先，简单的问题：

如何使用推导将tupvalue 中的所有值格式化为所需格式，如所示示例所示？

这是一个列表理解：['%s:%d' % t for t in tupvalue]

现在，更难的问题！

格式说明符'%s:%d'如何将单个值tupvalue[0]识别为两个值的元组？

您认为这里发生了一些奇怪的事情的直觉是正确的。 元组在语言中是特殊的，用于字符串格式。

>>> '%s:%d' % ('css', 115)  # tuple is seen as two elements
'css:115'
>>> '%s:%d' % ['css', 115]  # list is just seen as one object!
TypeError: not enough arguments for format string

百分比样式的字符串格式不能正确地进行鸭式输入。所以，如果你真的想格式化一个元组，你必须将它包装在另一个元组中，这与任何其他类型的对象不同：

>>> '%s' % []
'[]'
>>> '%s' % ((),)
'()'
>>> '%s' % ()
TypeError: not enough arguments for format string

文档的相关部分位于4.7.2. printf-style String Formatting 部分，其中提到：

如果格式需要单个参数，则值可以是单个非元组对象。否则，值必须是与格式字符串指定的项目数完全相同的元组

元组的奇怪处理是文档该部分开头的注释中指出的怪癖之一，也是推荐使用较新的字符串格式化方法str.format 的原因之一。

请注意，字符串格式的处理发生在运行时^†。您可以使用抽象语法树来验证这一点：

>>> import ast
>>> ast.dump(ast.parse('"%s" % val'))
"Module(body=[Expr(value=BinOp(left=Str(s='%s'), op=Mod(), right=Name(id='val', ctx=Load())))])"

'%s' % val 解析为对'%s' 和val 的二进制操作，在CPython 中的处理方式类似于str.__mod__(val)，它是BINARY_MODULO 操作码。这意味着当收到的val 不正确^* 时，通常由str 类型决定要做什么，这仅在表达式被求值 时发生，即一旦口译员到达那条线。因此，val 是错误类型还是元素太少/太多并不重要——这是运行时错误，而不是语法错误。

^†_{除了在某些特殊情况下，CPython 的窥孔优化器能够在编译时“不断折叠”它。}

^*_{除非val的类型子类str，在这种情况下type(val).__rmod__should be能够控制结果。}