Вернуть пустое

[amarao]

Вот я прям питон начинаю не любить. Казалось бы, утиная типизация и всеобщая приятность. Никакого фашизма, всё можно.

А вот вам простая задачка, которую на rust'е generic'и решают в одну строчку, а на питоне я не знаю как (в разумные усилия).

Есть функция, которая читает вывод (утилиты) и возвращает распашенный json. Она достаточно generic, чтобы в зависимости от вывода утилиты вернуть list или dict.

Теперь я хочу добавить фэнсервиса - если вывод пустой, то возвращать пустой элемент (список или словарь). Как? КАК?

>>> class foo(dict,list):
... pass
...
Traceback (most recent call last):
File "", line 1, in
TypeError: multiple bases have instance lay-out conflict

Comments

[yurikhan]

from typing import Union

foo = Union[list, dict]

[permeakra]

А ты не должен этого хотеть. Пустая строка - не валидный json, поэтому пустая строка - это не json, а какое-то bottom. Как именно это моделировать - вопрос отдельный

[amarao]

Это же type hinting, ты не можешь его возвращать как "значение" (в контексте влияния на тип возвращаемого значения).

То есть если foo: Union[list,dict], то как мне сделать дефолтный элемент, который подходит обоим?

foo.count(3) foo.values()

[amarao]

Пустая строка не валидный json, я знаю. Но мой контракт между приложением (subprocess.run) и не говорит, что там всегда валидный json.

[yurikhan]

В смысле, принадлежит пересечению множеств значений list’а и dict’а? Так оно пусто.

Ну то есть можно, наверно, реализовать класс Empty, в нём реализовать все методы list’а и возвращать из них всё то же самое, что на их месте возвращал бы [], и все методы dict’а и из них возвращать как если бы мы были {}. Много бойлерплейта. И надо решить конфликты для тех методов, которые есть и у list’а, и у dict’а, и ведут себя по-разному. Например, __str__ и __repr__, скорее всего, у такого Empty будут свои собственные.

Или можно со своим клиентом договориться, что мы таки возвращаем даже не Union[list, dict, Empty], а Union[list, dict, None] (aka Optional[Union[list, dict]]). И там уже его ответственность проверять и обрабатывать этот кейс.

[amarao]

Нет, не так.

Смотри. Есть функция json_loads. Sound она по типам или unsound - это вопрос открытый, вне обсуждения.

Теперь мне нужно для этой функции написать декоратор, который бы сохранял оригинальную семантику:

• json_loads(output_of_list_generating_program) -> List
• json_loads(output_of_dict_generating_program) -> Dict

но возвращал Default для соотв. типа, если (внешний side effect) вернул ошибку.

И вот я не могу. Я не знаю, что ожидает вызывающий код, так что я не могу вернуть соответствующий тип.

А срачик на reddit'е (к сожалению, потёрли) сказал, что сконструировать list-or-dict невозможно в принципе, потому что https://docs.python.org/3/c-api/typeobj.html#Py_TPFLAGS_MAPPING

Py_TPFLAGS_MAPPING and Py_TPFLAGS_SEQUENCE are mutually exclusive; it is an error to enable both flags simultaneously.

[permeakra]

т.е. у тебя там третье значение. Ну так и возвращай его.

[yurikhan]

Гм. То есть с вон тем предложенным Empty будут проблемы, когда пациент попробует его паттерн-матчить об паттерны […] или {…}. Окей, верю.