Perché `if` è molto più veloce se controllato prima di un'istruzione rispetto a una dichiarazione?

Question

Ecco un esempio di quello che voglio dire:

s = """ 
if x > 10: 
    x -= 10 
else: 
    x = 0 
""" 
import timeit 
print(timeit.timeit(s, setup="x=5", number=99999999)) 

Uscite circa 3 secondi sul mio computer, a prescindere dalla configurazione (x=5 vs x=15, nessuna differenza)

---

Se dovessi usare molto codice più corto, uno che prima diminuisce x -= 10 e quindi controlla se x < 0, otterrò risultati molto peggiori:

s = """ 
x -= 10 
if x < 0: 
    x = 0 
""" 
import timeit 
print(timeit.timeit(s, setup="x=5", number=99999999)) 

Emette circa 6 secondi, sempre indipendentemente dal fatto che il valore iniziale di x sia 5 o 15.

---

Capisco che sarebbe stato più lento quando x < 10 da quando avevamo prima chiamiamo x -= 10 e quindi impostare x = 0 invece di semplicemente impostando x una volta.

Il fatto è che il 99% delle volte il valore iniziale di x nel mio programma è impostato su un numero molto superiore a 10, quindi ho pensato di utilizzare la versione più breve poiché la maggior parte del tempo dovrei vedere nessuna differenza di prestazioni.

Tuttavia, c'è un'enorme differenza di prestazioni anche quando x > 10, perché questo?

Answer 1

Il tuo locale è sbagliato. setup viene eseguito una sola volta per l'intero timeit. Se è assicurarsi che x soggiorni superiori 10 poi i sintomi scompaiono:

differenza

>>> s1 = """ 
... if x > 10: 
...  x -= 10 
... else: 
...  x = 0 
... """ 
>>> s2 = """ 
... x -= 10 
... if x < 0: 
...  x = 0 
... """ 
>>> import timeit 
>>> print(timeit.timeit(s1, setup="x=1000000000", number=99999999)) 
8.934118068675566 
>>> print(timeit.timeit(s2, setup="x=1000000000", number=99999999)) 
8.744505329313448 

Answer 2

Aggiornamento: errore; lasciando come una registrazione di ciò che non ha causato il comportamento

sembra almeno un po 'probabile che questo è un artefatto del modo in cui il codice viene eseguito sotto timeit.timeit. Si potrebbe verificare questa temporizzazione da una singola esecuzione di codice come:

x = 5 
for i in xrange(99999999): 
    x -= 10 
    if x < 0: 
    x = 0 

per il secondo caso, e confrontando tale temporizzazione per un simile riscrittura della prima.