Ordnen Sie variadische Generika ihrem Klassenäquivalent zu ⇐ Python

[Anonymous]

Ich versuche, variadische Generika zu verwenden, um das folgende Muster auszudrücken: Geben Sie bei einer gegebenen variadischen Liste von Klassen ein Tupel von Instanzen zurück, deren Typen positionell den Eingabeklassen entsprechen.
Im Wesentlichen möchte ich, dass meine Funktionssignatur so aussieht:

Code: Select all

def foo[*Cs](*classes: type[*Cs]) -> tuple[*Cs]:
return tuple(cls() for cls in classes)

Pylance wirft reportInvalidTypeForm:

Code: Select all

TypeVarTuple

ist in diesem Kontext nicht zulässig



Die Funktion sollte eine beliebige Anzahl von Klassen als Funktionsargumente akzeptieren und ein Tupel von Instanzen zurückgeben, deren Elementtypen positionell den Eingabeargumenten entsprechen. Die statischen Rückgabetypen sollten wie folgt aussehen:

Code: Select all

foo(int, int, str) -> tuple[int, int str]

oder alternativ

Code: Select all

foo(str, str, str)
# > foo(, , ) -> [, , ]

Ich weiß bereits, wie dies für „bekannte“ Parameterfunktionen erreicht werden kann:

Code: Select all

def bar[T](cls: type[T]) -> T:
return cls()

Die einzige nützliche Information, die ich finden konnte, ist der Quellcode dieses ECS, der darauf abzielt, dasselbe mit mehreren Überladungen zu erreichens. Dadurch wird der Code zwar „typsicher“, die Funktion wird jedoch auf die Anzahl der dafür geschriebenen Überladungen beschränkt, was die Wartung erschwert und die Skalierbarkeit beeinträchtigt:

Code: Select all

_C = _TypeVar('_C')
_C2 = _TypeVar('_C2')
_C3 = _TypeVar('_C3')
_C4 = _TypeVar('_C4')

@_overload
def get_components(__c1: _Type[_C], __c2: _Type[_C2]) -> _List[_Tuple[int, _Tuple[_C, _C2]]]:
...

@_overload
def get_components(__c1: _Type[_C], __c2: _Type[_C2], __c3: _Type[_C3]) -> _List[_Tuple[int, _Tuple[_C, _C2, _C3]]]:
...

@_overload
def get_components(__c1: _Type[_C], __c2: _Type[_C2], __c3: _Type[_C3], __c4: _Type[_C4]) -> _List[
_Tuple[int, _Tuple[_C, _C2, _C3, _C4]]]:
...

def get_components(*component_types: _Type[_Any]) -> _List[_Tuple[int, _Tuple[_Any, ...]]]:
"""Get an iterator for Entity and multiple Component sets."""
if _cache_dirty:
_clear_cache_now()

cached = _get_components_cache.get(component_types)
if cached is not None:
return cached

result = list(_get_components(*component_types))
_get_components_cache[component_types] = result
return result

Ich habe mir die Spezifikation angesehen, kann aber nichts Nützliches finden.