Кортеж строк «есть» сравнение ведет себя непоследовательно

Question

Я смущен.

foo = ("empty", 0) 
foo[0] is "empty" 

Возврат Неверно. Кажется, что это проблема с ключевыми строками, так как «список» также терпит неудачу. «empt» и другие строки верны. Кажется, что это происходит только с кортежами, как если бы foo был списком, код также возвращает true

Я тестировал это с помощью python 3.4.3 и python 3.5, и оба ведут себя таким образом, python2.7 не кажется эта проблема хотя и возвращает true, как ожидалось.

Я пропустил какой-то стандарт на кортежах в python3? Я попытался решить эту проблему google-foo, но я не понимаю.

Edit: Чтобы очистить вещи, мой точный вопрос, почему же

foo = ("empty", 0) 
foo[0] is "empty" 

возвращение Ложные, но

foo = ("empt", 0) 
foo[0] is "empt" 

возвращение Правда?

Answer 1

Как другие ответы уже упоминалось: Вы сравниваете строки идентичностью, и это, вероятно, не в состоянии. Предположения об идентичности строковых литералов не могут быть сделаны.

Однако на самом деле вы нашли тонкий вопрос.

>>> t = ("list",); t[0] is "list" 
False 
>>> t = ("notlist",); t[0] is "notlist" 
True 
>>> t = ("list",) 
>>> id(t[0]) 
140386135830064 
>>> id("list") 
140386137208400 
>>> t[0] is "list" 
False 
>>> l = ("notlist",) 
>>> id(l[0]) 
140386135830456 
>>> id("notlist") 
140386135830456 
>>> l[0] is "notlist" 
True 
# interestingly, this works: 
>>> ("list",)[0] is "list" 
True 

(Испытано с Python 3.5.1+ интерактивной оболочки)

Это явно зависит от реализации поведение какого-либо компонента питона, предположительно лексером или синтаксического анализа.

Нижняя строка: используйте сравнение ==, если вы не зависите от идентификации объекта.

Answer 2

a is b 

Равно

id(a) == id(b) 

Как уже упоминалось здесь Comparing strings прочитать Также этот Built-in Functions - id

Answer 3

Использование буквального значения с is почти наверняка даст вам результат, зависящий от реализации. Единственный литерал, который Python гарантирует, что он синглтон, - None. Любой другой литерал может или не может ссылаться на ссылку на существующий объект. Вы не можете предположить, что интерпретатор «распознает» дублирующее значение и использует один и тот же базовый объект для его представления.