如何消除mypy对后初始化全局变量的“无属性”报错

你遇到的情况是模块级全局变量service被标注为Service | None，虽然能确保访问时它绝非None，但mypy仍会抛出报错："Optional[Service]"类型的"None"项没有属性"..."，以下是无需大量添加# type: ignore的解决方案：

方案1：使用类型断言（cast） #

直接通过typing.cast明确告诉mypy变量的实际类型，避免重复添加忽略注释：

from typing import cast

# 在需要访问service的地方
cast(Service, service).your_method()

这种方式精准针对单个访问场景，不会影响全局类型检查的严格性。

方案2：自定义类型守卫函数 #

定义一个带有断言的类型守卫函数，mypy会识别该函数的逻辑，自动推断service非None：

def ensure_service_ready() -> bool:
    assert service is not None, "Service未初始化"
    return True

# 在访问service前调用
ensure_service_ready()
service.your_method()

这个方法的优势是可以复用，所有需要访问service的地方只需调用一次守卫函数即可，同时还能在运行时增加一层校验。

方案3：封装为模块级属性（进阶） #

将全局变量封装到一个模块级的类中，通过属性 getter 来确保返回非None的实例：

class _ServiceHolder:
    _instance: Service | None = None

    @classmethod
    def get(cls) -> Service:
        assert cls._instance is not None, "Service未初始化"
        return cls._instance

# 初始化时赋值
@on_startup
def init():
    inject.configure(config)
    _ServiceHolder._instance = get_service()

# 访问时使用
_ServiceHolder.get().your_method()

这种方式更符合封装原则，同时彻底避免了模块级全局变量的类型问题，还能统一管理初始化逻辑。

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