如何用TypeScript只读属性键数组生成联合类型并保障类型安全

这里有几个既保证类型安全，又能满足联合类型使用、适配lodash pick/omit的可行方案：

方案一：使用readonly数组注解（最安全） #

把数组类型注解改成只读数组，因为lodash的pick/omit函数并不需要修改传入的数组，完全兼容只读数组类型。同时通过typeof 数组名[number]提取联合类型：

// 声明只读数组，约束元素必须是Car的键
const editableFields: readonly (keyof Car)[] = ["name", "description"] as const;

// 提取联合类型，供应用各处使用
type EditableField = typeof editableFields[number]; // 类型为 "name" | "description"

// 直接传入lodash的pick/omit，无类型错误
const pickedCar = _.pick(carInstance, editableFields);
const omittedCar = _.omit(carInstance, editableFields);

这个方案的优势是完全符合TypeScript的类型安全规则，不会有隐式转换风险，也能防止意外修改数组。

方案二：双重类型断言（简洁但需注意约束） #

通过双重断言把readonly数组转换成普通的(keyof Car)[]，同时保留as const带来的精确联合类型推导：

const editableFields = ["name", "description"] as const as (keyof Car)[];

// 提取联合类型
type EditableField = typeof editableFields[number];

// 正常使用lodash函数
const pickedCar = _.pick(carInstance, editableFields);

注意：虽然类型上是可变数组，但实际as const后的数组在运行时是只读的，不要尝试修改这个数组，否则会触发运行时错误。

方案三：隐式推导+静态类型检查 #

不标注数组类型，靠as const推导精确类型，再通过额外的类型检查确保元素都是Car的键：

const editableFields = ["name", "description"] as const;
// 提取联合类型
type EditableField = typeof editableFields[number];

// 静态检查：如果EditableField包含非Car键的元素，这里会报错
type _EnsureValidKeys = EditableField extends keyof Car ? true : never;

// 直接传入lodash，函数会自动推导正确的类型
const pickedCar = _.pick(carInstance, editableFields);

这个方案的好处是代码更简洁，同时通过_EnsureValidKeys这个辅助类型做静态校验，不会丢失类型安全。

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