Python中类级别类型提示的作用是什么？相比__init__内提示有何优势？

先看两种写法对比：

仅在__init__方法中添加类型提示：

class Foo:
    def __init__(self, x: int):
        self.x = x

类级别声明属性类型提示：

class Bar:
    x : int
    def __init__(self, x: int):
        self.x = x

类级别类型提示相比前者，有这些核心价值：

• 直观的属性契约声明：不用进入__init__方法，就能一眼看清这个类的实例拥有哪些属性、各自的类型是什么，代码的可读性和文档性大幅提升。
• 更精准的静态类型检查：像mypy这类静态类型检查工具，能基于类级别的类型声明，全程校验x的类型合规性——不管是__init__里的赋值，还是后续其他方法对x的修改，只要类型不匹配就会报错。如果只有__init__的参数提示，工具无法确定self.x的类型是否和参数一致，也没法检测后续的非法赋值。
• 适配动态属性场景：如果类的某些属性不是在__init__里初始化，而是在其他方法甚至外部赋值，类级别类型提示可以提前声明这些属性的类型，避免类型检查工具误判为“未定义属性”。
• 符合官方规范：这是PEP 526定义的标准实例属性类型声明方式，属于Python类型提示的最佳实践，能让代码风格更统一。
• 增强IDE智能支持：IDE可以基于类级别的类型提示，在你输入实例属性（比如bar.x）时，直接给出精准的类型补全和提示，尤其是在属性被多个方法修改的场景下，比仅靠__init__的参数提示更可靠。

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