Почему `a <b <c` работает в Python?

Question

В названии говорится все. Например, 1<2<3 возвращает True и 2<3<1 возвращает False.

Замечательно, что он работает, но я не могу объяснить , почему он работает ... Я не могу найти что-либо об этом в документации. Это всегда: expression boolean_operator expression, а не два булевых оператора). Также: a<b возвращает логическое значение, а boolean boolean_operator expression не объясняет поведение.

Я уверен, что объяснение (почти) очевидно, но я, кажется, пропустил его.

Answer 1

Это известно как цепочка оператора. Документация доступна по адресу:

https://docs.python.org/2/reference/expressions.html#not-in

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

И, если вы действительно любите формальных определений:

Формально, если a, b, c, ..., y, z являются выражениями и op1, op2 ..., opN являются сравнения, то a op1 b op2 c ... y opN z эквивалентен a op1 b and b op2 c and ... y opN z, за исключением того, что каждое выражение оценивается не более одного раза.

Answer 2

Ваши многочисленные операторы имеют одинаковый приоритет, поэтому теперь он будет работать через них последовательно. 1<2<3 идет к 1<2, который является Т, то есть 2<3 Т. 2<3<1 состоит из двух частей, 2<3 Т, но 3<1 является F, так что все выражение имеет значение F.

Answer 3

Сравнить операторы могут быть прикован, в соответствии с ссылкой языка

https://docs.python.org/2/reference/expressions.html#not-in