Typescript

Question

例如，我知道我可以根据函数的输入值将泛型分配给元组类型

declare function example<A extends [any,...any[]]>(a: A) : A
example([1,2,3,[4]]) // : [ number, number, number, number[] ]

但是我想要这样的文字值

example([1,2,3,[4]]) // : [ 1, 2, 3, [4] ]

我该如何实现？

Answer 1

这是不可能的。在选择类型以实例化类型变量时，Typescript必须为A选择一个类型。您想要的是一次实例化四种不同类型的A。