自定义带默认元数据的MyAnnotated类编辑器无自动补全问题

你实现的MyAnnotated类在运行时工作正常，但VSCode等编辑器无法提供自动补全，核心原因是类型检查器无法识别自定义类的泛型结构和返回值类型。原生Annotated是Python类型系统的内置构造，编辑器对其有特殊支持；而你的自定义类通过重写__class_getitem__动态返回Annotated实例，但类型注解没有正确告知检查器这个逻辑，导致自动补全失效。

方案1：使用PEP 695类型别名（Python 3.12+） #

这是最简洁且类型友好的方案，直接利用Python 3.12引入的带默认参数的泛型类型别名，完全兼容编辑器的自动补全：

from typing import Annotated

# 定义带默认元数据的泛型类型别名
type MyAnnotated[T, Meta = '<default-meta>'] = Annotated[T, Meta]

# 使用示例
some: MyAnnotated[int]  # 等价于 Annotated[int, '<default-meta>']
another: MyAnnotated[str, 'custom meta']  # 等价于 Annotated[str, 'custom meta']

# 验证
assert MyAnnotated[int] == Annotated[int, '<default-meta>']
assert MyAnnotated[str, 'custom'] == Annotated[str, 'custom']

这种方式本质是给Annotated套了一层带默认参数的别名，类型检查器能完全理解其结构，编辑器的自动补全和类型提示会和原生Annotated一致。

方案2：兼容旧Python版本的自定义类改进 #

如果需要兼容Python 3.12以下版本，需要修正自定义类的类型注解，让类型检查器正确识别其泛型结构和返回值：

from typing import Generic, TypeVar, Annotated, Any, Final

T = TypeVar('T')
# 定义带默认值的元数据TypeVar
Meta = TypeVar('Meta', default='<default-meta>')

class MyAnnotated(Generic[T, Meta]):
    # 告知类型检查器该类的起源是Annotated
    __origin__: Final[type[Annotated]] = Annotated

    @classmethod
    def __class_getitem__(cls, params: Any) -> Annotated[T, Meta]:
        if isinstance(params, tuple):
            if len(params) == 1:
                return Annotated[params[0], '<default-meta>']  # type: ignore
            return Annotated[params[0], params[1]]  # type: ignore
        return Annotated[params, '<default-meta>']  # type: ignore

# 使用示例
some: MyAnnotated[int]
another: MyAnnotated[float, 'must be positive']

# 验证
assert MyAnnotated[int] == Annotated[int, '<default-meta>']
assert MyAnnotated[float, 'must be positive'] == Annotated[float, 'must be positive']

关键改进点： #

• 带默认值的Meta TypeVar：让类型检查器知道元数据参数是可选的，支持MyAnnotated[int]这种写法。
• __origin__属性：设置为Annotated，帮助编辑器的类型检查器（如Pyright、Mypy）识别该类是Annotated的包装，从而提供正确的自动补全。
• 修正返回类型注解：将__class_getitem__的返回类型改为Annotated[T, Meta]，明确告知类型检查器返回的是带元数据的注解类型，而非单纯的T类型。

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