如何在Python中让字典类型从值自动推断，实现IDE提示与校验？

问题背景 #

现有如下配置字典（实际规模包含数十个层级键）：

config = {
    'sentry': {
        'endpoint': '...',
        'server_name': '...',
    },
}

希望通过类型注解实现三个目标：

• 精准代码提示：输入config['sentry'][时能正常提示endpoint、server_name；添加未定义键（如config['kek'] = 'lol'）时被高亮为错误。
• 错误检测：读取不存在的键（如config['kek']）时被Pylance高亮为错误。
• 遵循DRY原则：无需在字典外重复定义每个键，直接从字典结构自动推断类型。

在TypeScript中仅需定义常量对象即可自动实现上述效果：

const config = {
    sentry: {
        endpoint: '...',
        server_name: 'kek',
    },
}

请问Python中能否通过类型注解达成类似效果？

解决方案 #

可以实现类似效果，核心是利用Pylance的精确类型推断能力，结合typing.final标记字典为不可变，并开启严格类型检查模式：

步骤1：用final标记配置字典 #

@final装饰器会告诉类型检查器该字典的结构不会被修改，使其能推断出更精确的嵌套类型，无需额外重复定义键：

from typing import final

@final
config = {
    'sentry': {
        'endpoint': '...',
        'server_name': '...',
    },
}

步骤2：开启Pylance严格类型检查 #

在VS Code的设置中添加或修改：

"python.analysis.typeCheckingMode": "strict"

效果验证 #

• 代码提示：输入config['sentry'][时，Pylance会精准提示endpoint和server_name；尝试添加未定义键时，会因final标记的字典不可修改结构而被高亮为错误。
• 错误检测：读取不存在的键（如config['kek']）会被Pylance直接标记为类型错误。
• DRY原则：完全基于现有字典结构推断类型，无需额外重复定义任何键。

若需在函数参数等场景复用该类型，可结合TypedDict，但通过类型推断工具仍可避免手动重复编写键名，不过对于静态代码提示与错误检测，上述final方案已足够满足需求。

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