python子类列表和匹配的泛型

Question

我发现它能够以这种方式或通过 throw __new__ 进行子类化，没有问题，但是类型检查。

class a(tuple):
    pass

print(a((1, 2, 3)))  # <---- ( 1, 2, 3 )

b: tuple[int, int, int] = a((1, 2, 3))  # <--- Error
# Incompatible types in assignment (expression has type "a", variable has type "Tuple[int, int, int]")

c: tuple = a((1, 2, 3))  # <--- Ok  

d: tuple[int, int, int] = (1, 2, 3)  # <--- Ok  

子类列表的工作方式相同。

    class a( list[ T ] ) 
 
        def __init__(self, * pax : T  )  : pass

    b : list[ int ] = a( 1, 2 ) # <--- Ok  

    c = a[ int ]( 1, 2 ) # <--- Ok  

如何正确子类化元组？谢谢你的建议。

Answer 1

您感到困惑的问题与子类化无关，但由于 mypy 的假设而具有一切任何序列作为参数传递给任何tuple 及其子类的名称（例如tuple((item, item, ..., item))，与Python 元组语法(item, item, ..., item,) 不同）具有签名Tuple[Any, ...]（因为这是默认的类型签名tuple 构造函数）。考虑以下代码示例：

one_tuple: tuple[int] = tuple((1,))
answer: tuple[int] = (1,)
print(one_tuple == answer)

使用python 运行上述代码将产生输出True，这是预期的结果。但是，mypy 将产生以下错误消息：

onetuple.py:1: error: Incompatible types in assignment (expression has type "Tuple[int, ...]", variable has type "Tuple[int]")
Found 1 error in 1 file (checked 1 source file)

鉴于不可能使用 Python 的标准元组语法来生成其子类的实例（因为它总是产生一个tuple)，那么tuple 的任何子类(例如class MyTuple(tuple): ...) 将因此不能满足任何Tuple[T]，其中T 不是可变长度的序列。

虽然问题中没有说明以下断言，但如果您确定您的 tuple 子类将有一些有限的长度，这可能是一个合适的解决方法：

class MyTuple(tuple[int, int, int]):
    pass

mytuple: tuple[int, int, int] = MyTuple((1, 2, 3))

在这种情况下，mypy 不会产生任何验证错误。

作为附录，随着PEP 646 - Variadic Generics 的引入，这可能从 Python 3.11 开始成为可能，但是 mypy 尚不支持此功能（请参阅 GitHub 问题 python/mypy#12840，在新类型功能下，PEP 646 - 截至 2022 年 10 月 14 日，尚未在此处跟踪任何子问题），并且 pyright 和 pyre 似乎没有正确检查声明 one_tuple: tuple[int] = tuple((1, 2,)) 无效，因此我在这里结束我的进一步努力现在鉴于我不确定它是否确实正确支持 PEP 646。