python - 如何在 Python 类型提示中表达多重继承？

Question

在Java、C#中，泛型方法可以有一个带有约束的类型参数来定义必须实现的接口(interface)。

static <T extends Iterable<Integer> & Comparable<Integer>> void test(T p) {

}

在Python中，如果我想使用类型提示来指定一个变量必须继承类A和B，我该怎么办？我检查了 typing 模块，它只有一个 Union ，这意味着变量的类型可以是任何提示，而不是所有提示。

创建一个继承 A 和 B 的新类 C 似乎是一种解决方案，但看起来很麻烦。

Answer 1

该类定义等同于:

class MyIter(Iterator[T], Generic[T]):
    ...

您可以对泛型使用多重继承:

from typing import TypeVar, Generic, Sized, Iterable, Container, Tuple

T = TypeVar('T')

class LinkedList(Sized, Generic[T]):
    ...

K = TypeVar('K')
V = TypeVar('V')

class MyMapping(Iterable[Tuple[K, V]],
                Container[Tuple[K, V]],
                Generic[K, V]):
    ...

在不指定类型参数的情况下对泛型类进行子类化时，每个位置都假定为 Any。在下面的示例中，MyIterable 不是通用的，而是隐式继承自 Iterable[Any]:

from typing import Iterable

class MyIterable(Iterable):  # Same as Iterable[Any]
    ...

不支持通用元类。