Каковы правила преобразования типов при логических операциях?

В Python, при логических операциях (and, or, not) типы данных не всегда явно преобразуются в булевы значения (True или False), но они интерпретируются как истинные или ложные в так называемом "булевом контексте". Это значит, что интерпретатор определяет "истинность" или "ложность" значения без явного преобразования.

Вот основные правила интерпретации типов в булевом контексте:

• Истина:
• Непустые строки (например, "hello")
• Ненулевые числа (например, 1, -3.14)
• Непустые коллекции (например, списки, кортежи, словари, множества) содержащие элементы.
• Объекты, не являющиеся None
• Любой объект, для которого определен метод __bool__() или __len__() и который возвращает True или ненулевое значение соответственно.
• Ложь:
• Пустые строки ("")
• Число ноль (0, 0.0)
• Пустые коллекции (например, [], (), {}, set())
• None
• Объект, для которого определен метод __bool__(), возвращающий False, или метод __len__(), возвращающий 0.

Важно: Операторы and и or возвращают один из операндов, а не обязательно True или False. Оператор not всегда возвращает булево значение (True или False).

Примеры:

• "hello" and 1 вернет 1 (так как "hello" истинно, возвращается второй операнд)
• "" or 1 вернет 1 (так как "" ложно, возвращается второй операнд)
• 0 and "world" вернет 0 (так как 0 ложно, возвращается первый операнд)
• not "" вернет True
• not 1 вернет False

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