Где в документах python разрешено приведение в действие оператора `in`?

Question

Недавно я обнаружил, что следующий возвращается True:

'a' in 'ab' in 'abc' 

Я знаю сравнение питона СЦЕПЛЕНИЯ, такие как a < b < c, но я не вижу ничего в документации об этом является законным.

Это случайная функция в реализации CPython, или это поведение указано?

Answer 1

Это полностью определенное поведение, а не случайная функция. Оператор цепочки определяется в Comparison operators section:

Сравнения могут быть соединены произвольно, например, x < y <= z эквивалентно x < y and y <= z, за исключением того, что y вычисляется только один раз (но в обоих случаях z не оцениваются на всех, когда x < y найден быть ложным).

in является одним из операторов сравнения; из того же раздела:

comp_operator ::= "<" | ">" | "==" | ">=" | "<=" | "<>" | "!=" 
        | "is" ["not"] | ["not"] "in" 

Никакие исключения не сделаны для комбинаций, которые могут не иметь большого смысла.

Конкретное выражение, которое вы использовали в качестве примера, таким образом исполняется как 'a' in 'ab' and 'ab' in 'abc', причем только один экземпляр 'ab' выполняется (загружается).