Python动态类型提示下如何让PyCharm识别描述符属性类型实现自动补全

不存在无需显式类型标注、仅通过传入CastDescriptor构造函数的运行时参数就让PyCharm自动识别实例属性类型的方案。

• 包括PyCharm内置检查器在内的所有主流Python类型检查工具，均工作在静态分析阶段，不会执行业务代码读取运行时参数值做类型推导。类属性定义a = CastDescriptor(dict)在静态分析阶段只会被识别为CastDescriptor类的实例，检查器不会主动解析传入的dict参数、将其与类上绑定的_type类型变量关联，自然也无法推导实例访问a时的返回值类型。
• PEP 484类型规范对描述符的类型判定有明确规则：描述符对应的实例属性类型，默认通过类级别的类型标注声明。你目前使用的显式标注写法不是临时绕路的方案，是类型系统认可的标准实现，所有类型检查器均遵循该规则做类型判定。

你当前使用的显式标注写法不存在冗余问题：

• 传入CastDescriptor的类型参数是运行时强制转换用的裸类型，比如dict本身不携带键、值的泛型参数信息，而类型标注可以写dict[int, int]这类更精确的类型约束，补全静态检查需要的元信息，反而能提升类型检查的严格度，不是无意义的重复。
• 截至2024年的PyCharm版本，即使给CastDescriptor补全完整的泛型声明，不写类属性标注的情况下，检查器依然会将实例访问的a识别为CastDescriptor类型，不会自动应用描述符的返回值类型转换逻辑，这个是检查器的既定行为，没有配置项可以修改。
• 所有试图通过调整描述符运行时逻辑（比如修改__get__返回值、动态给类打属性）来适配补全的操作均无效，静态分析阶段完全不感知运行时的执行逻辑。

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