MyPy中多重继承赋值出现'Incompatible types in assignment'错误的优化方案咨询

嗨，我来帮你拆解这个问题的优化思路～

首先还原下你遇到的问题场景，初始代码如下：

class A: pass
class B: pass
class X(A, B): pass
class Y(A, B): pass

temp = True  # 示例布尔值
z: B = Y() if temp else X()    # MyPy error

此时MyPy会抛出错误提示：Incompatible types in assignment (expression has type "A", variable has type "B")

你目前的临时解决方法是先将X()和Y()分别赋值给标注为B类型的变量，再执行三元运算：

def func(temp: bool):
    x: B = X()
    y: B = Y()
    w: B = x if temp else y

这个写法确实能让MyPy正确识别类型，但代码略显冗余，下面给你几个更简洁的优化方案：

• 方案一：使用typing.cast明确指定类型
  我们明确知道X和Y都继承自B，这个类型转换是安全的，直接用cast告诉MyPy表达式的实际类型即可：

from typing import cast

def func(temp: bool):
    z: B = cast(B, Y() if temp else X())

这个方案既能保持代码的紧凑性，又能直接解决MyPy的类型推断问题。

• 方案二：利用Python 3.10+的表达式类型标注
  如果你使用的是Python 3.10及以上版本，可以直接给三元表达式添加类型注释，同样能让MyPy准确识别类型：

def func(temp: bool):
    z: B = (Y() if temp else X())  # type: B

• 方案三：标注变量为交集类型（适用于多场景需求）
  如果你的后续代码需要同时用到A和B的方法，可以将变量类型标注为两个基类的交集类型，MyPy会自动识别X和Y的实例符合这个类型：

# Python 3.11+ 可直接使用Intersection
from typing import Intersection

z: Intersection[A, B] = Y() if temp else X()

不过如果你的代码只需要用到B的功能，前两个方案会更贴合需求。

总结来说，最简洁且匹配你需求的是使用cast的方案，既能简化代码，又能完美解决类型报错问题。

备注：内容来源于stack exchange，提问作者ModdyFire