Как питон оптимизации условных списковых

Question

Я читал о List comprehension without [ ] in Python так что теперь я знаю, что

''.join([str(x) for x in mylist]) 

быстрее, чем

''.join(str(x) for x in mylist) 

, потому что «списочные оптимизированы»

Я предположим, что оптимизация основана на разборе выражения for, видит mylist, вычисляет его длину и использует его для предварительного выделения т. е. размер точного массива, что экономит много перераспределения.

При использовании ''.join(str(x) for x in mylist), join получает генератор вслепую и должен построить свой список, не зная размера заранее.

Но теперь подумайте:

mylist = [1,2,5,6,3,4,5] 
''.join([str(x) for x in mylist if x < 4]) 

Как питон решить размера списка понимания? Вычисляется ли он из размера mylist и сокращается, когда итерации выполняются (что может быть очень плохо, если список большой, а условие отфильтровывает 99% элементов), или оно возвращается обратно к «не знаю» размер заранее "случай?

EDIT: Я сделал несколько небольших тестов, и это, кажется, подтверждает, что есть оптимизация:

без условия:

import timeit 

print(timeit.timeit("''.join([str(x) for x in [1,5,6,3,5,23,334,23234]])")) 
print(timeit.timeit("''.join(str(x) for x in [1,5,6,3,5,23,334,23234])")) 

дает (как и ожидалось):

3.11010817019474 
3.3457350077491026 

с условием:

print(timeit.timeit("''.join([str(x) for x in [1,5,6,3,5,23,334,23234] if x < 50])")) 
print(timeit.timeit("''.join(str(x) for x in [1,5,6,3,5,23,334,23234] if x < 50)")) 

выходы:

2.7942209702566965 
3.0316467566203276 

так условно listcomp еще быстрее.

Answer 1

Составы списка не Предварительный размер списка, даже если они полностью могут. Вы предполагаете наличие оптимизации, которая на самом деле не выполняется.

Учет списка быстрее, потому что все машины итератора и работа входа и выхода из фрейма стека genexp имеют стоимость. Понимание списков не нужно оплачивать эту стоимость.