如何让PyCharm正确识别函数内赋值的全局变量类型？

我之前也碰到过一模一样的场景——全局变量初始化是None，但实际运行时会被赋值为某个类的实例，IDE却一直把它识别成NoneType。给你两个实用的解决方案，都不用在a.py的全局作用域直接导入mods：

方法一：字符串形式的延迟类型注解 #

直接把类型注解写成字符串，PyCharm会自动解析这个字符串对应的类型，而且完全不会触发运行时的模块导入：

# a.py
g_handle = None  # type: "mods.handle_class"

def Init():
    import mods
    global g_handle
    g_handle = mods.handle_class()

这种方式零额外依赖，写法简单，非常适合快速解决问题。

方法二：利用typing.TYPE_CHECKING条件导入 #

TYPE_CHECKING是typing模块里的特殊常量：运行时它的值是False，只有PyCharm、mypy这类类型检查工具在工作时，它才会变成True。我们可以借助它实现“仅类型检查时导入模块”：

# a.py
from typing import TYPE_CHECKING

# 这段导入只会在类型检查阶段执行，运行时完全不会加载mods
if TYPE_CHECKING:
    import mods

g_handle = None  # type: mods.handle_class

def Init():
    import mods
    global g_handle
    g_handle = mods.handle_class()

这种方式更符合PEP规范，类型注解可读性更强，适合需要严格类型规范的大型项目。

额外优化（Python 3.9+） #

如果你的项目用的是Python 3.9及以上版本，可以加上from __future__ import annotations，这样所有类型注解都会被自动当作字符串处理，写法更简洁：

# a.py
from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    import mods

g_handle: mods.handle_class = None

def Init():
    import mods
    global g_handle
    g_handle = mods.handle_class()

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