Розуміння оператора Python "є"

isОператор не збігаються зі значеннями змінних, але самі екземпляри.

Що це насправді означає?

Я оголосив дві змінні імена xта yпризначив однакові значення обом змінним, але вона повертає помилкові, коли я використовую isоператор.

Мені потрібно уточнення. Ось мій код.

x = [1, 2, 3]
y = [1, 2, 3]

print(x is y)  # It prints false!

Ви неправильно зрозуміли, що isтестує оператор. Він перевіряє, чи дві змінні вказують на один об'єкт , а не якщо дві змінні мають одне значення.

З документації для isоператора :

Оператори isта is notтест на ідентичність об'єкта: x is yістинно, якщо і лише тоді, коли xі yє одним і тим же об'єктом.

Використовуйте ==оператор замість цього:

print(x == y)

Це відбитки True. xі yє двома окремими списками:

x[0] = 4
print(y)  # prints [1, 2, 3]
print(x == y)   # prints False

Якщо ви використовуєте цю id()функцію, ви побачите це xі yмаєте різні ідентифікатори:

>>> id(x)
4401064560
>>> id(y)
4401098192

але якщо ви повинні були призначити yна xте обидві точки до того ж об'єкту:

>>> x = y
>>> id(x)
4401064560
>>> id(y)
4401064560
>>> x is y
True

і isпоказує, що обидва є одним і тим же об'єктом, він повертається True.

Пам'ятайте, що в Python імена є лише мітками, що посилаються на значення ; ви можете мати кілька імен, що вказують на один і той же об’єкт. isповідомляє, якщо два імені вказують на один і той самий об’єкт. ==повідомляє, якщо два імені стосуються об'єктів, які мають однакове значення.

Інший дублікат запитував, чому два рівних рядки взагалі не однакові, на що насправді тут не відповіли:

>>> x = 'a' 
>>> x += 'bc'
>>> y = 'abc'
>>> x == y
True
>>> x is y
False

Отже, чому вони не є однією строкою? Особливо враховуючи це:

>>> z = 'abc'
>>> w = 'abc'
>>> z is w
True

Давайте трохи відкладемо другу частину. Як перша може бути правдою?

Інтерпретатор повинен мати "таблицю інтернування", таблицю зіставленням рядкових значень для рядкових об'єктів, тому кожен раз, коли ви намагаєтесь створити нову рядок із вмістом 'abc', ви отримуєте назад той самий об'єкт. У Вікіпедії є більш детальне обговорення того, як працює стажування.

І у Python є стіл для інтернування; ви можете вручну інтернувати рядки sys.internметодом.

Насправді Python дозволено автоматично стажувати будь-які незмінні типи, але цього не вимагає . У різних реалізаціях будуть інтернуватися різні значення.

CPython (реалізація, яку ви використовуєте, якщо ви не знаєте, яку саме програму ви використовуєте) автоматично інтернірує невеликі цілі числа та деякі спеціальні сингтони, такі як False, але не рядки (або великі цілі числа, або маленькі кортежі, або щось інше). Ви можете це легко побачити:

>>> a = 0
>>> a += 1
>>> b = 1
>>> a is b
True
>>> a = False
>>> a = not a
>>> b = True
a is b
True
>>> a = 1000
>>> a += 1
>>> b = 1001
>>> a is b
False

Гаразд, але чому були zі wоднакові?

Це не інтерпретатор, який автоматично стажується, це значення компілятора.

Якщо ж у час компіляції рядок з'являється двічі в одному модулі (що саме це означає, важко визначити, що це не те ж саме , як строковий літерал, тому що r'abc', 'abc'і 'a' 'b' 'c'всі різні літерали , але та ж рядок, але легко зрозуміти , інтуїтивно) компілятор створить лише один екземпляр рядка з двома посиланнями.

Насправді компілятор може піти ще далі: 'ab' + 'c'може бути перетворений 'abc'оптимізатором, і в цьому випадку він може бути складений разом із 'abc'константою в одному модулі.

Знову ж таки, це Python дозволено, але цього не потрібно робити. Але в цьому випадку CPython завжди складається з невеликих рядків (а також, наприклад, маленьких кортежів). .

Отже, що ви повинні зробити з цим як програміст?

Ну ... нічого. Ви майже ніколи не маєте підстав піклуватися про те, чи є дві незмінні значення однакові. Якщо ви хочете знати, коли ви можете використовувати a is bзамість цього a == b, ви задаєте неправильне запитання. Просто завжди використовуйте, a == bза винятком двох випадків:

• Для більш зрозумілого порівняння значень одиночного типу x is None.
• Щодо змінних значень, коли вам потрібно знати, чи xвплине мутація на y.

isповертає істину лише у тому випадку, якщо вони насправді однакові. Якби вони були однакові, зміна в одній з’явилася б і в іншій. Ось приклад різниці.

