如何在Python类方法中使用TypeGuard实现类型收窄？

你遇到的问题核心是类方法中的TypeGuard无法对self进行类型收窄——根据PEP 742的规定，TypeGuard注解会作用于方法中self之后的参数，而非self本身。以下是几种在类内实现等价逻辑的方案：

方案1：使用Self类型结合TypeGuard（Python 3.11+） #

Python 3.11引入了typing.Self类型，结合TypeGuard可以直接断言self同时属于FooWithValue类型。该方案需要类型检查器（如mypy、pyright）支持复合类型断言：

from abc import ABC, abstractmethod
from typing import TypeGuard, Self, Union

class Foo(ABC):
    @property
    @abstractmethod
    def value(self) -> Union[str, None]: ...

    def has_value(self) -> TypeGuard[Self & FooWithValue]:
        return self.value is not None

class FooWithValue(Foo, ABC):
    @property
    @abstractmethod
    def value(self) -> str: ...

调用时类型检查器会正确识别分支内的类型：

def process_foo(foo: Foo) -> None:
    if foo.has_value():
        # 类型检查器会认定foo.value为str类型
        print(foo.value.upper())

方案2：使用cast显式类型转换（兼容全版本） #

如果无法升级Python版本，可通过typing.cast在断言后显式转换类型。这种方式依赖开发者保证逻辑正确性，适合简单场景：

from abc import ABC, abstractmethod
from typing import cast, Union

class Foo(ABC):
    @property
    @abstractmethod
    def value(self) -> Union[str, None]: ...

    def has_value(self) -> bool:
        return self.value is not None

# 调用示例
foo: Foo = ...
if foo.has_value():
    # 显式转换为str类型
    value = cast(str, foo.value)
    print(value.upper())

也可以封装成类方法，避免重复写cast：

class Foo(ABC):
    # ... 其他代码不变 ...

    def get_safe_value(self) -> str:
        assert self.has_value(), "value is None"
        return cast(str, self.value)

方案3：封装为静态方法 #

将类型断言逻辑封装为类的静态方法，本质上和你已有的独立函数逻辑一致，但更贴近类的封装性：

from abc import ABC, abstractmethod
from typing import TypeGuard, Union

class Foo(ABC):
    @property
    @abstractmethod
    def value(self) -> Union[str, None]: ...

    @staticmethod
    def has_value(foo: "Foo") -> TypeGuard["FooWithValue"]:
        return isinstance(foo, FooWithValue) or foo.value is not None

class FooWithValue(Foo, ABC):
    @property
    @abstractmethod
    def value(self) -> str: ...

调用方式：

foo: Foo = ...
if Foo.has_value(foo):
    print(foo.value.upper())

内容的提问来源于stack exchange，提问作者JP-Ellis