_Item = TypeVar("_Item", BaseItem)

@app.get(path="items")  
def get_items() -> list[_Item]:  
  return _get_items()

Pylance 抱怨：

TypeVar "_Item" appears only once in generic function signature Use "BaseItem" instead

get_items() 根据环境配置返回多种 BaseItem 派生类型（例如 AItem、BITem、CItem 等等）。

问题在于 FastAPI 使用返回类型提示来序列化响应模型。如果我使用 BaseItem，它会将类型降级为 BaseItem。使用上述的 TypeVar 变通方法可行，但我怀疑它根本没有对输出进行验证，等同于用 BaseModel、object、Any 来进行提示。在那种情况下，OpenAPI 仍然显示基础模型的模式，尽管运行时的响应包含具体的派生模型。

What would be the best solution here?

解决方案

由于具体类型在启动时就已经确定，最好的解决方案是一次性解析出具体的模型，并将其用作响应模型，而不是试图将其表示为泛型。这样FastAPI就能够正确地验证并序列化响应。

大致如下：

ItemModel = resolve_item_model_from_env()  # e.g. AItem, BItem, etc.

@app.get("/items", response_model=list[ItemModel])
def get_items():
    return _get_items()

The resolve_item_model_from_env() 函数可以简单地把你的配置值映射到相应的模型类。