如何让TypeScript属性根据类型的字符串表示进行类型约束？

你的需求可以在TypeScript中实现，核心是通过字面量类型联合或泛型+类型映射，让take的类型与like的具体取值关联起来。先分析你之前代码的问题，再给出正确实现：

之前代码的问题 #

1. Form泛型的问题 #

当你写const form: Form = { ... }时，泛型参数Like默认是宽类型string，而非字面量类型'string'。此时Like extends 'string'判断的是string类型是否属于'string'字面量的子类型（结果为true），但由于你没有显式指定泛型为字面量类型，TypeScript无法根据like的取值动态约束take，甚至可能因为any分支的兜底导致错误未被触发。

2. Form2的问题 #

Form2['like']是静态的string类型，而非具体的字面量值。因此Form2['like'] extends 'string'永远为true，take的类型固定为string[]，完全无法关联like的实际取值，自然无法实现预期约束。

正确实现方案 #

方案一：字面量类型联合（最直观） #

直接枚举所有允许的like取值及其对应的take类型：

type Form = 
  | { like: 'string'; take?: string[] }
  | { like: 'number'; take?: number[] }
  | { like: 'integer'; take?: number[] }
  | { like: string; take?: any[] }; // 兜底其他字符串类型

// 测试用例
const form: Form = {
  like: 'string',
  take: [1], // ❌ 类型错误：number[] 无法赋值给 string[]
};

const form2b: Form = {
  like: 'string',
  take: ['valid'], // ✅ 合法
};

const form2c: Form = {
  like: 'number',
  take: ['valid'], // ❌ 类型错误：string[] 无法赋值给 number[]
};

const form2d: Form = {
  like: 'number',
  take: [10], // ✅ 合法
};

方案二：泛型+类型映射（更灵活） #

通过类型映射定义like到take元素类型的对应关系，再用泛型动态推断：

// 定义like取值与take元素类型的映射
type TypeMap = {
  string: string;
  number: number;
  integer: number;
};

// 泛型Form类型
type Form<T extends keyof TypeMap | string = string> = 
  T extends keyof TypeMap 
    ? { like: T; take?: Array<TypeMap[T]> }
    : { like: T; take?: any[] };

// 用satisfies关键字让TypeScript自动推断泛型参数
const form = {
  like: 'string',
  take: [1], // ❌ 类型错误
} satisfies Form;

const form2b = {
  like: 'string',
  take: ['valid'], // ✅ 合法
} satisfies Form;

const form2c = {
  like: 'number',
  take: ['valid'], // ❌ 类型错误
} satisfies Form;

const form2d = {
  like: 'number',
  take: [10], // ✅ 合法
} satisfies Form;

说明 #

两种方案都能实现你的需求：当like为'string'时take只能是字符串数组，当like为'number'/'integer'时take只能是数字数组，其他like取值则兜底为任意类型数组。

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