Python 多级泛型是否会丢失类型信息？

Question

我使用类型注释让我的 IDE PyCharm 为我提供自动完成和类型检查功能。

对于我当前的项目，我构建了一个多级通用类层次结构，但是，在某些时候，某些类型信息似乎丢失了。
我不确定这是否是我的错、Python 类型注释/泛型机制的问题、IDE 的问题或预期行为的问题。

让我用一个简短的例子来解释这一点：

L = TypeVar("L")
class List(Generic[L]):
    # rather generic list implementation
    def get(self) -> L:
        return None


T = TypeVar("T")
class ListList(Generic[T], List[list[T]]):
    # generic implementation of a list of lists
    pass


class A(ListList[str]):
    # actual implementation of a list of lists of a specific type
    pass


ll = A()
l = ll.get()
e = l[0]

这里，pycharm 将 l 的类型显示为 list[T] ，将 e 的类型显示为 <代码>T
而我希望它分别是 list[str] 和 str 。

我是否使用了泛型错误，这种行为是 python 的类型/泛型机制中的错误，是 pyCharm IDE 中的错误还是这是预期的行为？

如果是有意的，有人可以解释其背后的原因，或者指出我这样的解释吗？

不管这个原因是什么，任何人都可以告诉我一种方法，如何让 pycharm 正确识别 l 和 e 的类型，从而为我提供有用的自动完成和类似的东西。

Answer 1

此行为似乎是一个错误：https://youtrack.jetbrains.com/issue/PY- 53082

使用 mypy 的reveal_type 确认您期望的类型是正确的。

ll = A()
l = ll.get()
e = l[0]
reveal_type(l)
reveal_type(e)

$ mypy sample.py 
sample.py:7: error: Incompatible return value type (got "None", expected "L")
sample.py:24: note: Revealed type is "builtins.list*[builtins.str*]"
sample.py:25: note: Revealed type is "builtins.str*"

在紧要关头，您可以指定创建变量的正确类型。

ll = A()
l: list[str] = ll.get()