为什么在使用 >>= 运算符时会出现语法错误？

Question

注意：我正在导入parsec库，它重载了>>= (ie - __irshift()__ ) 运算符。

以下 Python 代码：

#! /usr/bin/env python

# irshift_debug.py

from parsec import *

def id(x):
    """Identity parser."""
    return string("").result(x)

testp = digit() >>= id

print(testp.parse("5"))

产量：

$ ./irshift_debug.py
  File "./irshift_debug.py", line 9
    testp = digit() >>= id
                    ^
SyntaxError: invalid syntax

但是，如果我将违规行更改为：

testp = digit().bind(id)

然后我得到：

$ ./irshift_debug.py
5

正如预期的那样。

我认为>>=是bind()的中缀等价物； 这是不正确的吗？

Answer 1

因为>>=是一个语句，而不是一个表达式。 它不会评估可以分配给testp的结果。

也许你正在寻找这个？

testp = digit >> id

Answer 2

我既没有使用 Parsec 也没有使用 Haskell，所以我无法在这个库的上下文中谈论预期用途。 但是，我相信您在这里感到困惑的主要原因是增强赋值的工作方式与普通运算符不同，因此重新实现它们的工作方式也略有不同。

所以你已经看到了这段代码：

def __irshift__(self, other):
    '''Implements the `(>>=)` operator, means `bind`.'''
    return self.bind(other)

不是很明显的是，因为这是覆盖增强赋值，而不是运算符，所以返回值用于重新分配左侧的原始项目。 换句话说，这段代码：

a >>= b

（基本上）等同于：

a = a.bind(b)

在任何一种情况下，正如Alexander's answer中所说，生成的赋值实际上不是一个表达式，并且最终不返回任何值（甚至不返回None ）。 赋值的右半部分必须是表达式； 它不能是另一个任务¹ 。 就像在 Python 中一样，您不能执行以下操作：

a = b = c

所以你也不能这样做：

a = b >>= c

...即使您重新实现了>>= 。

---

¹唯一的部分例外是最近添加的赋值表达式，但它（故意）使用受限，在这里对您没有帮助。

Answer 3

这是一个设计错误。

我已转而使用>=作为bind()的运算符并弃用了>>= 。 新版本的 parsec.py 已上传到 pypi。