在 Java、C# 中,泛型方法可以有一个带约束的类型参数来定义必须实现的接口。
static <T extends Iterable<Integer> & Comparable<Integer>> void test(T p) {
}
在Python中,如果我想使用类型提示来指定一个变量必须继承类A和B,我该怎么做?我检查了打字模块,它只有一个联合,这意味着变量的类型可以是任何提示,而不是所有提示。
创建一个继承 A 和 B 的新类 C 似乎是一个解决方案,但看起来很麻烦。
在 Java、C# 中,泛型方法可以有一个带约束的类型参数来定义必须实现的接口。
static <T extends Iterable<Integer> & Comparable<Integer>> void test(T p) {
}
在Python中,如果我想使用类型提示来指定一个变量必须继承类A和B,我该怎么做?我检查了打字模块,它只有一个联合,这意味着变量的类型可以是任何提示,而不是所有提示。
创建一个继承 A 和 B 的新类 C 似乎是一个解决方案,但看起来很麻烦。
该类定义等效于:
class MyIter(Iterator[T], Generic[T]):
...
您可以对 Generic 使用多重继承:
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]
...
不支持通用元类。