Python中如何为Protocol实现类额外属性加类型提示避免PyCharm报错

以下方案均不修改Outer.inner原有类型约束，兼容所有符合InnerProto协议的实现，同时解决PyCharm 2021.2版本的未解析属性警告问题。

可用方案 #

• 方案1：使用typing.cast做类型窄化
  符合PEP484规范，运行时无开销，作用域仅局限于当前赋值的变量：

  from typing import cast
  
  def test_cast_solution():
      obj = Outer(Inner(1))
      # 将obj.inner的类型临时窄化为Inner
      typed_inner = cast(Inner, obj.inner)
      assert assert typed_inner.arg2 == 1 # 无未解析属性警告
  

• 方案2：局部变量显式类型标注
  语法更直观，PyCharm兼容性最好，不会触发额外错误：

  def test_local_var_solution():
      obj = Outer(Inner(1))
      # 给局部变量加类型标注，不受实例属性标注规则限制
      typed_inner: Inner = obj.inner
      assert assert typed_inner.arg == 1
      assert typed_inner.arg2 == 1
  

• 方案3：行内类型忽略/标注
  适合仅单次访问扩展属性的场景，无需额外定义变量：

  def test_inline_solution():
      obj = Outer(Inner(1))
      assert obj.inner.arg == 1
      # PyCharm 2021.2版本可使用type: ignore屏蔽警告
      assert obj.inner.arg2 == 1 # type: ignore
  

• 方案4：泛型类改造（适合高频使用自定义Inner实现的场景）
  一劳永逸的解决方案，不破坏原有兼容性，自动推导类型：

  from typing import Generic, TypeVar
  
  # 定义泛型约束，上限为InnerProto
  InnerT = TypeVar("InnerT", bound=InnerProto)
  
  class Outer(Generic[InnerT]):
      def __init__(self, inner: InnerT):
          self.inner: InnerT = inner
  
  # 原有使用逻辑完全不受影响，兼容所有InnerProto实现
  def test_original_compatibility():
      obj = Outer(OtherInnerImpl(2))
      assert obj.inner.arg == 2
  
  # 传入Inner实例时自动推导类型，无需额外标注
  def test_generic_usage():
      obj = Outer(Inner(2))
      assert obj.inner.arg == 2
      assert obj.inner.arg2 == 2 # 自动识别arg2属性，无警告
  

补充说明：之前直接标注obj.inner: Inner触发"Non-self attribute could not be type hinted"错误，是因为PyCharm限制仅允许在类的__init__方法中对self绑定的属性做类型标注，外部作用域的实例属性不支持直接修改类型标注，局部变量、cast的方式均可规避该限制。

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