Краткий ответ

В Python тип bool является подклассом int: False ведёт себя как числовое значение 0, а True — как 1. Поэтому проверка, основанная на отношении подтипов, например через isinstance, принимает булевы значения как целые числа. Проверка точного типа через type(value) is int их не принимает.

Исторический контекст

Такое устройство позволяет использовать результаты сравнений и логических выражений там, где ожидаются числовые флаги или значения 0 и 1. При этом Python сохраняет отдельный тип bool, чтобы результат логической операции явно отличался по смыслу от произвольного целого числа.

Связь с int сделана не только для арифметики, но и для совместимости поведения существующих числовых операций и контейнеров. Поэтому булевы значения участвуют в вычислениях, сравнениях и хешировании как целые числа, хотя в прикладной логике это не всегда желательно.

Постановка проблемы

Разработчик может написать проверку, которая должна принимать количество, индекс или идентификатор, и использовать проверку на принадлежность к типу int. В результате значение True будет принято как корректное число 1, а False — как 0.

Это опасно, когда булево значение означает ошибку, флаг или отсутствие данных, а не реальное количество. Дополнительная путаница возникает в словарях и множествах: True и 1 считаются равными ключами, как и False и 0.

Подробное решение

При проверке isinstance(value, int) Python учитывает наследование. Поскольку bool наследуется от int, результат для True и False будет положительным. При этом type(value) is int проверяет именно конкретный тип и отличает bool от int.

values = [True, 1, False, 0]

for value in values:
    print(isinstance(value, int), type(value) is int)

Для булевых значений первая проверка даст True, а вторая — False. Арифметическая операция с двумя булевыми значениями обычно возвращает объект типа int, например сумма True и True равна числу 2.

Если функция должна принимать целые числа, но запрещать булевы значения, проверку нужно строить явно: сначала отклонить bool, затем проверить int. Аннотация параметра int сама по себе не выполняет такую проверку во время работы программы.

Не всякая проверка на int является ошибкой: для счётчика флаг, сознательно трактуемый как 0 или 1, может быть допустим. Компромисс состоит в выборе проверки по смыслу данных, а не только по формальному типу.

Ситуация из практики

В функции обработки размера страницы API разработчик принимает любое значение, прошедшее проверку isinstance(size, int). Клиент передаёт True, и система интерпретирует его как размер страницы 1, хотя клиент, вероятно, ошибся или передал флаг вместо числа.

Рассматривались два варианта. Проверка только через type(size) is int проста и надёжно исключает bool, но может быть слишком строгой для пользовательских целочисленных типов. Проверка только через isinstance(size, int) поддерживает наследников int, однако пропускает булевы значения.

Выбран вариант с явным исключением bool, после которого выполняется проверка целочисленности и диапазона. Он сохраняет поддержку целочисленных объектов, предотвращает неявное превращение флага в размер и делает контракт функции явным.

Что кандидаты часто упускают

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

Булевы значения участвуют в арифметике как 0 и 1, но результат обычной арифметической операции имеет тип int, а не bool. Например, сумма двух истинных значений является числом 2; это не логическая операция и не преобразование результата в булево значение.
Почему ключи True и 1 конфликтуют в словаре?

Эти значения равны (True == 1) и имеют одинаковый хеш. Поэтому словарь рассматривает их как один и тот же ключ: добавление значения по одному из них перезапишет значение, связанное с другим. Само отображаемое представление ключа может зависеть от того, какой ключ был добавлен первым, но различать такие ключи как два независимых ключа нельзя.
Можно ли запретить булевы значения одной аннотацией int?

Нет. Аннотация описывает ожидаемый тип для инструментов анализа и документации, но не выполняет автоматическую проверку во время исполнения. Кроме того, статические анализаторы обычно учитывают, что bool является подтипом int, поэтому для строгого контракта нужна явная проверка и отклонение bool.