Чи є різниця між "foo is None" і "foo == None"?

Чи є різниця між:

if foo is None: pass

і

if foo == None: pass

Конвенція, яку я бачив у більшості кодів Python (і код, який я сам пишу), є першим, але я нещодавно натрапив на код, який використовує останній. Жоден екземпляр (і єдиний екземпляр, IIRC) NoneType, тому це не має значення, правда? Чи існують обставини, за яких це може бути?

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

Тоді як ==в кінцевому рахунку визначається __eq__()метод

тобто

>>> class Foo(object):
       def __eq__(self, other):
           return True

>>> f = Foo()
>>> f == None
True
>>> f is None
False

Ви можете прочитати ідентичність та еквівалентність цього об'єкта .

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

І вислів '==' відноситься до рівності (однакове значення).

Слово обережності:

if foo:
  # do something

Хіба НЕ точно так же , як:

if x is not None:
  # do something

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

(ob1 is ob2) дорівнює (id(ob1) == id(ob2))

Причина foo is None- кращий спосіб полягає в тому, що ви можете обробляти об'єкт, який визначає його власний __eq__, і визначає, що об'єкт дорівнює None. Отже, завжди використовуйте, foo is Noneякщо вам потрібно перевірити, чи є це інфакт None.

Різниці немає, тому що об'єкти, які однакові, будуть, звичайно, однаковими. Однак PEP 8 чітко стверджує, що ви повинні використовувати is:

Порівняння одинакових, як None, завжди слід проводити з операторами рівності, ні, ні, ні.

isтести на ідентичність, а не на рівність. Для вашого твердження foo is nonePython просто порівнює адресу пам'яті об'єктів. Це означає, що ви задаєте питання "Чи маю я два імені для одного об'єкта?"

==з іншого боку, тести на рівність, визначені __eq__()методом. Це не хвилює ідентичність.

In [102]: x, y, z = 2, 2, 2.0

In [103]: id(x), id(y), id(z)
Out[103]: (38641984, 38641984, 48420880)

In [104]: x is y
Out[104]: True

In [105]: x == y
Out[105]: True

In [106]: x is z
Out[106]: False

In [107]: x == z
Out[107]: True

Noneє одиночним оператором. Так None is Noneзавжди правда.

In [101]: None is None
Out[101]: True

Для None не повинно бути різниці між рівністю (==) та ідентичністю (є). Мабуть, NoneType повертає ідентичність для рівності. Оскільки None - єдиний екземпляр, який ви можете зробити з NoneType (я думаю, це правда), дві операції однакові. Що стосується інших типів, це не завжди так. Наприклад:

list1 = [1, 2, 3]
list2 = [1, 2, 3]
if list1==list2: print "Equal"
if list1 is list2: print "Same"

Це буде друкувати "Рівно", оскільки списки мають операцію порівняння, яка не є поверненням ідентичності за замовчуванням.

@ Джейсон :

Я рекомендую використовувати щось більше за принципом

if foo:
    #foo isn't None
else:
    #foo is None

Мені не подобається використовувати "if foo:", якщо foo справді не представляє булевого значення (тобто 0 або 1). Якщо foo - це рядок або об'єкт чи щось інше, "if foo:" може спрацювати, але це виглядає як лінивий ярлик для мене. Якщо ви перевіряєте, чи x є None, скажіть "if x is None:".

Ще кілька деталей:

1. Цей isпункт фактично перевіряє, чи є два objects в одному місці пам'яті чи ні. тобто вони вказують на одне місце пам’яті і чи однакові id.

2. Як наслідок 1, isгарантує, чи є, чи немає, два лексично представлені objects мають однакові атрибути (атрибути атрибутів ...) чи ні

3. Інстанцірованія примітивних типів , таких як bool, int, string(з деяким винятком), NoneTypeщо має те ж значення завжди буде в тому ж місці пам'яті.

Напр

>>> int(1) is int(1)
True
>>> str("abcd") is str("abcd")
True
>>> bool(1) is bool(2)
True
>>> bool(0) is bool(0)
True
>>> bool(0)
False
>>> bool(1)
True

А оскільки NoneTypeможе мати лише один екземпляр себе в таблиці "перегляду" python, тому перший і останній є більш стилем програмування розробника, який написав код (можливо, для послідовності), а не маючи будь-якої тонкої логічної причини для вибирайте один над іншим.

Висновок Джона Макіна, що Noneє одинаком, - це висновок, підкріплений цим кодом.

>>> x = None
>>> y = None
>>> x == y
True
>>> x is y
True
>>> 

Так Noneяк синглтон, x == Noneі x is Noneмав би той самий результат. Однак, на мою естетичну думку, x == Noneнайкраще.

a is b # returns true if they a and b are true alias
a == b # returns true if they are true alias or they have values that are deemed equivalence 


a = [1,3,4]
b = a[:] #creating copy of list
a is b # if gives false
False
a == b # gives true
True