typescript - 推断元组类型而不是联合类型

Question

有人知道如何让编译器自动推断元组类型吗？

// Now: (string | number)[]
// Wanted: [string, number][]
const x = [ ["a", 2], ["b", 2] ];

Answer 1

如果我们使用一个额外的函数来稍微帮助类型推断，就可以做到这一点:

function tupleArray<T1, T2, T3>(arr:[T1, T2, T3][]) : typeof arr 
function tupleArray<T1, T2>(arr:[T1, T2][]) : typeof arr 
function tupleArray<T1>(arr:[T1][]) : typeof arr 
function tupleArray(arr:any[]) : any[]{
    return arr;
}

var t = tupleArray([ ["a", 2], ["b", 2] ]) // [string, number][]

编辑

具有更少覆盖的更好版本:

const tupleArray = <T extends ([any] | any[])[]>(args: T): T => args
tupleArray([["A", 1], ["B", 2]]) // [string, number][]

如果元组中需要超过 3 个项目，则可以添加更多重载。