Comments / Profile of Veritaris / Habr

Георгий Имешкенов @Veritaris

User

Кандидат сбежал в слезах. Про накрутку опыта

Выкроив время, написал небольшой вывод чему же в таком случае равно исходное выражение – (55 == True) and (True is True) или же (55 == True) is True (или ещё чему-то – увидим далее)
Под chain comparison будем понимать выражение вида a OP1 b OP2 c (OP1 / OP2 - доступные в Python операторы сравнения <, <=, >, >=, ==, is)

>>> import dis
>>> dis.dis("55 == True is True")
  0           RESUME                   0
  1           LOAD_CONST               0 (55)
              LOAD_CONST               1 (True)
              SWAP                     2
              COPY                     2
              COMPARE_OP              72 (==)
              COPY                     1
              TO_BOOL
              POP_JUMP_IF_FALSE        4 (to L1)
              POP_TOP
              LOAD_CONST               1 (True)
              IS_OP                    0
              RETURN_VALUE
      L1:     SWAP                     2
              POP_TOP
              RETURN_VALUE

На этом можно было бы и закончить, т.к. ответ на вопрос "а как Python считает это выражение", уже дан, но рассмотрим байт-код подробнее
Поставляя разные значения вместе a, b и с в выражении a OP1 b OP2 c, а также OP1 и OP2, заметим что меняются только сами значения, которые грузятся на верхушку стека (LOAD_CONST), и опкоды операторов с их аргументами (IS_OP, COMPARE_OP и т.д.)
Просимулируем работы вышеприведённого байт-кода Python на самом же Python:

def vm_simulate() -> bool:
    stack = []
    stack.append(55)                                # LOAD_CONST               0 (55)
    stack.append(True)                              # LOAD_CONST               1 (True)
    stack[-2], stack[-1] = stack[-1], stack[-2]     # SWAP                     2
    stack.append(stack[-2])                         # COPY                     2
    op_right = stack.pop()
    op_left = stack.pop()
    stack.append(op_left == op_right)               # COMPARE_OP              72 (==)
    stack.append(stack[-1])                         # COPY
    stack[-1] = bool(stack[-1])                     # TO_BOOL

    if not (stack.pop()):                           # POP_JUMP_IF_FALSE        4 (to L1)
        stack[-2], stack[-1] = stack[-1], stack[-2] # SWAP                     2
        stack.pop()                                 # POP_TOP
        return stack[-1]                            # RETURN_VALUE

    stack.pop()                                     # POP_TOP
    stack.append(True)                              # LOAD_CONST               1 (True)
    op_right = stack.pop()
    op_left = stack.pop()
    stack.append(op_left is op_right)              # IS_OP                    0

    return stack[-1]                               # RETURN_VALUE

Небольшая ремарка про

op_right = stack.pop()
op_left = stack.pop()

аргументы на стеке идут в том же порядке, в котором они передаются в вызываемую функцию, поэтому достанем их заранее

Заметим что у нас есть ранний выход в случае когда часть выражения a OP1 b равна False
Затем отметим что путём SWAP и COPY у нас с самого начала на дне стека оказывается значение переменной "посередине" этого самого chain comparison – т.е. значение b
Теперь у нас на верхушку стека складывается значение c, причём перед этим в стеке остаётся лишь одно значение - b, поэтому вызывается OP2 между b и c

И таким образом, зная что в Python вычисление булевых выражений происходит лениво, то однозначным аналогом выражения a OP1 b OP2 c будет (a OP1 b) and (b OP2 c)

P.S. Для проверки использовался Python 3.13.5 (main, Jun 23 2025, 16:56:36) [Clang 16.0.0 (clang-1600.0.26.4)] on darwin