为什么PyCharm会提示streamer可能在赋值前被引用？

警告触发的核心原因 #

PyCharm给出这个警告是因为它的静态代码分析器的分支覆盖判断逻辑没有识别到你当前的异常捕获已经覆盖了所有可能的执行路径，它的底层判断规则不会深入验证所有异常分支的完备性，只会基于语法层面的变量赋值路径做检查。

底层触发逻辑 #

• 静态分析器不会实际运行代码验证异常捕获的完备性：它不会去判断你写的except:（即捕获所有异常的裸except）是不是真的能接住try块里所有可能的报错，只会从语法上识别：如果try块里的赋值语句没执行、同时任意一个except分支也没走到的极端场景下，streamer就会未定义。
• 代码本身存在理论上的极端未赋值场景（虽然实际运行概率极低）：如果在进入except分支给streamer赋值的过程中，Streamer.objects.create(**streamer_attrs)语句本身又抛出了新的异常，那么finally块还是会优先执行，这时候streamer确实还没完成赋值，会直接抛出NameError，这是PyCharm检测到的理论风险点。
• Python语法规则中，finally块的优先级高于所有异常分支的退出逻辑：不管是try还是except里有没有抛出未捕获的异常，finally都会先执行，所以只要try和except里的赋值都没完成就抛出异常，finally里的变量就必然未定义。

优化方案 #

你可以选择两种方式规避警告和潜在风险：

1. 提前给streamer赋初始值，彻底消除未定义可能

streamer = None
try:
    streamer = Streamer.objects.get(user_id=self.user_id)
except Streamer.DoesNotExist:
    streamer = Streamer.objects.create(**streamer_attrs)
except:
    streamer = Streamer.objects.create(**streamer_attrs)
finally:
    if streamer is not None:
        for fieldname, value in streamer_attrs:
            setattr(streamer, fieldname, value)

2. 移除没必要的finally块：你已经捕获了所有异常，后续逻辑不需要放到finally里也能正常执行

try:
    streamer = Streamer.objects.get(user_id=self.user_id)
except Streamer.DoesNotExist:
    streamer = Streamer.objects.create(**streamer_attrs)
except:
    streamer = Streamer.objects.create(**streamer_attrs)
# 所有分支都已经完成streamer赋值，直接写后续逻辑即可
for fieldname, value in streamer_attrs:
    setattr(streamer, fieldname, value)

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