Typescript-使用泛型扩展具有联合类型属性的接口

Question

我有这样的界面

interface Test {
  values: string[] | number[] | Date[]
  // more properties
}

我想创建另一个使类型特定的接口。 我正在尝试的是：

interface TestWithType<T extends string | number | Date> extends Test {
  values: T[];
}

但这失败并显示一条错误消息，提示无法将Type 'string' is not assignable to type 'Date' 。

正确的语法是什么？ 如果属性values不是数组，则可以正常工作

interface Test {
  values: string | number | Date
}

interface TestWithType<T extends string | number | Date> extends Test {
  values: T;
}

Answer 1

使用查找类型或条件类型的两种可能的解决方案：

enum TestType { STRING, NUMBER, DATE }
interface TestTypeMapping {
  [TestType.STRING]: string[];
  [TestType.NUMBER]: number[];
  [TestType.DATE]: Date[];
}
interface TestWithType1<T extends TestType> extends Test {
  values: TestTypeMapping[T];
}

type TypeToArrayType<T> =
  T extends string ? string[] :
  T extends number ? number[] :
  T extends Date ? Date[] :
  never[];
interface TestWithType2<T extends string | number | Date> extends Test {
  values: TypeToArrayType<T>;
}

Answer 2

如您所知，您不会得到string[] | number[] | Date[] string[] | number[] | Date[] string[] | number[] | Date[]通过应用使string | number | Date类型的元素数组string | number | Date string | number | Date string | number | Date 。 并且由于(string | number | Date)[]比string[] | number[] | Date[] string[] | number[] | Date[] string[] | number[] | Date[] ，由于无法扩展子类型的属性，因此会出现编译器错误。

@MattMcCutchen的答案提供了一些解决方法。 这是另一种方式：

如果您有类似string | number | Date的联合string | number | Date string | number | Date string | number | Date并希望以编程方式将其转换为诸如string[] | number[] | Date[]的数组的并集 string[] | number[] | Date[] string[] | number[] | Date[] ，可以使用分布式条件类型 ：

type DistributeArray<T> = T extends any ? T[] : never;

然后，您可以根据DistributeArray定义TestWithType ：

// no error:
interface TestWithType<T extends string | number | Date> extends Test {
  values: DistributeArray<T>;
}

并验证其行为是否符合您的预期：

declare const testWithString: TestWithType<string>
testWithString.values; // string[]

declare const testWithDate: TestWithType<Date>
testWithDate.values; // Date[]

declare const testWithStringOrNumber: TestWithType<string | number>
testWithStringOrNumber.values; // string[] | number[]

希望能有所帮助。 祝好运！

---

编辑：

作为一个相关问题，是否有任何方法可以禁止将联合类型传递给泛型？ （如要求仅指定字符串，数字或日期之一）

是的，这是可能的 ，但是它需要以一种使我不舒服的方式滥用类型系统。 如果您不需要，我建议不要这样做。 这里是：

type DistributeArray<T> = T extends any ? T[] : never;
type NotAUnion<T> = [T] extends [infer U] ? U extends any ? 
  T extends U ? unknown : never : never : never
type ErrorMsg = "NO UNIONS ALLOWED, PAL"
interface TestWithType<T extends (
  unknown extends NotAUnion<T> ? string | number | Date : ErrorMsg
)> extends Test {
  values: DistributeArray<T>
}

declare const testWithString: TestWithType<string> // okay

declare const testWithDate: TestWithType<Date> // okay

declare const testWithStringOrNumber: TestWithType<string | number> // error:
// 'string | number' does not satisfy the constraint '"NO UNIONS ALLOWED, PAL"'.

如果T不是一个并集，则类型NotAUnion<T>计算结果为unknown （顶部类型）...否则，其计算结果为never （底部类型）。 然后，在TestWithType将类型T约束为unknown extends NotAUnion<T> ? string | number | Date : ErrorMsg unknown extends NotAUnion<T> ? string | number | Date : ErrorMsg unknown extends NotAUnion<T> ? string | number | Date : ErrorMsg ，几乎没有对循环引用使用规则。 如果将非工会传递为T ，则它变为T extends string | number | Date T extends string | number | Date T extends string | number | Date和以前一样。 如果传递并集，则它将成为T extends ErrorMsg ，它是字符串文字类型。 由于联合永远不会扩展字符串文字，因此它将失败...并且您收到的错误消息将涉及ErrorMsg ，因此对开发人员ErrorMsg ，应该足以意识到正在发生的事情。 它可以工作，但是非常粗略。 但是，您要了。

再次祝你好运！