Почему в массиве одновременное добавление и удаление вызывает ошибку?

Question

[dollar]

local t = {a=1}

for k,v in pairs(t) do
  t[k] = nil
  t[1] = 2
end

Разве в спецификации сказано, что так делать нельзя?

Answer 1

[zed]

В документации к lua 5.1, в описании функции next сказано:

The behavior of next is undefined if, during the traversal, you assign any value to a non-existent field in the table. You may however modify existing fields. In particular, you may clear existing fields.

т.е. можно изменять или удалять существующие элементы, но нельзя добавлять новые.

В доках к lua 5.3 я такого замечания не нашёл (плохо искал?), но вообще, с практической точки зрения, добавление новых элементов в таблицу во время итерирования по ней, очень плохая идея.

Comments

[dollar]

В Lua 5.3.5 воспроизводится, проверено на www.lua.org/cgi-bin/demo

[dollar]

undefined behavior полностью устраивает, т.к. работа с таймерами предполагает постоянное итерирование. Если что-то пропущено, то в следующий тик сработает. Просто в самих обработчиках таймеров, они могут создаваться и уничтожаться очень часто, что и порождает такие вот ошибки.

Я пробовал различные вариации, но так и не понял, в чем прикол. Конкретно в этом примере достаточно поменять местами строки, и ошибка исчезнет.

[zed]

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