Python typing注解中如何定义排除NoneType的类型？

当然可以！在Python的类型系统里，我们有几种优雅的方式来精准表达你想要的“返回字典值不为None”的约束，而不是用笼统的Any。下面分两种常见场景来讲解：

方法1：使用泛型TypeVar（推荐，保留类型信息） #

如果希望类型检查器能追踪输入字典中非None值的具体类型（比如输入里的int、str等），泛型是最佳选择。具体步骤如下：

首先导入需要的类型工具：

from typing import Dict, Optional, TypeVar

然后定义一个泛型类型变量，用来代表“除None外的任意类型”：

T = TypeVar('T')

接着修改你的函数注解，明确输入值可以是T或者None，返回值则是纯T：

def _clean_dict(d: Dict[Any, Optional[T]]) -> Dict[Any, T]:
    return {k: v for k, v in d.items() if v is not None}

这样做的好处是，类型检查器会智能推断返回值的具体类型。比如你传入{"name": "Alice", "age": 30, "address": None}，它会知道返回的字典值类型是Union[str, int]，而不是模糊的Any。

方法2：Python 3.12+专属：TypeVar的exclude参数 #

如果你使用的是Python 3.12及以上版本，可以直接用TypeVar的exclude参数来明确排除None类型，写法更直观：

from typing import Dict, TypeVar

# 定义排除None的类型变量
T = TypeVar('T', exclude=None)

def _clean_dict(d: Dict[Any, T | None]) -> Dict[Any, T]:
    return {k: v for k, v in d.items() if v is not None}

这个语法更贴近你“除None外的任意类型”的描述，可读性更强。

不推荐的方式：手动枚举所有非None类型 #

你可能会想过用Union[bool, int, str, list, dict, ...]来枚举所有可能的非None类型，但这种方式既繁琐又不灵活——不可能覆盖所有自定义类型，而且维护成本极高，所以完全不推荐。

总结一下，泛型TypeVar的方式既能满足你的类型约束需求，又能保留类型检查的精准性，是最优解。

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