VZ
немного не понял
Size: a a a
2019 June 28
AG
чтобы таблица могла полностью контролировать свое поведение через метаметоды
AG
(сорри, у меня сегодня утром совсем плохо с формулировками)
VZ
точнее, не всегда успевают за этим следить, потому что в 5.3 сделано много в этом направлении
другое дело, это несколько входит в конфликт с целью "простота и минимализм". с существующими метаметодами уже можно дичайше извращаться
другое дело, это несколько входит в конфликт с целью "простота и минимализм". с существующими метаметодами уже можно дичайше извращаться
OA
local tbl = setmetatable({}, {
__index = function(t, k)
return 0
end,
__len = function(t)
return 10
end,
})
print('loop to length...')
for k = 1, #tbl do
print(k, tbl[k])
end
print('ipairs loop ')
for k, v in ipairs(tbl) do
-- endless loop here ....
print(k, v)
end
__index = function(t, k)
return 0
end,
__len = function(t)
return 10
end,
})
print('loop to length...')
for k = 1, #tbl do
print(k, tbl[k])
end
print('ipairs loop ')
for k, v in ipairs(tbl) do
-- endless loop here ....
print(k, v)
end
А разве это не логично?
__index не возвращает nil ни по какому ключу, значит, контейнер бесконечный, и цикл тожеVZ
контейнер имеет явно заданную длину. первый цикл в примере не бесконечный.
VZ
казалось бы, можно явно учесть __len в итераторе ipairsaux
AG
говорит ли что-то про длину определение ipairs?
AG
емнипс, оно говорит "до первой дырки"
AG
то есть семантика другая (еще один повод для запрета)
VZ
вообщем, если следовать букве мануала 5.3, то таблица бесконечная (нет ни одной border)
VZ
п. 3.4.7
VZ
емнипс, оно говорит "до первой дырки"
да, действительно
VZ
"up to the first nil value". Тогда это не бага, а "зачем так делать было".
AG
VZ
т.е. неявно(!) предполагается инвариант , что длина таблицы -- это по ее первый nil. что нарушается, если мы зададим метаметод __len. Вот засада-то.
AG
AG
неявно предполагается, что ipairs — это не численный for
VZ
да, не длина, а число итераций.
AG
похоже на утку, а на самом деле — утконос