这个lambda/yield/generator理解是如何工作的？

Question

我今天正在查看我的代码库并发现了这个:

def optionsToArgs(options, separator='='):
    kvs = [
        (
            "%(option)s%(separator)s%(value)s" %  
            {'option' : str(k), 'separator' : separator, 'value' : str(v)}
        ) for k, v in options.items()
    ]
    return list(
        reversed(
            list(
                    (lambda l, t: 
                        (lambda f: 
                            (f((yield x)) for x in l)
                        )(lambda _: t)
                    )(kvs, '-o')
                )
            )
        )

它似乎采用参数的dict并将它们转换为shell命令的参数列表.它看起来像是在生成器理解中使用yield,我认为这是不可能的......？

>>> optionsToArgs({"x":1,"y":2,"z":3})
['-o', 'z=3', '-o', 'x=1', '-o', 'y=2']

它是如何工作的？

Answer 1

从Python 2.5开始,yield <value>是一个表达式,而不是一个语句.见PEP 342.

代码是可怕的,不必要的丑陋,但它是合法的.它的核心技巧是f((yield x))在生成器表达式中使用.这是一个更简单的例子:

>>> def f(val):
...     return "Hi"
>>> x = [1, 2, 3]
>>> list(f((yield a)) for a in x)
[1, 'Hi', 2, 'Hi', 3, 'Hi']

基本上,yield在生成器表达式中使用会导致它为源可迭代中的每个值生成两个值.当生成器表达式遍历字符串列表时,在每次迭代时,yield x第一个从列表中生成一个字符串.genexp的目标表达式是f((yield x)),因此对于列表中的每个值,生成器表达式的"结果"是值f((yield x)).但f只是忽略它的参数并始终返回选项字符串"-o".因此,在通过生成器的每一步中,它首先产生键值字符串(例如"x=1"),然后"-o".外部list(reversed(list(...)))只是从这个生成器中生成一个列表,然后将其反转,以便"-o"s将在每个选项之前而不是之后.

但是,没有理由这样做.有许多更具可读性的替代方案.也许最明确的是:

kvs = [...] # same list comprehension can be used for this part
result = []
for keyval in kvs:
   result.append("-o")
   result.append(keyval)
return result

即使你喜欢简洁,"聪明"的代码,你仍然可以做到

return sum([["-o", keyval] for keyval in kvs], [])

该kvs列表理解本身就是试图可读性和不可读性的一个奇怪的组合.它写得更简单:

kvs = [str(optName) + separator + str(optValue) for optName, optValue in options.items()]

您应该考虑为在您的代码库中放置此内容的人安排"干预".

Answer 2

天啊.基本上,归结为这个,:

def f(_):              # I'm the lambda _: t
    return '-o'

def thegenerator():   # I'm (f((yield x)) for x in l)
    for x in kvs:
        yield f((yield x))

因此,当迭代时,生成器生成x(一个成员kvs),然后返回值f,它总是-o在一次迭代中完成kvs.无论yield x返回什么,传递的内容都会f被忽略.

等同于:

def thegenerator():   # I'm (f((yield x)) for x in l)
    for x in kvs:
        whatever = (yield x)
        yield f(whatever)

def thegenerator():   # I'm (f((yield x)) for x in l)
    for x in kvs:
        yield x
        yield f(None)

def thegenerator():   # I'm (f((yield x)) for x in l)
    for x in kvs:
        yield x
        yield '-o'

当然,有很多方法可以做到这一点.即使有原始的双收益技巧,整个事情也可能发生

return list(((lambda _: '-o')((yield x)) for x in kvs))[::-1]