Dove nei documenti python consente l'operatore `in` per essere incatenato?

Question

Recentemente ho scoperto che le seguenti dichiarazioni: True

'a' in 'ab' in 'abc' 

Sono a conoscenza del confronto pitone concatenamento come a < b < c, ma non riesco a vedere nulla nella documentazione su questo essere legale.

Si tratta di una funzione accidentale nell'implementazione di CPython o è specificato questo comportamento?

Answer 1

Questo è un comportamento completamente specificato, non una funzione accidentale. concatenamento operatore è definito nel Comparison operators section:

confronti possono essere concatenati arbitrariamente, ad esempio, x < y <= z è equivalente a x < y and y <= z, tranne che y viene valutata solo una volta (ma in entrambi i casi z non viene valutato affatto quando x < y è trovato essere falso).

in è uno degli operatori di confronto; dalla stessa sezione:

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

non sono previste eccezioni per le combinazioni che potrebbero non ha molto senso.

L'espressione specifica utilizzata come esempio viene quindi eseguita come 'a' in 'ab' and 'ab' in 'abc', con il valore letterale 'ab' solo eseguito (caricato) una volta.