TypeScript技术问询：如何创建仅允许使用指定数组内可选键的Rate类型

看起来你已经摸到门道啦！问题的核心在于如何复用导入的ROUTES数组，同时让TypeScript识别出它的具体元素字面量，还要满足「允许一个或多个指定键、禁止额外键、无需强制所有键都存在」的要求。

为什么你的现有方案不生效？ #

• 方案一：你导出的ROUTES是Array<string>类型，TypeScript只能推断出它的元素是泛泛的string，没法识别出"USD"、"EUR"、"PLN"这些具体字面量。所以typeof ROUTES[number]的结果是string，映射出来的类型会允许任何字符串键，完全起不到约束作用。
• 方案二：allowedKeys2用as const断言后，TypeScript能识别出具体的字面量元素，所以键约束是有效的，但{ [K in ...]: number }会生成所有键必填的类型，不符合你「可选部分键」的需求，而且也没复用导入的ROUTES。

正确解决方案 #

我们分两步实现你想要的效果：

1. 将导入的ROUTES转换为只读字面量数组类型，让TypeScript能精准识别允许的键；
2. 创建一个「可选键 + 至少一个键存在 + 禁止额外键」的复合类型。

代码实现

// 导入常量并断言为只读字面量数组
import { ROUTES } from "../constants";
const allowedKeys = ROUTES as const;

// 定义Rate类型
type Rate = Exclude<
  Partial<Record<typeof allowedKeys[number], number>>,
  {}
> & Record<string, never>;

代码细节解释 #

• ROUTES as const：把原本的Array<string>断言为readonly ["USD", "EUR", "PLN"]，这样typeof allowedKeys[number]就会得到精确的联合类型"USD" | "EUR" | "PLN"；
• Partial<Record<...>>：将所有允许的键设为可选，支持只选其中一部分；
• Exclude<..., {}>：排除空对象的情况，确保类型至少包含一个有效键；
• & Record<string, never>：禁止添加任何不在允许列表中的键——额外键的类型被设为never，赋值时会直接触发报错。

验证效果 #

// ✅ 符合要求：包含部分允许的键
const validRate: Rate = {
  USD: 1,
  EUR: 12
};

// ❌ 报错：包含禁止的键BTC
const invalidRate1: Rate = {
  USD: 1,
  PLN: 2,
  BTC: 2222
};

// ❌ 报错：空对象（没有任何键）
const invalidRate2: Rate = {};

// ✅ 符合要求：包含所有允许的键
const validRateFull: Rate = {
  USD: 1,
  EUR: 12,
  PLN: 2
};

额外优化：修改ROUTES的导出方式（如果有权限） #

如果你能修改constants.ts，直接在导出时用as const断言，后续导入后就不用再处理了：

// constants.ts
export const ROUTES = ["USD", "EUR", "PLN"] as const;

之后在其他文件导入时，typeof ROUTES[number]直接就是"USD" | "EUR" | "PLN"，无需额外断言。

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