如何定义自定义泛型类型 让PyCharm正确识别Go风格返回值注解？

你目前编写的Either类型定义，从PEP 484的类型语法规范层面是完全合规的——本质上是将"成功场景返回(A, None)、失败场景返回(None, B)"这两种固定结构的元组，通过两个泛型类型变量做参数化封装，没有违反类型系统的语法规则。
PyCharm无法正常识别该类型推导逻辑，核心原因是其内置类型检查器对“跨元组成员的互斥联合类型”的推导存在天然缺陷：它不会自动拆解这种联合结构的隐含约束，仅会将类型扁平展开为所有成员的类型合集，导致实际使用时的类型窄化失效。

针对这类Go风格的多返回值错误传递场景，可通过以下方式调整实现，既保留原有返回值逻辑不变，又能让PyCharm正确完成类型推导：

• 改用PyCharm原生高兼容的具名元组结构封装泛型，替代裸Union[Tuple, Tuple]的写法。具体实现如下：

  from typing import Generic, TypeVar, NamedTuple, Union
  
  # 定义泛型变量，约束成功返回值、错误信息的类型
  SuccessT = TypeVar("SuccessT")
  ErrorT = TypeVar("ErrorT")
  
  # 成功返回的固定结构：对应原逻辑里的 (结果, None)
  class Ok(NamedTuple, Generic[SuccessT]):
      value: SuccessT
      error: None = None
  
  # 失败返回的固定结构：对应原逻辑里的 (None, 错误信息)
  class Err(NamedTuple, Generic[ErrorT]):
      value: None = None
      error: ErrorT
  
  # 最终可复用的泛型返回类型
  Either = Union[Ok[SuccessT], Err[ErrorT]]
  

  该写法完全兼容原有代码逻辑：因为NamedTuple本质是元组的子类，原有代码中直接返回TestResult(), None、None, "somethings wrong"的写法不需要做任何调整，PyCharm会自动识别err is not None分支下的错误类型、以及err is None分支下的成功结果类型，不会出现推导混乱的问题。
• 若坚持使用裸Tuple的泛型定义，需要确保PyCharm版本不低于2023.1。该版本之后的类型检查器已经修复了双元素元组联合的窄化bug，原有手写的Either = Union[Tuple[SuccessT, None], Tuple[None, ErrorT]]可以被正确识别。使用时需通过err is not None的判断做类型收窄，避免PyCharm将参数类型推导为宽泛的联合类型。
• 注意不要在业务代码中重复定义这套泛型结构，最好将Ok、Err、Either的定义放在团队公共的类型工具模块中统一导入，否则PyCharm会因为TypeVar的重复定义出现跨模块的类型识别异常。

不要将该泛型简化为Tuple[Optional[SuccessT], Optional[ErrorT]]的写法。这种结构没有对“成功值和错误值不能同时非空”的隐含约束做类型层面的定义，PyCharm无法完成正确的类型窄化，也无法在函数返回时校验是否违反了该返回逻辑。

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