如何避免Python中默认空列表/None时重复冗余的类型提示？

问题1：能否省略参数类型提示中的Optional部分？ #

不行。因为参数的默认值是None，这意味着参数的合法类型是list[str] | None（即Optional[list[str]]）。如果只写penguin: list[str] = None，类型检查器（如mypy、pyright）会直接报错——因为None不属于list[str]类型集合。必须明确标注Optional[list[str]]或者Python 3.10+的list[str] | None，才能让类型检查器识别参数的合法取值范围。

问题2：两个类型提示能否相互推导？ #

目前主流类型检查器都不支持这种自动推导。__init__参数的类型标注和实例属性的类型标注是两个独立的声明：

• 检查器不会根据self.penguin: list[str]的赋值逻辑（penguin or []），自动推断出参数penguin是可选的（即允许为None）。
• 也不会反过来根据参数的Optional[list[str]]标注，自动推断出self.penguin最终是确定的list[str]类型。
  因此必须分别明确标注两者的类型，无法省略其中任何一个来依赖推导。

关于EmptyList[str]简化写法的可行性 #

这种写法可以实现，但需要避开默认参数的求值陷阱，不能直接让EmptyList[str]返回实际的空列表（否则所有实例会共享同一个列表，回到原始陷阱）。正确的做法是把EmptyList设计为一个泛型标记类，在初始化时识别标记并创建新的空列表：

实现示例 #

from typing import Generic, TypeVar

T = TypeVar('T')

class EmptyList(Generic[T]):
    """标记类，用于表示需要创建新的空列表"""
    pass

class Telly:
    def __init__(self, penguin: list[str] | EmptyList[str] = EmptyList[str]):
        self.penguin: list[str] = [] if isinstance(penguin, EmptyList) else penguin

补充说明 #

• 类型检查器（如mypy、pyright）能识别这种泛型标记类的类型约束，确保传入的参数要么是list[str]，要么是EmptyList[str]标记。
• 如果不想自定义类，也可以用类型别名简化常规写法，减少冗余：

  from typing import Optional, TypeVar
  
  T = TypeVar('T')
  OptList = Optional[list[T]]
  
  class Telly:
      def __init__(self, penguin: OptList[str] = None):
          self.penguin: list[str] = penguin or []
  

  这种方式更符合Python类型提示的常规实践，不需要额外维护自定义类。

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