>>> x = [1, 2, 3]
>>> y = [1, 2, 3]
>>> print x is y
False
>>> z = y
>>> print y is z
True
>>> print x is z
False
>>> y[0] = 5
>>> print z
[5, 2, 3]

Ця аналогія може запропонувати повторити запитання :

# - Darling, I want some pudding!
# - There is some in the fridge.

pudding_to_eat = fridge_pudding
pudding_to_eat is fridge_pudding
# => True

# - Honey, what's with all the dirty dishes?
# - I wanted to eat pudding so I made some. Sorry about the mess, Darling.
# - But there was already some in the fridge.

pudding_to_eat = make_pudding(ingredients)
pudding_to_eat is fridge_pudding
# => False

isі is notє двома операторами ідентичності в Python. isОператор не порівнює значення змінних, але порівнює ідентичності змінних. Врахуйте це:

>>> a = [1,2,3]
>>> b = [1,2,3]
>>> hex(id(a))
'0x1079b1440'
>>> hex(id(b))
'0x107960878'
>>> a is b
False
>>> a == b
True
>>>

Наведений вище приклад показує, що ідентичність (може також бути адресою пам'яті в Cpython) різна для обох aі b(хоча їх значення однакові). Ось чому, коли ви говорите, a is bвін повертає хибність через невідповідність тотожностей обох операндів. Однак, коли ви говорите a == b, він повертає істину, оскільки ==операція перевіряє, чи мають обоє операнди однакове значення, призначене їм.

Цікавий приклад (для додаткового класу):

>>> del a
>>> del b
>>> a = 132
>>> b = 132
>>> hex(id(a))
'0x7faa2b609738'
>>> hex(id(b))
'0x7faa2b609738'
>>> a is b
True
>>> a == b
True
>>>

У наведеному вище прикладі, хоча aі bє двома різними змінними, a is bповернулися True. Це пояснюється тим, що тип об'єкта aє intнезмінним об'єктом. Тож python (я думаю, щоб зберегти пам'ять) виділив той самий об’єкт, bколи він був створений з тим же значенням. Тож у цьому випадку тотожність змінних збігалася і a is bвиявилася такою True.

Це стосується всіх незмінних об'єктів:

>>> del a
>>> del b
>>> a = "asd"
>>> b = "asd"
>>> hex(id(a))
'0x1079b05a8'
>>> hex(id(b))
'0x1079b05a8'
>>> a is b
True
>>> a == b
True
>>>

Сподіваюся, що це допомагає.

x is yте саме, що id(x) == id(y), порівнюючи ідентичність предметів.

Як зазначає @ tomasz-kurgan у коментарі нижче, isоператор поводиться незвично з певними об'єктами.

Напр

>>> class A(object):
...   def foo(self):
...     pass
... 
>>> a = A()
>>> a.foo is a.foo
False
>>> id(a.foo) == id(a.foo)
True

Реф;
https://docs.python.org/2/reference/expressions.html#is-not
https://docs.python.org/2/reference/expressions.html#id24

Як ви можете перевірити тут на малі цілі числа. Числа понад 257 - це не малі точки, тому він обчислюється як інший об'єкт.

Краще використовувати ==в цьому випадку замість цього.

Додаткову інформацію можна знайти тут: http://docs.python.org/2/c-api/int.html

X вказує на масив, Y вказує на інший масив. Ці масиви ідентичні, але isоператор буде дивитись на ті покажчики, які не є ідентичними.

Він порівнює ідентичність об'єкта, тобто чи змінні посилаються на один і той же об'єкт у пам'яті. Це як ==у Java або C (при порівнянні покажчиків).

Простий приклад з фруктами

fruitlist = [" apple ", " banana ", " cherry ", " durian "]
newfruitlist = fruitlist
verynewfruitlist = fruitlist [:]
print ( fruitlist is newfruitlist )
print ( fruitlist is verynewfruitlist )
print ( newfruitlist is verynewfruitlist )

Вихід:

True
False
False

Якщо ви спробуєте

fruitlist = [" apple ", " banana ", " cherry ", " durian "]
newfruitlist = fruitlist
verynewfruitlist = fruitlist [:]
print ( fruitlist == newfruitlist )
print ( fruitlist == verynewfruitlist )
print ( newfruitlist == verynewfruitlist )

Вихід різний:

True
True
True

Це тому, що оператор == порівнює лише вміст змінної. Для порівняння тотожності 2 змінного використання є оператором

Щоб надрукувати ідентифікаційний номер:

print ( id( variable ) )

isОператор не що інше, як версія англійську мову ==. Оскільки ідентифікатори двох списків різні, то відповідь хибна. Ви можете спробувати:

a=[1,2,3]
b=a
print(b is a )#True

* Оскільки ідентифікатори обох списків були б однаковими