这不是Bug，是PyCharm静态代码分析的默认设计行为，原因和解决办法如下：

为什么会出现这个问题？ #

__debug__是Python的特殊内置常量：当你用普通模式运行Python（不加-O参数）时，它的值是True；如果用python -O运行（开启优化），它会被编译为False，此时if __debug__:块内的代码会被直接剔除。

PyCharm的静态分析默认会考虑"可能开启-O优化"的场景，所以它会把if __debug__:内的代码标记为"This code is unreachable"，同时因为认为这段代码不会执行，所以不会为其中定义的变量提供自动补全。

解决办法 #

1. 局部禁用不可达代码提示并恢复自动补全 #

最简单的方式是在if __debug__:上方添加PyCharm的专用注释，告诉它不要检查这段代码的可达性：

# noinspection PyUnreachableCode
if __debug__:
    debug_temp = "调试变量"
    print(debug_temp)  # 现在会有自动补全了

2. 全局调整PyCharm的检查规则 #

如果你不想每次都加注释，可以全局修改设置：

• 打开「Settings/Preferences」（Windows/Linux：File -> Settings；Mac：PyCharm -> Preferences）
• 在搜索框输入Unreachable code，找到Inspections -> Python -> Control flow issues -> Unreachable code
• 可以直接禁用这个检查（不推荐，会错过真的不可达代码），或者点击右侧的「Options」，在「Do not report if statement condition is」列表中添加__debug__，让PyCharm忽略这个条件下的不可达提示。

3. 让PyCharm默认识别__debug__为True #

如果你几乎不会用-O参数运行代码，可以让PyCharm的分析默认认为__debug__是True：

• 打开「Settings/Preferences -> Build, Execution, Deployment -> Console -> Python Console」
• 在「Starting script」中添加一行：__debug__ = True
• 或者在项目的运行配置中，添加环境变量__debug__=True（不过这对静态分析的影响有限，更推荐前两种方法）

4. 替代方案：使用自定义调试常量 #

如果不需要依赖Python的编译时优化，可以换成自定义的DEBUG常量，PyCharm会完美支持自动补全和代码分析：

DEBUG = True  # 发布时改成False或者用环境变量控制

if DEBUG:
    debug_var = "自定义调试变量"
    print(debug_var)

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