Коротко — потому что лямбда-замыкания захватывают имя, а не текущее значение; после цикла имя $i$ равно последнему значению цикла ($4$), поэтому все функции используют это значение и вызов `funcs[3](2)` даёт $4\cdot 2=8$.
Почему так происходит
- Выражение `lambda x: i*x` замыкает переменную `i` (ссылку на неё). Значение `i` вычисляется только при вызове лямбды, а не при её создании.
- При `range(5)` значения $0,1,2,3,4$; после завершения цикла `i == 4`, и все лямбды умножают на $4$.
Варианты исправления (обычные приёмы)
1) Привязать значение в аргументе по умолчанию:
```
funcs = [lambda x, i=i: i*x for i in range(5)]
```
Тогда `funcs[3](2)` вернёт $3\cdot 2=6$.
2) Использовать функцию-фабрику замыкания:
```
def make(i):
return lambda x: i*x
funcs = [make(i) for i in range(5)]
```
Результат: `funcs[3](2)` → $6$.
3) Использовать functools.partial или operator:
```
from functools import partial
import operator
funcs = [partial(operator.mul, i) for i in range(5)]
```
`funcs[3](2)` → $6$.
4) Немного более явное немедленное связывание через вложенный лямбда-вызов:
```
funcs = [(lambda i: (lambda x: i*x))(i) for i in range(5)]
```
Тоже вернёт $6$ для `funcs[3](2)`.
Поведение в разных версиях Python
- Семантика позднего связывания (замыкания захватывают имя) одинакова в Python 2 и Python 3, поэтому проблема с одинаковыми значениями в созданных функциях остаётся.
- Отличие: в Python 2 переменная цикла list comprehension «протекала» внаружу (после `[...]` имя `i` оставалось доступным и равно $4$); в Python 3 переменная цикла comprehension имеет локальную область и не просачивается в окружающий скоуп. Но это не решает саму проблему замыкания — лямбды всё равно увидят последнее значение цикла ($4$), если вы не зафиксируете значение при создании, как в вариантах выше.