Як коментувати типи кількох повернених значень?

Як я можу використовувати підказки типу, щоб анотувати функцію, яка повертає значення, Iterableяке завжди дає два значення: a boolта a str? Підказка Tuple[bool, str]близька, за винятком того, що вона обмежує тип поверненого значення кортежем, а не генератором чи іншим типом ітерацій.

Мені в основному цікаво, оскільки я хотів би анотувати функцію, foo()яка використовується для повернення кількох значень, як це:

always_a_bool, always_a_str = foo()

Зазвичай такі функції, як foo()зробити щось на зразок return a, b(що повертає кортеж), але я хотів би, щоб підказка типу була досить гнучкою, щоб замінити повернутий кортеж генератором, списком або чимось іншим.

Ви завжди повертаєте один предмет; використання return one, twoпросто повертає кортеж.

Так що так, -> Tuple[bool, str]це цілком правильно.

ТількиTuple тип дозволяє задати фіксовану кількість елементів, кожен з яких з особливим типом. Ви дійсно повинні повертати кортеж, завжди, якщо ваша функція виробляє фіксовану кількість повернутих значень, особливо коли ці значення є конкретними, різними типами.

Очікується, що інші типи послідовностей мають одну специфікацію типу для змінної кількості елементів, тому typing.Sequenceтут не підходить. Також див. Яка різниця між списками та кортежами?

Кортежі є неоднорідними структурами даних (тобто їх записи мають різне значення), тоді як списки - однорідними послідовностями. Кортежі мають структуру, списки мають порядок.

Система підказок типу Python дотримується цієї філософії, в даний час не існує синтаксису, який би вказував ітерабель фіксованої довжини та містить конкретні типи в конкретних позиціях.

Якщо ви повинні вказати, що буде виконувати будь-який ітератор, найкраще, що ви можете зробити, це:

-> Iterable[Union[bool, str]]

в цей момент абонент може очікувати логічні значення та рядки в будь-якому порядку та невідомої довжини (десь від 0 до нескінченності).