如何实现VS Code对Python中globals()动态创建命名空间的高亮与补全？

1. 显式添加类型提示声明 #

VS Code的Pylance语言服务器依赖静态类型信息识别成员，你可以在模块中提前声明动态添加的成员类型，仅用于类型检查，完全不影响运行时逻辑：

from typing import TYPE_CHECKING, Callable
import threading

# 仅在类型检查阶段生效，不干扰运行时
if TYPE_CHECKING:
    # 逐一声明你要暴露的包装后函数/变量的类型
    safe_process_data: Callable[[bytes], int]
    filtered_config: dict

# 原有动态修改逻辑保留
_mutex = threading.Lock()
original_module = __import__("original_c_bindings")

# 过滤并包装目标成员
for name in ["safe_process_data", "filtered_config"]:
    attr = getattr(original_module, name)
    if callable(attr):
        def wrapped(*args, **kwargs):
            with _mutex:
                return attr(*args, **kwargs)
        globals()[name] = wrapped
    else:
        globals()[name] = attr

这种方式让Pylance直接读取静态声明的成员，补全和高亮会立刻恢复。

2. 用__getattr__替代直接修改globals() #

如果动态成员较多或需要灵活过滤，模块级的__getattr__是更优雅的方案，Pylance能识别这个特殊函数的逻辑，结合类型提示提供准确补全：

from typing import Any, Callable
import original_c_bindings
import threading

_mutex = threading.Lock()
# 定义允许暴露的成员白名单
ALLOWED_MEMBERS = {"process_data", "config", "init"}

def _wrap_thread_safe(func: Callable) -> Callable:
    def wrapper(*args, **kwargs):
        with _mutex:
            return func(*args, **kwargs)
    return wrapper

def __getattr__(name: str) -> Any:
    if name not in ALLOWED_MEMBERS:
        raise AttributeError(f"Module {__name__} has no attribute '{name}'")
    attr = getattr(original_c_bindings, name)
    return _wrap_thread_safe(attr) if callable(attr) else attr

# 类型检查阶段声明可用成员
if TYPE_CHECKING:
    process_data: Callable[[bytes], int]
    config: dict
    init: Callable[[], None]

这种方式无需手动修改globals()，所有成员访问通过__getattr__统一处理，同时给IDE明确的类型线索，兼顾运行时需求和IDE识别。

3. 调整Pylance的动态成员查找设置 #

如果不想写额外类型代码，可以通过VS Code工作区设置开启动态成员推断：

打开.vscode/settings.json，添加以下配置：

{
    "python.analysis.dynamicMemberLookup": true,
    "python.analysis.typeCheckingMode": "basic"
}

dynamicMemberLookup会让Pylance尝试分析动态赋值逻辑（比如globals()[name] = value）来推断成员类型；typeCheckingMode设为basic会降低类型检查严格性，减少对动态代码的误判。不过这种方式准确性不如前两种，适合快速临时解决问题。

核心原因说明 #

Pylance等静态分析工具不会执行代码，只会做静态扫描，直接修改globals()属于运行时动态行为，工具无法追踪这些成员，必然出现识别失效。上面的方案都是通过给静态分析工具提供明确的类型线索来解决这个矛盾。

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