TypeScript动态类型设置：根据variant值关联value的类型约束

当然可以实现！这种根据variant的取值动态约束value类型的需求，在TypeScript里有几种很优雅的实现方式，我给你详细讲讲：

这是最直接的实现方式——我们把函数参数拆成多个子类型组成的联合，让TypeScript自动根据variant的取值做类型窄化：

// 定义联合类型，明确不同variant对应的value类型
type FunctionParams = 
  | { variant?: 'single'; value: number }
  | { variant: 'multi'; value: [number, number] };

// 函数接收这个联合类型的参数
function handleData(params: FunctionParams) {
  if (params.variant === 'multi') {
    // 这里TypeScript会自动推断params.value是[number, number]
    console.log('两个数字:', params.value[0], params.value[1]);
  } else {
    // 这里TypeScript知道params.value是number类型
    console.log('单个数字:', params.value);
  }
}

// 合法的调用示例
handleData({ variant: 'single', value: 123 });
handleData({ value: 456 }); // 不传入variant时默认是single场景
handleData({ variant: 'multi', value: [789, 101112] });

// 以下调用会被TypeScript报错（类型不匹配）
handleData({ variant: 'multi', value: 123 }); // value应该是元组
handleData({ variant: 'single', value: [1, 2] }); // value应该是数字

这种方式的核心是类型窄化：当你在代码里通过if判断variant的取值时，TypeScript会自动把当前分支的参数类型缩小到对应的子类型，确保value的类型完全符合预期。

如果需要把这个类型约束抽出来复用，或者函数需要返回和输入类型关联的值，泛型会是更好的选择：

// 先定义一个映射类型，把variant和对应的value类型关联起来
type VariantValueMap = {
  single: number;
  multi: [number, number];
};

// 用泛型T约束variant的取值，同时绑定value的类型
function handleData<T extends keyof VariantValueMap = 'single'>(
  params: { variant?: T; value: VariantValueMap[T] }
) {
  if (params.variant === 'multi') {
    console.log('两个数字:', params.value[0], params.value[1]);
  } else {
    console.log('单个数字:', params.value);
  }
}

// 调用示例和方案一完全一致，同样有严格的类型检查
handleData({ value: 456 });
handleData({ variant: 'multi', value: [1, 2] });
handleData({ variant: 'single', value: [3, 4] }); // 报错

这里我们通过VariantValueMap把variant和value的类型关系固化下来，再用泛型T来绑定两者的关联，默认T为'single'，这样当用户不传入variant时，value会自动被约束为number类型。

补充一下：你之前写的伪代码思路是对的，但TypeScript的接口是静态类型结构，不能直接在接口内部写条件判断逻辑，而联合类型或泛型就是实现这种“动态”约束的标准做法。

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