Как написать «не тип типа» в Python, аналогично параметру шаблона, не являющегося типом, в C ++? ⇐ Python

[Anonymous]

Чтобы быть коротким, я надеюсь написать что-то вроде шаблона < /code> of c ++ в python.
Вот конкретный пример < /p>

Код: Выделить всё

from typing import TypeVar, Generic
T = TypeVar("T", ...?) # an actual int value, not int type, as typevar, I'm wondering how to write such type var
V = TypeVar("V", ...?) # an actual int value, not int type, as typevar
class Foo(Generic[T, V]):
def __init__(self, t: T, v: V) -> None:
self.T, self.V = t, v

def __call__(self, x: np.ndarray[tuple[T, V], np.dtype[np.float_]]):
return x

# e.g.
foo = Foo(3, 2) # foo is expected to type-hint as Foo[3, 2] or Foo[Literal[3], Literal[2]]
y = foo(np.zeors(3, 2)) # foo(...) is expected to hint a parameter type of np.ndarray[tuple[Literal[3], Literal[2]], np.dtype[np.float_]]

Итак, как мне настроить typevar s, чтобы получить то, что я хочу?


Подробнее здесь: https://stackoverflow.com/questions/795 ... ate-parame