🐍 Python · 20 вопросов · ~50 мин · ⏱ Таймер 50:00 · Средний ·

Аннотации типов

Проверяет типы коллекций, объединения, протоколы, обобщения и пределы статической проверки. Чтобы пройти его уверенно, мало узнать знакомую запись — нужно восстановить ход программы и обосновать выбор во всех четырёх направлениях. Все задания рассчитаны на CPython 3.12; отличия других реализаций или версий учитываются только там, где это прямо оговорено.

Отвечено: 0 из 20

⏱ --:--

💡 Инструкция: Версия: CPython 3.12. Выберите один ответ из четырёх. На 20 вопросов отведено не меньше 40 минут; код лучше читать построчно. После завершения вы увидите общий процент, четыре тематические шкалы и объяснение каждого ответа.

Вопрос 1 из 20

Функция аннотирована как принимающая и возвращающая `int`, но вызывается со строкой. Что напечатает CPython 3.12?

def add(x:int,y:int)->int: return x+y
print(add("a","b"))

ab Возникнет TypeError из-за аннотаций 2 None

Вопрос 2 из 20

Что означает `int | None`?

Функция может вернуть int или None Функция возвращает одновременно int и None Это побитовое вычисление при каждом вызове None запрещён

Вопрос 3 из 20

Нужно спроектировать контракт поведения без обязательного наследования от общего класса. Какой инструмент аннотаций выбрать?

Проверять правила сетевого протокола во время каждого вызова Заменить структурную совместимость обязательной иерархией классов Использовать `Protocol` с требуемыми методами и атрибутами Создавать общие переменные для всех реализаций интерфейса

Вопрос 4 из 20

Что сохраняет TypeVar?

Связь типа элементов списка с типом результата Фиксацию `T` как `int` для всех вызовов функции Гарантию, что список содержит хотя бы один элемент Преобразование результата к нужному типу во время выполнения

Вопрос 5 из 20

Как аннотировать словарь строковых ключей и списков целых значений?

`list[dict[str, int]]` `dict[str, tuple[int, ...]]` `Mapping[str, int]` `dict[str, list[int]]`

Вопрос 6 из 20

Проследите определение переменной и функции. Какое точное содержимое окажется в `f.__annotations__`?

x:int=1
def f(a:str)->bool: return bool(a)
print(f.__annotations__)

{'a': <class 'str'>, 'return': <class 'bool'>} {'x': <class 'int'>}: попадёт аннотация модуля {'a': 'str', 'return': 'bool'}: типы сохранятся строками Пустой словарь: аннотации видит только анализатор

Вопрос 7 из 20

Когда Literal полезен?

Когда значение нужно автоматически сериализовать по аннотации Когда аргумент может иметь произвольное значение любого типа Для небольшого фиксированного набора допустимых значений Для вычисления длины строкового литерала анализатором

Вопрос 8 из 20

Проверка `isinstance(obj, P)` падает, потому что `P` — обычный `Protocol`. Какое исправление разрешит такую проверку во время выполнения?

Заменить `Protocol` на `Any`, чтобы `isinstance` принял любой объект Проверять наличие метода вручную только через `hasattr`, не меняя протокол Сделать все методы протокола статическими Пометить протокол декоратором `@runtime_checkable`

Вопрос 9 из 20

Почему `Any` не равен `object` для статического анализа?

`Any` отключает проверки, а `object` требует сужения типа Оба типа одинаково ограничивают доступные операции Во время выполнения `Any` является подклассом всех классов `object` разрешает вызывать любые методы без проверки

Вопрос 10 из 20

Что означает аннотация `Callable[[str, int], bool]`?

Функция принимает `bool` и возвращает строку Вызываемый объект принимает `str` и `int` и возвращает `bool` Класс с конструктором без параметров и произвольным результатом Последовательность из двух вызываемых объектов

Вопрос 11 из 20

Как выразить словарь с фиксированными строковыми полями разного типа?

`TypedDict` `Mapping[Literal["name", "age"], str | int]` `dict[str, str | int]` `tuple[str, int]`

Вопрос 12 из 20

`NewType` применяется к числу 5. Какие значение и реальный тип напечатает фрагмент?

from typing import NewType
UserId=NewType("UserId",int)
x=UserId(5)
print(x, type(x).__name__)

5 UserId Возникнет TypeError UserId(5) UserId 5 int

Вопрос 13 из 20

Для чего `TypeGuard`?

Создать обобщённый класс без `TypeVar` Сузить тип значения в истинной ветви предиката Запретить изменение объекта указанного типа Перехватывать `TypeError` во время выполнения функции

Вопрос 14 из 20

В `isinstance` передают параметризованный тип `list[int]`. Чем закончится этот граничный сценарий?

Вернётся `True`: параметр элементов будет отброшен `isinstance` обойдёт список и проверит тип всех значений `TypeError`: параметризованный generic нельзя передать `isinstance` Вернётся `False` после проверки каждого элемента

Вопрос 15 из 20

Почему аннотация `list[object]` не всегда подходит вместо `list[str]`?

Список строк становится неизменяемым из-за более общего типа `object` нельзя указывать как параметр стандартной коллекции Список изменяем и инвариантен: иначе через псевдоним можно записать число `list` ковариантен для чтения и автоматически запрещает запись

Вопрос 16 из 20

Метод базового класса возвращает `Self`, а вызывается у экземпляра подкласса. Как статический анализатор трактует тип результата?

Как объединение всех известных подклассов базового класса Как тип параметра с именем `self`, независимо от класса получателя Всегда как базовый класс, в котором записана аннотация Как конкретный класс получателя, включая подкласс

Вопрос 17 из 20

Когда стоит запускать статический анализатор в проекте?

Вместо тестов, поскольку аннотации проверяют бизнес-поведение Один раз при создании репозитория, пока типы ещё просты После компиляции исходников в `.pyc`, а не по тексту программы Регулярно в проверках изменений, вместе с тестами

Вопрос 18 из 20

Разработчик ожидает, что `cast(int, "5")` преобразует строку в число. В чём ошибка ожидания и какие значение с реальным типом напечатает код?

from typing import cast
x=cast(int,"5")
print(x, type(x).__name__)

None NoneType 5 str Возникнет ValueError 5 int

Вопрос 19 из 20

Как описать объект, который можно закрыть методом close, не требуя общего предка?

`Protocol` с методом `close(self) -> None` `Literal["close"]`, обозначающий имя метода строкой Перечислить в `Union` все текущие и будущие классы реализаций Использовать `Any`, не описывая требуемую операцию

Вопрос 20 из 20

Что значит `NoReturn`/`Never` у функции?

Функция не возвращается нормально Аннотация запрещает вызывать функцию из проверяемого кода Функция может вернуть значение любого типа Функция штатно возвращает единственное значение `None`

Ответьте на все 20 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу