Почему string не равно true?

Question

[Untiwe]

Непустая строка в python является True, но ее сравнение c булевым значением дает False:

print("Hello world" == True)
# False

Тут неявно строка приводится к типу bool и становится True , получается True == True, но в ответе почему-то False.

Comments

[Sand]

Тут не явно строка проводится к типу bool и становится True

На каком основании сделано это утверждение?

[be52]

почему строка в типу бул а не бул к типу строка?

Answer 1

[Сергей Горностаев]

Не пустая строка в python является True

Неа. Непустая строка истинна в логическом контексте, но это не значит, что она равна True.

Comments

[Untiwe]

Если питон не приводит переменные к какому то общему типу, как он вообще их сравнивает? разве в этом случае не должна быть ошибка? к примеру "ошибка сравнения не сопоставимых типов"

[Сергей Горностаев]

Untiwe, так и сравнивает, что разные типы друг другу просто не равны.

[Untiwe]

И не каких приведений типов "под капотом"? Тогда понятно, спасибо)

Answer 2

[soremix]

Тут не явно строка проводится к типу bool

Не приводится. Строка - это строка. Иначе условие 'a' == 'b' тоже выполнялось бы, и то и это ведь True.

Наверное, путаете с if 'Hello world':, в этом случае происходит что-то вроде if bool('Hello world'): -> if True:

Comments

[Untiwe]

Можно сравнить кошку с кошкой, но нельзя сравнить кошку со слоном. Надо или делать из кошки слона или, и кошу и слона приводить к классу животное.
Так и в питоне, строку со строкой сравнить можно, но если попытаться сравнить строку с булево, то строка приведется к булево, а уж потом будет сравнение.
У меня такая логика, но она явно не правильная, только я не знаю в каком именно месте.

[soremix]

Untiwe,

если попытаться сравнить строку с булево, то строка приведется к булево, а уж потом будет сравнение

Не приводит типы к одному

[Untiwe]

soremix, про это я и говорю. Но мне уже объяснили, что питон так просто не делает)