TypeScript匿名对象默认导出时如何保证数组仅含数字的类型校验生效

• 两种写法的本质区别是类型注解和类型断言的差异：
  1. 命名导出时的: numberRecords是类型注解，要求TS严格校验赋值内容是否完全匹配类型定义，只要存在不匹配的结构就会抛出错误，因此你传入包含字符串的数组时会正常触发报错。
  2. 默认导出时的<numberRecords>是TypeScript的尖括号语法类型断言，作用是让你主动覆盖TS的类型推断，告诉编译器「我确认这个值符合该类型，不需要做完整校验」。此时TS只会判断两种类型是否存在重叠（显然普通对象和numberRecords类型是存在重叠可能的），因此不会触发校验，直接放行你的错误结构。

你想要的匿名默认导出写法完全可行，不需要使用类型断言，推荐用TS 4.9+支持的satisfies运算符实现，既可以做完整的类型校验，又不用额外定义中间变量：

export default {
    a: ["a", 2]
} satisfies numberRecords;

上述写法会正常触发和命名导出完全一致的类型校验，错误结构会正常抛出提示。

如果你的TS版本低于4.9，不支持satisfies，可以用中间变量的写法实现：

const exportContent: numberRecords = {
    a: ["a", 2]
};
export default exportContent;

注意：不要在需要类型校验的场景下随意使用类型断言（包括尖括号语法和as语法），断言只会跳过正常校验，只有当你明确知道值的类型比TS推断的更精准时再使用。

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