能否在Lua表内部使用<const>语法实现字段常量化？

结论：Lua 5.4及后续版本中，没有类似<const>的简洁语法可以直接让表内部字段成为常量。

现有<const>语法的局限 #

Lua 5.4引入的<const>语法仅作用于变量本身，限制的是变量的重赋值操作，无法递归约束变量指向的表的内部字段。示例：

local x <const> = {
    a = {1,2,3},
    b = {5,6,7}
}

x = 5 -- 触发错误，变量x不可重赋值
x.a = 9 -- 无错误，表内字段不受<const>约束

错误的尝试写法 #

你尝试在表字段后添加<const>的写法属于语法错误，Lua解释器不支持这种语法：

local x <const> = {
    a <const> = {1,2,3}, -- 语法错误
    b <const> = {5,6,7}  -- 语法错误
}

替代实现方式 #

如果要让表内字段不可修改，只能通过元方法（__index和__newindex）实现，比如创建嵌套的只读表：

local function make_readonly(t)
    local proxy = {}
    local mt = {
        __index = t,
        __newindex = function(_, k, v)
            error("attempt to modify readonly table field: " .. tostring(k))
        end
    }
    setmetatable(proxy, mt)
    return proxy
end

local x <const> = make_readonly({
    a = make_readonly({1,2,3}),
    b = make_readonly({5,6,7})
})

x.a = 9 -- 触发错误

内容的提问来源于stack exchange，提问作者rbv