Python中能否重载->运算符实现自定义逻辑蕴含运算？

Python 不支持重载->运算符，你设想的__dash_arrow__这类特殊方法没有任何语法依据，Python解释器根本不会识别。
->在Python语法里不是可参与运算的二元操作符，它唯一的合法用途是写在函数/方法定义末尾，标记函数返回值的类型提示，属于类型注解语法的一部分，比如def func() -> str:里的-> str仅做类型标注用，没有运行时运算语义。你直接写x -> y的话，解释器会第一时间抛出SyntaxError语法错误，根本不会走到运算符重载的逻辑分支。

你要的逻辑蕴含运算（匹配给出的真值表，规则为not x or y），可以通过两种合规方式实现：

• 重载Python原生支持的可重载运算符，选形状和箭头相近的>>（对应魔术方法__rshift__）最贴合你原本的写法习惯：

class LogicVar():
    def __rshift__(self, other):
        def ifthen(x: bool, y: bool) -> bool:
            return not x or y
        return ifthen

使用时仅需把->替换为>>即可完全符合你要的运行效果：

x = LogicVar()
y = LogicVar()
property = x >> y

# 真值表验证
print(property(True, True))   # True
print(property(True, False))  # False
print(property(False, True))  # True
print(property(False, False)) # True

• 如果不想用运算符替代，直接定义语义明确的实例方法可读性更高：

class LogicVar():
    def implies(self, other):
        def ifthen(x: bool, y: bool) -> bool:
            return not x or y
        return ifthen

# 调用方式
x = LogicVar()
y = LogicVar()
property = x.implies(y)

不推荐通过修改AST、自定义语法宏之类的黑科技强行让->作为运算符生效，这类写法兼容性极差，会让代码无法在标准Python环境下运行，维护成本极高。

内容的提问来源于stack exchange，提问作者user947659