python 类型检查器（如 pyright）不支持在 `@overload` 中直接声明实例属性类型，但可通过泛型 + 子类化 + `__new__` 重载实现构造时精确推断 `stdin` 等属性为 `io[str]` 或 `io[bytes]`。
在静态类型检查中，@overload 的作用是为函数（含 __init__）提供多签名声明，而非用于运行时或构造后修改实例属性的类型。因此，像在 @overload 块内直接写 self.stdin: Optional[IO[str]] 这样的写法不仅语法非法（导致 reportRedeclaration），也无法被类型检查器正确关联到实例上——因为 self 在重载存根中只是占位符，不参与实际类型绑定。
真正可行的方案是：利用泛型定义基类，通过 __new__ 动态返回不同特化子类的实例，并配合 @overload 声明构造函数的返回类型。这样，类型检查器可在变量绑定瞬间就确定 pp.stdin 的完整类型（如 IO[str] | None），从而精准校验后续 .write() 调用。
以下是完整、可运行的实现（兼容 Pyright 1.1.350+ 和 mypy）：
from typing import IO, Literal, Optional, TypeVar, overload, Generic
import sys
# 定义类型变量，限定为 str 或 bytes
T = TypeVar("T", str, bytes)
class MyPopen(Generic[T]):
stdin: Optional[IO[T]]
def __init__(self, text: bool = False) -> None:
self.stdin = None # 实际初始化逻辑在此（如 subprocess.Popen 那样）
# 特化子类：仅作类型标记，无需额外实现
class _StrPopen(MyPopen[str]): ...
class _BytesPopen(MyPopen[bytes]): ...
# 重载 __new__：根据 text 参数返回对应子类实例
class MyPopen: # 重定义以覆盖泛型基类，启用重载
@overload
def __new__(cls, text: Literal[False] = ...) -> _BytesPopen: ...
@overload
def __new__(cls, text: Literal[True]) -> _StrPopen: ...
def __new__(cls, text: bool = False) -> _BytesPopen | _StrPopen:
if text:
return super().__new__(_StrPopen)
else:
return super().__new__(_BytesPopen)✅ 使用效果（Pyright 全部通过）：
pp1 = MyPopen(text=True)
assert pp1.stdin is not None
pp1.stdin.write("hello") # ✅ OK: IO[str].write(str)
pp1.stdin.write(b"hello") # ❌ Error: bytes not assignable to str
pp2 = MyPopen(text=False)
assert pp2.stdin is not None
pp2.stdin.write("hello") # ❌ Error: str not assignable to bytes
pp2.stdin.write(b"hello") # ✅ OK: IO[bytes].write(bytes)
pp3 = MyPopen() # text 默认为 False
pp3.stdin.write(b"ok") # ✅ OK⚠️ 注意事项：
- 不要在 @overload 存根中写 self.xxx 赋值或注解：这属于无效语法，且会触发 reportRedeclaration。
- 子类 _StrPopen/_BytesPopen 必须继承自泛型基类 MyPopen[T]，否则类型参数无法传递，stdin 将退化为 Any 或 object。
- __new__ 中调用 super().__new__(subclass) 是关键：它确保实例类型在构造完成时即被静态确定，而非依赖 __init__ 后的运行时赋值。
- 若需支持更多参数（如 encoding, errors），应在 @overload 中同步扩展签名，并保持 text 字面量约束不变。
该模式正是 CPython subprocess.Popen 在类型提示中所采用的策略（其类型存于 typeshed 而非源码中），兼顾了类型精度与运行时简洁性，是构建高可靠性类型化接口的标准实践。
