lua - 在嵌套循环中重用相同的未使用变量是否安全？

Question

在一些 Lua 脚本中(在一些 Redis 脚本中，如果重要的话)我们有这样的结构:

for _, user_id in ipairs(user_ids) do
    for _, product_id in ipairs(product_ids) do
        -- Do some things with user_id and product_id.
    end
end

两个循环中的索引都放在变量 _ 中，因为我们并不关心。

不过，我担心的是在嵌套循环中重用同一个变量(即使未使用)是否安全，或者是否会导致未定义的行为。安全吗？

Answer 1

手册says明确地，for 循环隐式地被包含循环控制变量作为局部变量的 do ... end block 包围。