В следующем коде у меня есть функция, которая может принимать либо строку, либо некоторую TextIOBase. Если передается строка, она интерпретируется как путь к файлу, который следует открыть и прочитать. Если передан TextIOBase, содержимое этого потока будет прочитано:
Код: Выделить всё
from typing import Union
import io
def function(foo: Union[str, io.TextIOBase]) -> None:
if isinstance(foo, str):
foo = open(foo, "w")
Кажется, так и должно быть, потому что объединения должны быть ковариантными, а это означает, что подкласс одного из типов в объединении должен удовлетворять аннотации типа, и в этом случае тип вывода open() является подклассом TextIOBase. Однако mypy жалуется:
Код: Выделить всё
union.py:6: error: Incompatible types in assignment (expression has type "TextIO", variable has type "Union[str, TextIOBase]")
Found 1 error in 1 file (checked 1 source file)
Я подумал, что, возможно, существует проблема с неоднозначностью типа возвращаемого значения open(), основанного на переданных аргументах, поэтому я попробовал создать StringIO вместо этого, но получил ту же ошибку. Есть мысли? Почему mypy злится на меня?
Я также пробовал это с некоторыми игрушечными классами (например, Union[str, T1], затем назначая T2, где T2 — это подкласс T1), которым mypy вполне доволен.
Подробнее здесь:
https://stackoverflow.com/questions/610 ... in-a-union
Мобильная версия