移除返回类型声明中的Any后Pyright报错，如何解决？

关于Pyright的返回类型报错 #

这不是Pyright的bug，而是静态类型检查的正常行为。Pyright作为静态分析工具，不会运行你的代码，只会依据代码语法结构和类型注解判断所有可能的代码路径。

你认为所有路径都返回int，但Pyright可能无法静态确认这一点——比如函数参数未加明确类型注解时，Pyright会默认参数类型为Any，意味着传入的对象可能匹配不到任何你定义的match case分支，此时函数会隐式返回None，和你声明的返回类型int冲突。

解决方法 #

1. 明确参数的类型范围

给函数参数加上Union类型注解，限定输入只能是你处理的几种数据类类型。这样Pyright能确定所有可能的输入都会被match case覆盖，不会出现返回None的路径：

from dataclasses import dataclass
from typing import Union

@dataclass
class TypeA:
    val: int

@dataclass
class TypeB:
    val: int

def process(obj: Union[TypeA, TypeB]) -> int:
    match obj:
        case TypeA(v):
            return v
        case TypeB(v):
            return v

2. 处理未覆盖的分支

如果无法限定参数类型，或者存在其他可能的输入，必须显式处理默认分支：

• 要么返回一个合法的int值
• 要么抛出异常（异常会终止函数，不会返回None）

def process(obj) -> int:
    match obj:
        case TypeA(v):
            return v
        case TypeB(v):
            return v
        case _:
            raise ValueError("Unsupported object type")

3. 使用assert_never确保穷尽性

如果你能保证不会出现未覆盖的分支，但Pyright依然报错，可以用assert_never工具（从typing_extensions导入）标记默认分支为不可能到达：

from typing_extensions import assert_never

def process(obj: Union[TypeA, TypeB]) -> int:
    match obj:
        case TypeA(v):
            return v
        case TypeB(v):
            return v
        case _:
            assert_never(obj)  # Pyright会识别此分支不可达

关于Python数据类的模式匹配 #

Python数据类支持模式匹配，但和Swift枚举有本质区别：

• Swift的枚举是封闭的代数数据类型，所有可能的case都在枚举内部定义，编译器可以自动检查是否覆盖了所有分支。
• Python的数据类是开放的，你可以随时定义新的同类数据类或子类，Pyright无法静态确认所有可能的输入类型，因此无法像Swift那样做穷尽性检查。

这不是Python数据类不支持模式匹配，而是两种语言的类型系统设计差异导致的。

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