如何创建包含需要引用的key的Luau类型？

Question

我希望能够创建一个字段中包含无效字符的类型。有了一张桌子，我可以这样做：

local Element = {
  ["$$typeof"] = 31337,
}

对于Roblox类型，我不能这样做：

type Element = {
  ["$$typeof"]: number,
}

如何才能在不使用any情况下强输入元素表中的字段

Answer 1

您可以通过使用typeof运算符和--!strict杂注来完成此操作：

Element.lua

--!strict

local Element = {
  ["$$typeof"] = 0,
  render = function(x, y) end :: (x: number, y: string?): ()
}
export type Element = typeof(Element)

请注意：

1. 导出此类型的文件必须处于严格模式，以便typeof的返回能够保留高保真类型。
2. 需要Element.lua的源文件不必启用严格模式，但尽可能在严格模式下操作仍然是一个好主意。
3. 您可能不必使用类型检查语法(::)，具体取决于您的表赋值。