集合与字典的特殊方法实现疑问：是否需实现__ror__与__ior__？

要让自定义集合、字典和内置类型行为完全一致，仅实现__or__是不够的，__ror__和__ior__都得补上，具体原因和作用如下：

关于__ror__ #

__or__只处理左操作数是自定义类的场景（比如MySet({1,2}) | {3,4}），但如果反过来，左操作数是内置集合/字典，右操作数是你的自定义类（比如{1,2} | MySet({3,4})），Python会先尝试调用内置类型的__or__，但内置类型不知道如何处理你的自定义实例，直接报错。

实现__ror__就是为了处理这种“右操作数是自定义类”的反向操作：把左操作数转换成自定义类的实例，再复用__or__的逻辑，保证和内置类型的操作结果、报错行为完全对齐。

示例代码片段：

class MySet:
    def __init__(self, data):
        self.data = set(data)
    
    def __or__(self, other):
        if isinstance(other, (MySet, set)):
            other_data = other.data if isinstance(other, MySet) else other
            return MySet(self.data | other_data)
        raise TypeError(f"unsupported operand type(s) for |: 'MySet' and '{type(other).__name__}'")
    
    def __ror__(self, other):
        # 处理内置set作为左操作数的情况
        if isinstance(other, set):
            return MySet(other | self.data)
        raise TypeError(f"unsupported operand type(s) for |: '{type(other).__name__}' and 'MySet'")

关于__ior__ #

__or__是返回一个新的实例，而__ior__对应|=操作符，负责原地修改当前实例——这和内置集合/字典的行为完全一致：内置set执行a |= b时，会直接修改a的内容，而不是返回新对象再赋值。

如果不实现__ior__，Python会自动用__or__的结果重新赋值给变量（比如myset = myset.__or__(other)），这会创建新的自定义实例，而非修改原对象，和内置类型的行为产生差异。

示例代码片段：

class MySet:
    # ... 已有__init__、__or__、__ror__ ...
    def __ior__(self, other):
        if isinstance(other, MySet):
            self.data |= other.data
        elif isinstance(other, set):
            self.data |= other
        else:
            raise TypeError(f"unsupported operand type(s) for |=: 'MySet' and '{type(other).__name__}'")
        return self  # 必须返回self，符合内置类型的行为规范

总结 #

如果目标是让自定义集合/字典和内置类型行为完全一致，这三个特殊方法缺一不可：

• __or__：处理左操作数为自定义类的a | b
• __ror__：处理右操作数为自定义类的b | a（左操作数是内置类型时）
• __ior__：处理原地更新的a |= b

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