Почему is работает не так, как ожидается?

Question

[Илья Андрюхин]

a = 'af'
b = 'a'
b += 'f'
print(a is b)
>>> False
a = 5
b = 2
b += 3
print(a is b)
>>> True

Почему и как это доказать? В интернете по этому поводу я не нашёл ответ. Ответ по типу: cмотри вот id(a), а вот id(b) не подойдут. Интересен сам алгоритм is.
Я, конечно, догадываюсь, что оно где-то на поверхности, но всё же, не даёт покоя, почему. Str не такой простой класс.

UPD. И вот ещё, что интересное.

a = 'af'
b = 'a' + 'f'

print(a is b)
>>> True

UPD2 И еще кое-что интересное.

a = 10.0
b = 7.0
b += 3.0
print(a is b)
>>> False

Значит проблема таится в int, или в обратную смотреть в str и float?

Comments

[Даниил Рыжов]

Почитайте, пока ваш вопрос не закрыли
Также откройте комментарии и обратите на функцию id()

[Elon Mask]

UPD2 И еще кое-что (не) интересное.

a = 10.0
b = 7.0
b += 3.0
print(a is b)
>>> False

кешировния float нету, и все числа - неизменяемый тип, для каждой float переменной будет свое место в памяти даже если инициализировать с одинаковым значением

Answer 1

[Elon Mask]

Ладно

a = 'af' Инициализируем ПЕРВУЮ переменную А = АФ  идентиф=1
b = 'a' Инициализируем ВТОРУЮ переменную Б= А     идентиф=2
b += 'f' Инициализируем ТРЕТЬЮ переменную Б = А + Ф  идентиф=3
# А все почему? Строка - НЕИЗМЕНЯЕМЫЙ ТИП
print(a is b)
>>> False
a = 5
b = 2
b += 3
# Тоже самое но, в питоне числа до 255 КЕШИРУЮТСЯ и 50 is 50 и 255 is 255
print(a is b)
>>> True

А тут,

a = 'af'       #Инициализируем ПЕРВУЮ (ОНА ИДЕТ В КЕШ) А = АФ
b = 'a' + 'f'  #Инициализируем ВТОРУЮ интерпретатор не тупой и Б = ТОЖЕ АФ (а так как аф есть в кеше Б получает ссылку на ту же память)

print(a is b)
>>> True

Где читать? Гугл-
Изменяемые неизменяемые типы,

Answer 2

[Saboteur]

Потому что is это сравнение на уровне "а тот ли это самый объект".
Понятно, что эти строки - разные объекты, поэтому сравнивать нужно через ==
a = 'af'
b = 'a'
b += 'f'
print (a is b)
>>> False
print (a == b)
>>> True

Иногда питон может экономить память и если видит что переменной задается тоже самое значение изначально, он использует уже существующий объект, что может вводить тебя иногда в заблуждение.
Но операция b += 'f' не может изменить объект b, поэтому тут создается новый, другой объект.