Python中AnyStr类型如何正确使用？mypy返回类型报错原因？

核心原因 #

你编写的函数并非泛型函数，当AnyStr作为返回类型标注时，mypy会将其视为一个固定的具体类型（要么是str，要么是bytes），而非可动态适配的类型变量。当logic1()返回str时，mypy会判定这与预期的bytes类型不匹配，从而抛出类型错误。

解决方法 #

要让AnyStr正常发挥作用，必须将函数定义为泛型函数，显式声明AnyStr是该函数的类型变量：

from typing import Tuple, Optional, TypeVar, AnyStr, Dict

AnyStr = TypeVar('AnyStr', str, bytes)

def x() -> Tuple[Optional[AnyStr], Optional[Dict[Any, Any]]]:
    if something:
        return logic1(), logic2()
    return None, None

版本适配优化（Python 3.12+） #

如果使用Python 3.12及以上版本，可使用更简洁的泛型语法，无需提前导入TypeVar：

from typing import Tuple, Optional, Dict

def x[AnyStr: str | bytes]() -> Tuple[Optional[AnyStr], Optional[Dict[Any, Any]]]:
    if something:
        return logic1(), logic2()
    return None, None

额外注意事项 #

请确认logic1()的返回类型确实是AnyStr，而非str或bytes中的单一类型。如果logic1()本身不是泛型函数，仅返回Union[str, bytes]，则应将函数返回类型修改为Tuple[Optional[Union[str, bytes]], Optional[Dict[Any, Any]]]，而非使用AnyStr。

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