Эффективность Python и против нескольких ifs

Question

Есть ли разница в эффективности между использованием и в операторе if и использованием нескольких операторов if?Другими словами, это что-то вроде

if expr1 == expr2 and expr3==expr4:
  dostuff()

отличается от точки зрения эффективности тогда:

if expr1 == expr2:
  if expr3 == expr4:
    dostuff()

Мое базовое тестирование не обнаруживает различий, но делает кого-то с большими знаниями (илихотя бы более тщательное тестирование) есть окончательный ответ?

Answer 1

Этой разницы в производительности недостаточно, чтобы повлиять на ваше решение. ИМО, решение здесь должно приниматься исключительно с точки зрения читабельности. Первое, как правило, более стандартное, я думаю, но бывают ситуации, когда второе может быть более понятным. Выберите метод, который лучше всего подходит для ваших целей.

Answer 2

Любые различия в скорости между использованием and и вложенными ifs будут минимальными.Вы лаете не на то дерево.Рассмотрим это дерево:

if oftenTrueCondition and rarelyTrueCondition:

по сравнению с

if rarelyTrueCondition and oftenTrueCondition:

Итак, если только первое условие не должно быть оценено первым (это предохранитель, чтобы предотвратить следующее выражение от сбоя или глупых действий/ дорого), рассмотрите возможность замены порядка оценки.

Answer 3

Если вы сомневаетесь, вы можете проверить, из чего Python компилирует ваши операторы, используя dis module:

>>> import dis
>>> def test1():
...     if expr1 == expr2 and expr3==expr4:
...        dostuff()
... 
>>> def test2():
...     if expr1 == expr2:
...        if expr3 == expr4:
...           dostuff()
... 
>>> dis.dis(test1)
  2           0 LOAD_GLOBAL              0 (expr1)
              3 LOAD_GLOBAL              1 (expr2)
              6 COMPARE_OP               2 (==)
              9 JUMP_IF_FALSE           24 (to 36)
             12 POP_TOP             
             13 LOAD_GLOBAL              2 (expr3)
             16 LOAD_GLOBAL              3 (expr4)
             19 COMPARE_OP               2 (==)
             22 JUMP_IF_FALSE           11 (to 36)
             25 POP_TOP             

  3          26 LOAD_GLOBAL              4 (dostuff)
             29 CALL_FUNCTION            0
             32 POP_TOP             
             33 JUMP_FORWARD             1 (to 37)
        >>   36 POP_TOP             
        >>   37 LOAD_CONST               0 (None)
             40 RETURN_VALUE        
>>> dis.dis(test2)
  2           0 LOAD_GLOBAL              0 (expr1)
              3 LOAD_GLOBAL              1 (expr2)
              6 COMPARE_OP               2 (==)
              9 JUMP_IF_FALSE           28 (to 40)
             12 POP_TOP             

  3          13 LOAD_GLOBAL              2 (expr3)
             16 LOAD_GLOBAL              3 (expr4)
             19 COMPARE_OP               2 (==)
             22 JUMP_IF_FALSE           11 (to 36)
             25 POP_TOP             

  4          26 LOAD_GLOBAL              4 (dostuff)
             29 CALL_FUNCTION            0
             32 POP_TOP             
             33 JUMP_ABSOLUTE           41
        >>   36 POP_TOP             
             37 JUMP_FORWARD             1 (to 41)
        >>   40 POP_TOP             
        >>   41 LOAD_CONST               0 (None)
             44 RETURN_VALUE        

Итак, как вы можете видеть, на уровне байт-кода python оба оператора одинаковы - даже если вы используете одиночный оператор if в первом случае, он выполнит JUMP_IF_FALSE после первого сравнения.

Answer 4

В любом случае expr1 == expr2 оценивается как false в if, второе не будет оцениваться.

Answer 5

Первый (один if с and) быстрее: -)

Я опробовал его, используя timeit.Вот результаты:

Variant 1: 9.82836714316
Variant 2: 9.83886494559
Variant 1 (True): 9.66493159804
Variant 2 (True): 10.0392633241

Для двух последних первое сравнение равно True, поэтому второе пропускается.Интересные результаты.

---

import timeit


print "Variant 1: %s" % timeit.timeit("""
for i in xrange(1000):
    if i == 2*i and i == 3*i:
        pass
        """,
        number = 1000)

print "Variant 2: %s" % timeit.timeit("""
for i in xrange(1000):
    if i == 2*i:
        if i == 3*i:
            pass
        """,
        number = 1000)

print "Variant 1 (True): %s" % timeit.timeit("""
for i in xrange(1000):
    if i == i and i == 3*i:
        pass
        """,
        number = 1000)

print "Variant 2 (True): %s" % timeit.timeit("""
for i in xrange(1000):
    if i == i:
        if i == 3*i:
            pass
        """,
        number = 1000)