Как создать экземпляр defaultdict для выполнения аннотации типа DefaultDict[int, DefaultDict[int, MyClass]]

Я использую Python 3.8 и только что обновил Pyright до 1.1.377, и теперь получаю ошибки ввода для заданий defaultdict(defaultdict).

Код для воспроизведения того, что я имею в виду, будет:

from typing import DefaultDict
from collections import defaultdict

class MyClass:
    pass

d: DefaultDict[int, DefaultDict[int, MyClass]] = defaultdict(defaultdict)

d[1][2] = MyClass()

Я получаю ошибку:

error: Expression of type "defaultdict[Unknown, defaultdict[Unknown, defaultdict[Unknown, Unknown]]]" is incompatible with declared type "DefaultDict[int, DefaultDict[int, MyClass]]

Как здесь создать экземпляр defaultdict, чтобы соответствовать объявленному мной типу?

Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
1
0
50
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Ответ принят как подходящий

Если вы посмотрите документацию, это объяснит, почему вы можете предположить, что это должно работать, особенно если вы представляете, что mypy и pyright очень похожи. Пирайт приводит примеры, когда они не обращают внимания на некоторые распространенные проблемы с типами в pyright и mypy в документации ниже.

Ссылка: док

Сказав это, Проблема, с которой вы столкнулись, связана исключительно с тем, как Pyright обрабатывает вывод типа для defaultdict. Когда вы используете defaultdict(defaultdict) без указания аргументов типа, Pyright, в отличие от mypy, не может вывести правильные типы, что приводит к ошибке, которую вы видите.

Что вы можете сделать, так это использовать старый добрый lambda, чтобы помочь с использованием lambda: lambda func вернет defaultdict правильного типа, который, я надеюсь, вам нужен -> defaultdict[int, MyClass]

вот фрагмент, который поможет вам


from typing import DefaultDict
from collections import defaultdict

class MyClass:
    pass

d: DefaultDict[int, DefaultDict[int, MyClass]] = defaultdict(lambda: defaultdict(MyClass))

d[1][2] = MyClass()

Вот простой тест на правильность создания экземпляра defaultdict

d: DefaultDict[int, DefaultDict[int, MyClass]] = defaultdict(lambda: defaultdict(MyClass))

def func(a: DefaultDict[int, DefaultDict[int, MyClass]]):
    reveal_type(a)  # pyright should now reveal Runtime type is 'defaultdict'

func(d)

Как заметил сопровождающий Pyright по адресу #8839, это ошибка.

Другие вопросы по теме