Как гнездовать определения типа общего типа? ⇐ Python

[Anonymous]

Скажем, у меня есть:

• класс a
• Класс B это Параметризованный типом с верхней границей A
• класс C , который параметризован типом с верхней границей B .

Как я должен определить эти классы в Python 3.12, так что статические проверки типа наиболее успешны/правильны?

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

class A:
...

class B[T: A]:
...

class C[T: B]:
...

или я должен использовать C [t1: a, t2: b] ?
Я понял, что c [t: b [t: a]] не разрешен.
отдельный Typevar связан с b [a] работать?
, чтобы сделать его чуть менее абстрактным и показать Использование для этого: < /p>

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

  A

  может быть векторным типом, который я мог бы подтип в качестве вектора 2D или 3D.

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

  B

  может быть геометрической формой, с подтипами, такими как линия и дуга, в 2D, 3D и т. Д. Вкусы.

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

  C

  может быть объединение форм, таким образом, построить из этих 2D/3D Lines/Arcs.

Подробнее здесь: https://stackoverflow.com/questions/794 ... efinitions