Python 3.11中不赋值声明变量类型的最优写法探讨

先明确基础类定义：

class MyClass:
    def __init__(self, value: str):
        self.value: str = value

三种写法的优劣分析 #

1. 仅声明类型不赋值 #

def test():
    variable: MyClass
    if True:
        variable = MyClass(value="value")
    else:
        variable = MyClass(value="otherValue")

这是最贴合Python类型系统设计意图的写法：

• 直接明确变量的预期类型为MyClass，同时通过分支逻辑保证变量一定会被赋值，不存在未定义风险
• 没有引入额外的Optional语义，避免让阅读者误解变量可能为None
• 完全符合PEP 484中类型标注的核心目的——声明变量的预期类型，代码简洁且语义清晰

2. 使用Optional类型并赋值None #

def test():
    variable: Optional[MyClass] = None
    if True:
        variable = MyClass(value="value")
    else:
        variable = MyClass(value="otherValue")
    assert isinstance(variable, MyClass)

这种写法存在明显的语义冗余：

• Optional[MyClass]暗示变量可能为None，但实际所有分支都会赋值为MyClass实例，None只是无意义的临时占位
• 额外的assert语句虽然能修正类型检查器的推断，但属于不必要的代码开销
• 引入了不存在的None可能性，反而降低了代码的直观可读性

3. 首次赋值时声明类型 #

def test():
    if True:
        variable: MyClass = MyClass(value="value")
    else:
        variable = MyClass(value="otherValue")

这种写法的可读性缺陷明显：

• 变量的类型标注仅出现在第一个分支，阅读代码时需要定位到赋值分支才能明确变量类型
• 若分支结构复杂，会大幅增加阅读成本，无法在函数开头快速获取变量的类型约定

结论：推荐写法1 #

在所有分支都能保证变量被赋值的场景下，仅声明类型不赋值是最Pythonic、可读性最高的写法：

• 语义精准：直接传达变量的预期类型，无冗余信息
• 适配类型检查：让类型检查器准确推断变量类型，无需额外修正代码
• 代码简洁：避免不必要的临时赋值和断言语句

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