Оператор is ведет себя по-разному при сравнении строк с пробелами.

Внимание! Этот ответ касается деталей реализации конкретного интерпретатора Python. сравнение строк с is==плохой идеей.

Ну, по крайней мере, для cpython3.4/2.7.3 ответ "нет, это не пробел". Не только пробел:

• Два строковых литерала будут совместно использовать память, если они либо буквенно-цифровые, либо находятся в одном и том же блоке (файле, функции, классе или одной команде интерпретатора).

• Выражение, результатом которого является строка, приведет к созданию объекта, идентичного объекту, созданному с использованием строкового литерала, тогда и только тогда, когда он создан с использованием констант и бинарных/унарных операторов, а результирующая строка короче 21 символа.

• Отдельные символы уникальны.

Примеры

Буквенно-цифровые строковые литералы всегда совместно используют память:

>>> x='aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'
>>> y='aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'
>>> x is y
True

Строковые литералы, не являющиеся буквенно-цифровыми, совместно используют память тогда и только тогда, когда они совместно используют окружающий синтаксический блок:

(устный переводчик)

>>> x='`!@#$%^&*() \][=-. >:"?<a'; y='`!@#$%^&*() \][=-. >:"?<a';
>>> z='`!@#$%^&*() \][=-. >:"?<a';
>>> x is y
True 
>>> x is z
False 

(файл)

x='`!@#$%^&*() \][=-. >:"?<a';
y='`!@#$%^&*() \][=-. >:"?<a';
z=(lambda : '`!@#$%^&*() \][=-. >:"?<a')()
print(x is y)
print(x is z)

Выход: True и False

Для простых бинарных операций компилятор выполняет очень простое распространение констант (см. peephole.c). ), но со строками это происходит только в том случае, если результирующая строка короче 21 символа. В этом случае действуют упомянутые ранее правила:

>>> 'a'*10+'a'*10 is 'a'*20
True
>>> 'a'*21 is 'a'*21
False
>>> 'aaaaaaaaaaaaaaaaaaaaa' is 'aaaaaaaa' + 'aaaaaaaaaaaaa'
False
>>> t=2; 'a'*t is 'aa'
False
>>> 'a'.__add__('a') is 'aa'
False
>>> x='a' ; x+='a'; x is 'aa'
False

Конечно, отдельные символы всегда разделяют память:

>>> chr(0x20) is ' '
True

Чтобы немного расширить ответ Игнасио: оператор is является оператором идентификации. Он используется для сравнения идентичности объекта. Если вы создаете два объекта с одинаковым содержимым, то, как правило, идентичность объекта не дает истинного значения. Это работает для некоторых небольших строк, поскольку CPython, эталонная реализация Python, хранит содержимое отдельно, заставляя все эти объекты ссылаться на одно и то же строковое содержимое. Таким образом, оператор is возвращает true для них.

Однако это деталь реализации CPython и, как правило, не гарантируется ни для CPython, ни для какой-либо другой реализации. Так что использовать этот факт — плохая идея, так как он может сломаться в любой другой день.

Для сравнения строк используется оператор ==, который сравнивает равенство объектов. Два строковых объекта считаются равными, если они содержат одинаковые символы. Таким образом, это правильный оператор для использования при сравнении строк, и is обычно следует избегать, если вы не хотите явно указывать идентификацию объекта (пример: a is False).

Если вас действительно интересуют подробности, вы можете найти реализацию строк CPython здесь. Но опять же: это детали реализации, поэтому вы не должны никогда требовать, чтобы это работало.

Оператор is опирается на функцию id, которая является guaranteed to be unique among simultaneously existing objects.. В частности, id возвращает адрес памяти объекта. Кажется, что CPython имеет согласованные адреса памяти для строк, содержащих только символы a-z и A-Z.

Однако это, по-видимому, только в том случае, когда строка была присвоена переменной:

Здесь идентификатор «foo» и идентификатор a совпадают. a было установлено значение "foo" перед проверкой идентификатора.

>>> a = "foo"
>>> id(a)
4322269384
>>> id("foo")
4322269384

Однако идентификатор «бара» и идентификатор a различаются при проверке идентификатора «бара» до установки a равным «бару».

>>> id("bar")
4322269224
>>> a = "bar"
>>> id(a)
4322268984

Повторная проверка идентификатора "bar" после установки a равным "bar" возвращает тот же идентификатор.

>>> id("bar")
4322268984

Таким образом, кажется, что cPython поддерживает согласованные адреса памяти для строк, содержащих только a-zA-Z, когда эти строки присваиваются переменной. Также вполне возможно, что это зависит от версии: я использую python 2.7.3 на macbook. Другие могут получить совершенно другие результаты.

Фактически ваш код сводится к сравнению идентификаторов объектов (т.е. их физического адреса). Итак, вместо вашего сравнения:

>>> b = 'is it the space?'
>>> a = 'is it the space?'
>>> a is b
False

Ты можешь сделать:

>>> id(a) == id(b)
False

Но обратите внимание, что если бы a и b были непосредственно в сравнении, это сработало бы.

>>> id('is it the space?') == id('is it the space?')
True

На самом деле в выражении есть разделение между одними и теми же статическими строками. Но в масштабе программы есть только совместное использование словесных строк (так что ни пробелов, ни знаков препинания).

Вы не должны полагаться на это поведение, так как оно нигде не задокументировано и является деталью реализации.

Оператор 'is' сравнивает фактический объект.

c is d также должно быть ложным. Я предполагаю, что python выполняет некоторую оптимизацию, и в этом случае это тот же объект.