使用返回类型声明处理Python类型检查器错误

我在使用Pyright类型检查器的Python代码中遇到了一个问题,特别是当我试图从返回类型声明中删除Any时。

先看/读这个问题: Handling Python Type Checker Errors with Return Type Declarations (fields default values = None)

错误消息:

Function with declared return type "int" must return value on all code paths. "None" is incompatible with "int".

这个案子怎么样?尽管我的类不包含任何None,但我仍然会得到与上面相同的错误(堆栈溢出的问题)。

from dataclasses import dataclass
from typing import Any, Union, List

class Exp:
    pass

@dataclass
class Const(Exp):
    value: int

@dataclass
class Negate(Exp):
    value: Exp

@dataclass 
class Add(Exp):
    value1: Exp
    value2: Exp

@dataclass
class Multiply(Exp):
    value1: Exp
    value2: Exp


def eval_exp_old(e: Exp) -> int | Any:
    match e:
        case Const(i):
            return i
        case Negate(e2):
            return -eval_exp_old(e2)
        case Add(e1, e2):
            return eval_exp_old(e1) + eval_exp_old(e2)
        case Multiply(e1, e2):
            return eval_exp_old(e1) * eval_exp_old(e2)
        

test_exp: Exp = Multiply(Negate(Add(Const(2), Const(2))), Const(7))
# -28
old_test = eval_exp_old(test_exp)

错误

def eval_exp_old(e: Exp) -> int { ... }

我很感激你的建议。

顺便说一句,看看这篇文章,也贴出了被接受的答案。 https://discuss.python.org/t/draft-pep-sealed-decorator-for-static-typing/49206