Python 仿制药的类型铸造

Union显然是交换的，对吧？您不能随意将unions 分成两个ordered部分-如果您的班级中有def foo(self) -> S1部分怎么办？

class Node(Generic[I, S1, F1]):
    def __init__(self, callback: Callable[[I], S1 | F1]):
        self.callback: Callable[[I], S1 | F1] = callback
    
    def foo(self) -> S1:
        # Huh? Succ1? Fail1? Succ1 | Fail1? object? Something else?
        raise NotImplementedError

S1应该在这里解析为Succ1还是Fail1？为什么？

因此，您需要某种方法来告诉类型判断器如何正确拆分变量.您可以为此使用绑定类型变量:

from typing import Generic, TypeVar, Callable, Literal, Protocol, reveal_type

class SuccBase(Protocol):
    success: Literal[True]
class FailBase(Protocol):
    success: Literal[False]

S1 = TypeVar('S1', bound=SuccBase)
F1 = TypeVar('F1', bound=FailBase)
I = TypeVar('I')

class Node(Generic[I, S1, F1]):
    def __init__(self, callback: Callable[[I], S1 | F1]):
        self.callback: Callable[[I], S1 | F1] = callback


# Pyright correctly accepts without protocol inheritance
# For mypy need to inherit protocol explicitly (will report a bug tomorrow?)
class Succ1(SuccBase):
    success: Literal[True] = True
class Fail1(FailBase):
    success: Literal[False] = False
class Fail2(FailBase):
    success: Literal[False] = False


def func1(_: str) -> Succ1 | Fail1 | Fail2:
    return Succ1()


n1 = Node(func1)
res1 = n1.callback("str")
reveal_type(n1)

mypy playground 、 pyright playground

我正在使用上面的协议中的"区分联合"类解决方案，但您也可以要求显式继承(ABC或只是一个没有属性的普通FailBase类)，或者使用在您的上下文中有意义的不同属性，或者调整其他东西-关键点是您需要清楚地指出什么应该进入S1以及什么-进入F1.

如果您完全控制API设计，请考虑不这样做，而是返回适当的类似Result的类型(例如https://github.com/rustedpy/result，或者推出您自己的类型-这很微不足道).例如，这将允许使永不失败的函数(-> Result[Succ1, Never])更加明确.或者只是完全摆脱Fail1，不要返回异常，也不要引发它们- Python是围绕异常构建的，除非处于紧密循环中，否则性能损失相当低.

侧记:你在那里看到Never只是因为推论是不可能的.这是一个副作用;如果您明确注释n1，这种副作用就会消失.