Как работает добавление элемента в список, если его длина уже достигла максимальной вместимости, в Python?

В Python списки реализованы как динамические массивы. Когда добавляется элемент методом append(), и текущий массив достиг своей вместимости, происходит выделение нового блока памяти большего размера, обычно с запасом, чтобы уменьшить количество перераспределений. Затем все элементы копируются в новый блок, и новый элемент добавляется. Это позволяет эффективно добавлять элементы, обеспечивая амортизированную константную сложность операции.

Пример:

lst = [1, 2, 3]
lst.append(4)  # Если текущий массив заполнен, выделяется новый с большим размером

Таким образом, пользователь не замечает перераспределения, и список растёт динамически.