MyPy类型检查疑问：类类型变量初始化为None的差异

核心原因 #

这是MyPy对类内部类型注解的解析时机差异导致的：

• 当类的__init__方法带有参数类型注解（比如TestClass的pValue: float）时，MyPy会触发严格的即时类型解析，此时TestClass虽还在定义中，但MyPy已能识别它是一个非可选类型，因此TestClass类型的变量不能直接赋值为None，必须显式标注为Optional[TestClass]。
• 而ClassA（无参数__init__）、ClassB（参数无类型注解）的情况，MyPy会采用延迟解析类内部类型的宽松模式，此时类名被视为未完全定义的“前向引用”，MyPy暂时不会严格校验类型兼容性，所以允许ClassB类型变量赋值为None而不报错——但这其实是MyPy的宽松处理，并非符合PEP484规范的写法。

正确解决方案 #

1. 显式使用Optional标注类型（推荐） #

这是符合类型标注规范的做法，明确表示变量可能为None：

from typing import Optional

class TestClass(object):
    def __init__(this, pValue: float = 0.0):
        # 正确标注为可选类型
        this._test_class: Optional[TestClass] = None
        this._test_a: Optional[TestClass] = None
    
    def doSomething(this) -> None:
        # 用is not None做类型窄化，MyPy能正确识别变量此时非None
        if this._test_a is not None:
            new_val: float = this._test_a.doCalculate()
    
    def doCalculate(this) -> float:
        return 0.0

另外注意：判断None时用is not None而非== None，MyPy对前者的类型窄化支持更可靠，能解决doSomething里的报错。

2. 使用字符串前向引用（不推荐，仅作兼容） #

如果不想用Optional，可以把类型标注改成字符串形式，让MyPy延迟解析：

class TestClass(object):
    def __init__(this, pValue: float = 0.0):
        # 字符串形式的前向引用，MyPy延迟解析类型
        this._test_class: 'TestClass' = None

但这种写法不够严谨，会隐藏变量可能为None的事实，不建议在需要严谨类型检查的项目中使用。

额外说明 #

ClassB的写法虽然能通过MyPy检查，但本质是不规范的——变量类型标注为ClassB却赋值为None，违反了类型注解的语义。如果开启MyPy的--strict模式，这类写法也会触发报错。

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