主页 / coding / 问题 / 77754053
Accepted
Barry
Asked: 2024-01-04 02:49:42 +0800 CST

类型 Type[Array] 不是泛型且不可索引

  • 772

这个程序：

class Array:
    def __init__(self, underlying):
        self.underlying = underlying

    def __class_getitem__(cls, key):
        return Array(key)

    def __getitem__(self, key):
        pass

    def __str__(self):
        return f"Array({self.underlying=})"

def foo(name, kind):
    pass

foo(name="x", kind=Array["int"])

被标记为mypy：

x.py:17: error: The type "Type[Array]" is not generic and not indexable  [misc]

我添加的只是__getitem__为了看看它是否能解决问题（它没有）。我不打算在这里使用Array类型（在某种意义上typing），只是为了用可爱的语法将数组类型传递到其他地方。

这个mypy错误是什么意思以及如何修复它（最好使用# ignore评论之外的其他内容）？

python

2 个回答

  1. Best Answer

    我不打算在这里使用Array类型（在某种意义上typing），只是为了用可爱的语法将数组类型传递到其他地方。

    __class_getitem__仅用于打字。请参阅文档：

    类方法 object.__class_getitem__(cls, key)

    返回一个对象，该对象表示通过key中找到的类型参数对泛型类进行专门化。

    更具体地说：

    不鼓励将任何类用于__class_getitem__()类型提示以外的目的。

    所以不幸的是，看起来你想要的东西是不可能的。只需使用常规构造函数语法即可Array("int")。

    另外，以防万一您不知道，特殊方法不应该以意想不到的方式使用：

    在任何__*__上下文中，如果不遵循明确记录的使用方式，任何名称的使用都可能会在没有警告的情况下被破坏。

    • 3

  2. 如前所述，__class_getitem__保留用于键入泛型。没有保留但仍然可用的是元类的__getitem__，它允许您提供相同的 API。

    有了这个，您的示例可以通过引入一个带有 a 的假元类__getitem__（mypy Playground，Pyright Playground）来通过类型检查器

    from __future__ import annotations

import typing_extensions as t

if t.TYPE_CHECKING:    
    class _ArrayMeta(type):
        def __getitem__(self, key: str, /) -> Array: ...
else:
    _ArrayMeta = type


class Array(metaclass=_ArrayMeta):
    # The rest of the code remains identical
    def __init__(self, underlying):
        self.underlying = underlying

    def __str__(self):
        return f"Array({self.underlying=})"

    def __class_getitem__(cls, key) -> Array:
        return Array(key)

def foo(name, kind):
    pass

    >>> foo(name="x", kind=Array["int"])  # OK
>>> reveal_type(Array["int"])  # `Array`
    • 1

相关问题