python子类列表和匹配的泛型

Question

我发现它能够以这种方式或通过抛出__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  

如何才能正确子类化tuple？谢谢你的建议。

Answer 1

您感到困惑的问题与子类无关，而是由于mypy如何假设任何序列通过其名称（例如元组（（（项目，项目，...，项目））作为参数传递给任何元组及其子类，而不是Python元组语法（项目，项目，...，项目，））而具有签名元组[Any， ...]（因为这是默认元组构造函数的类型签名）。请考虑下面的代码示例：

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的标准元组语法来产生其子类的实例(因为它总是产生< code >元组 ),任何< code >元组的子类(例如< code >类MyTuple(tuple):...)将因此不能满足任何< code >元组[T]，其中< code>T不是可变长度的序列。

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

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

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

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

作为补充，随着PEP 646 -可变泛型的引入，从Python 3.11开始，这可能成为可能，但是< code>mypy还不支持这一点(参见GitHub问题python/mypy#12840，在新的类型特性下，PEP 646 -截至2022-10-14还没有跟踪到子问题)，并且< code>pyright和< code>pyre似乎不能正确检查语句< code