Python 中下划线 _ 作为变量名

Question

Peter Norvig 有一篇文章描述了一个通过结合确定性逻辑运算来解决数独谜题的程序，即使是最难的谜题并智能遍历可能的解决方案。后者是递归完成的；这是该函数（源）：（

def search(values):
    "Using depth-first search and propagation, try all possible values."
    if values is False:
        return False ## Failed earlier
    if all( len( values[s]) == 1 for s in squares): 
        return values ## Solved!
    ## Chose the unfilled square s with the fewest possibilities
    _,s = min( (len( values[s]), s) 
                for s in squares 
                if len(values[s]) > 1
            )
    return some( search( assign( values.copy(), s, d)) 
                for d in values[s]
            )

我添加了一些空格、CR 和制表符，以便我的眼睛；向诺维格博士道歉。）

在评论的正下方有一行以“_,s”开头的行。这似乎是解压缩的元组 (len(values[s]),s)，其最小值为 s。 Norvig 博士使用“_”作为变量名只是为了表明这是一个“不关心”的结果，还是另有原因？有时是否建议使用“_”作为变量名？交互模式下，“_”保存的是上一次操作的答案；非交互式代码中是否有类似的功能？

更新

感谢您的好答案。我猜亚历克斯·马泰利（Alex Martelli）的答案是“增值”；他指出，“_, vbl_of_interest”习惯用法通常是 DSU 习惯用法的副作用，而该习惯用法本身在很大程度上是不必要的。

Answer 1

是的，_ 是“不关心”的传统名称（不幸的是，这与其在 I18N 中的使用发生冲突，但这是一个单独的问题；-）。顺便说一句，在今天的 Python 中，

_,s = min( (len( values[s]), s) 
            for s in squares 
            if len(values[s]) > 1
        )

您可以编写代码

s = min((s for s in squares if len(values[s])>1), 
        key=lambda s: len(values[s]))

（不确定 Peter 是为哪个版本的 Python 编写的，但他使用的习惯用法是“decorate-sort-undecorate”[[DSU]] 的示例，除了使用 min 而不是排序，在当今的 Python 中，key= 可选参数通常是执行 DSU 的最佳方式；-)。

Answer 2

你的解释是正确的。除了交互模式中的特殊含义外，_ 只是用作“不关心”的变量名，尤其是在解包时。

Answer 3

你是对的。在非交互模式下_没有特殊含义。事实上，诺维格只是想表达他并不关心该变量的值。

_{Offtopic：Norvig 的那篇文章非常好。推荐阅读。}