Почему внутри ClassVar нельзя использовать переменные типа?

ClassVar принадлежит самому class, а не существует отдельно для каждого набора обобщённых параметров.

Для другого примера представим реализацию обобщённого связного списка.

@dataclass
class Link[T]:
    item: T
    following: Self | None = None

class Chain[T]:
    start: ClassVar[Link[T] | None] = None

    def __str__(self) -> str:
        owner = type(self)
        items = list[T]()
        cursor = owner.start
        while cursor:
            assert isinstance(cursor, Link)  # assist the typechecker
            items.append(cursor.item)
            cursor = cursor.following
        return f'{owner.__qualname__}({', '.join(map(repr, items))})'

numbers = Chain[int]()
words = Chain[str]()

Chain[int].start = Link[int](3, Link[int](4))
print(numbers)  # 3, 4
Chain[str].start = Link[str]('hello', Link[str]('world'))
print(words)  # 'hello', 'world'
print(numbers)  # unexpectedly! 'hello', 'world'

Список int и список str используют один и тот же .start. Он существует только в одном экземпляре.

Поэтому, на мой взгляд, TypeVar внутри ClassVar не имеет особого смысла.

Да, кажется, теперь я понимаю причину.

Я хотел, чтобы реализации ABC переопределяли ClassVar более узким типом, а объявление в ABC служило главным образом документацией, поскольку на самом ABC у этого атрибута никогда не было бы настоящего значения.

Ещё путало то, что authlib использует httpx2, а мой код использовал httpx, так что имена совпадали, но типы технически различались. После обновления этой зависимости удалось использовать базовый класс напрямую, вместо попытки параметризовать его в аннотации ClassVar.