Luau中泛型字符串键的类型检查失效问题求助

问题场景 #

我尝试创建一个关联任意字符串键到CustomType对象的字典，原本用{[string]: CustomType}作为类型标注，但初始化时缺少必填字段的条目未触发类型错误：

--!strict
type CustomType = {
    a: string,
    b: string
}

local dictionary: {[string]: CustomType} = {
    keyOne = { a = 'hello' }, -- 未触发类型错误（缺少'b'字段）
    keyTwo = { a = 'hello', b = 'world'} -- 合法
}

但如果显式指定字典的键，类型检查就能正常识别错误：

--!strict
type CustomType = {
    a: string,
    b: string
}

local dictionary: {keyOne: CustomType, keyTwo: CustomType} = {
    keyOne = { a = 'hello' }, -- 正确触发类型错误
    keyTwo = { a = 'hello', b = 'world'} -- 合法
}

我想知道这一差异的原因，以及如何在不显式定义所有键的前提下，对泛型字符串键的字典强制执行严格类型检查。

原因分析 #

这是Luau类型检查器的设计逻辑，而非Roblox引擎的问题：

• 当使用泛型索引签名（如{[string]: CustomType}）时，类型检查器将这类字典视为可动态扩展的集合，初始化字面量只是初始数据，而非完整的固定结构。因此它允许赋值兼容的子类型表（哪怕缺少必填字段），因为后续可以动态补充字段。
• 当使用显式键的静态结构类型时，类型检查器认定这是固定不可变的结构，每个键对应的值必须完全匹配目标类型的定义，所以会严格校验每个条目。

根据Luau官方类型检查规则：泛型索引签名的字典设计用于动态键场景，而显式键的类型用于静态固定结构场景，两者的类型校验规则不同。

解决方法 #

要在泛型字符串键的字典中强制执行严格类型检查，可通过以下方式实现：

1. 给每个初始化条目显式标注类型 #

通过类型断言强制校验单个条目是否符合CustomType：

--!strict
type CustomType = {
    a: string,
    b: string
}

local dictionary: {[string]: CustomType} = {
    keyOne = ({ a = 'hello' } :: CustomType), -- 触发类型错误：缺少'b'字段
    keyTwo = { a = 'hello', b = 'world'} :: CustomType -- 合法
}

2. 创建类型安全的构造函数 #

通过函数封装对象创建逻辑，强制传入所有必填字段：

--!strict
type CustomType = {
    a: string,
    b: string
}

local function createCustomType(a: string, b: string): CustomType
    return {a = a, b = b}
end

local dictionary: {[string]: CustomType} = {
    keyOne = createCustomType('hello'), -- 触发类型错误：缺少参数'b'
    keyTwo = createCustomType('hello', 'world') -- 合法
}

3. 使用table.freeze辅助校验 #

在严格模式下，冻结表会让类型检查器更严格地校验结构完整性：

--!strict
type CustomType = {
    a: string,
    b: string
}

local dictionary: {[string]: CustomType} = table.freeze({
    keyOne = { a = 'hello' }, -- 触发类型错误：缺少'b'字段
    keyTwo = { a = 'hello', b = 'world'} -- 合法
})

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