如何以类型安全方式定义常量键列表并派生Pick接口？

有一个来自第三方库的不可修改接口：

interface Fruit {
    name?: string;
    id?: number;
    weight?: number;
}

需要实现两个核心目标：

• 定义一个类型安全的该接口键的子集列表（必须能在代码中实际使用，不能直接写在Pick的参数里）
• 基于这个列表生成仅包含对应成员的新类型，成员类型与原接口完全一致

现有方案的问题 #

之前尝试的两种方式都无法同时满足需求：

1. 直接使用as const：生成的类型准确，但列表无类型校验，写错键名不会触发报错

const fieldsToIsolate = ["id", "weight"] as const;
type IsolatedFruit = Pick<Fruit, typeof fieldsToIsolate[number]>;
// 类型正确，但误写为["id", "wrongKey"]时无报错提示

2. 用Array<keyof Fruit>约束列表：类型安全，但生成的新类型会包含原接口所有成员，失去子集意义

const fieldsToIsolate: Array<keyof Fruit> = ["id", "weight"];
type IsolatedFruit = Pick<Fruit, typeof fieldsToIsolate[number]>;
// 结果为Fruit的全部成员，而非预期的子集

尝试同时添加as const和类型约束会触发报错，因为readonly数组无法赋值给mutable数组类型。

可行解决方案 #

方案1：TypeScript 4.9+ 用satisfies操作符（推荐）

satisfies操作符可以在保留字面量类型的同时，校验值是否符合指定类型，完美解决矛盾：

const fieldsToIsolate = ["id", "weight"] as const satisfies ReadonlyArray<keyof Fruit>;

type IsolatedFruit = Pick<Fruit, typeof fieldsToIsolate[number]>;
// 最终类型：{ id?: number; weight?: number; }
// 若列表中出现非Fruit的键（如["id", "wrongKey"]），会直接触发类型报错

方案2：兼容低版本TS的泛型函数方式

如果项目使用的TS版本低于4.9，可以通过泛型函数实现类型约束与字面量类型保留：

function createSafeFieldList<T extends readonly (keyof Fruit)[]>(fields: T) {
  return fields;
}

const fieldsToIsolate = createSafeFieldList(["id", "weight"] as const);
type IsolatedFruit = Pick<Fruit, typeof fieldsToIsolate[number]>;
// 同样实现类型安全+准确的子集类型

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