Typescript 根据以前使用的值缩小文字并集

发布于06月01日

场景如下:

type Option = 'a' | 'b' | 'c' | 'd'

type Question = {
  message: string;
  options: Option[];
  default: Option // here's the issue
}

我希望defaultprops 是question.options内使用的选项之一.例如:

const q1: Question = {
  message: 'first question',
  options: ['a', 'b'],
  default: 'a'
}

const q2: Question = {
  message: 'second question',
  options: ['c', 'd'],
  default: 'a' // I want this to give an error because 'a' is not in 'c' | 'd'
}

我怎样才能做到这一点呢？

推荐答案

只需使用Question就可以完成；然而，这将是一个复杂的类型，会给编译器带来可怕的时间，因为它以2的幂的速度增长，如果您有更多的选项(超过10个)，编译器将达到其限制并且不能编译.

相反，我建议调整Question以接受Option[]作为泛型参数，并将该泛型参数的元素类型分配给default:

type Question<T extends Option[]> = {
  message: string;
  options: T;
  default: T[number];
};

最后，我们需要一个泛型函数来为我们创建一个问题:

const createQuestion = <T extends Option[]>(question: Question<T>) => question;

用途:

const q1 = createQuestion({
  message: "first question",
  options: ["a", "b"],
  default: "a",
});

const q2 = createQuestion({
  message: "second question",
  options: ["c", "d"],
  default: "a", // Expected error
});

playground个