Typechecking不适用于Luau中的通用字符串键？

Question

我正在尝试创建一个字典数据结构，其中包含几个可以与任何字符串键相关联的CustomType对象。

我想我可以用{[string]: CustomType}作为我的字典类型，如下所示：

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

local dictionary: {[string]: CustomType} = {
    keyOne = { a = 'hello' }, -- should display type error ('b' field missing)
    keyTwo = { a = 'hello', b = 'world'} -- should be fine
}

但是，在上面的代码片段中，即使b字段在keyOne中丢失，代码编辑器中也没有显示类型错误。但是，如果我在字典类型定义中显式地定义了键，那么它就会像预期的那样工作：

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

local dictionary: {keyOne: CustomType, keyTwo: CustomType} = {
    keyOne = { a = 'hello' }, -- displays type error
    keyTwo = { a = 'hello', b = 'world'} -- is fine
}

为什么会这样？，我想对所有的泛型字符串键强制严格的排字，而不需要在字典类型定义中显式地定义它们。，我是不是走错了路？这是否是ROBLOX问题(因为我是在ROBLOX引擎中实现这个问题)？

任何帮助都将不胜感激。

资料来源/有关Luau打字机的信息：https://luau-lang.org/typecheck

Answer 1

不幸的是，在当前的Luau (截至2022年9月撰写本文的0.545)中，一旦您的类型中有了索引器([string])，类型上的其余键将不会按照您预期的方式检查。

与显式方法调用相比，使用索引器无疑是一个很好的人类工效学改进，但是除了类型系统在这些情况下不能提供您想要的安全性之外，有时它可能比显式方法调用方法慢。

当在表上重写__index、__newindex和/或__call以获得更好的人机工程学时，请确保您不会在不知情的情况下选择退出类型安全性，或者在Luau应用程序的热路径中增加运行时开销。