Указание связи между *args из *Ts и *args типа[T] над Ts? ⇐ Python

[Anonymous]

Рассмотрим следующий пример:

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

class Example:
def __init__(self, *arg_types) -> None:
...

def do_work(self, *arg_values) -> Any:
...

В этой демонстрации arg_types — это некоторый список типов объектов. Например, я мог бы создать экземпляр:

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

myEx = Example(int, str)

Тогда я ожидал бы, что do_work ожидает одно целое число и одну строку:

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

myEx.do_work(42, "forty two")

и что myEx имеет тип Пример[int, str].
Моя первоначальная попытка дала что-то вроде< /p>

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

class Example[*Ts]:
def __init__(self, *arg_type: *Ts) -> None:
...

def do_work(self, *arg_values: *Ts) -> Any:
...

Однако здесь возникает очевидная проблема: при продолжении приведенного выше примера myEx.do_work(42, "сорок два") выдает ошибку, например 42 является int, а не type[int], и аналогично для строкового аргумента.
В прошлом мне приходилось использовать немного варадических подсказок типа , но это невозможно выразить в виде подсказки, которые может предоставить Python.
Есть ли способ сделать это?

Незначительное редактирование:
Я также должен указать, что я пытался использовать какой-то псевдоним типа

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

type TypeT[T] = type[T]

а затем параметризовать мой класс на T. Однако, исходя из того, как работает TypeVarTuple, каждый *arg должен быть одним и тем же T , вот здесь и возникают сложности.

Подробнее здесь: https://stackoverflow.com/questions/793 ... et-over-ts