在打字稿中将接口转换为元组

Question

我想将接口转换为键和值的元组。我想知道使用泛型是否可以做到这一点，但对语言功能了解不够。

这是我想做的事情：

interface Person {
name: string,
age: number
}
type Args = ToTuple<Person> // result would be ['name', string, 'age', number]
function DoSomethingWithArgs(...args: Args) {
return (
args[0] === 'name' &&
typeof args[1] === 'string' &&
args[2] === 'name' &&
typeof args[3] === 'number'
)
}

这可能吗？

Answer 1

我不确定你为什么要这样做，但这里是...

使用这个答案中的想法将映射类型转换为函数的交集，然后我们可以与不同的类型参数进行匹配，我们可以以一种适用于原始接口固定最大成员数量的方式定义ToTuple。

type IntersectionOfValues<T> =
{[K in keyof T]: (p: T[K]) => void} extends
{[n: string]: (p: infer I) => void} ? I : never;
type IntersectionOfFunctionsToType<F, T> =
F extends {
(na: infer NA, a: infer A): void;
(nb: infer NB, b: infer B): void;
(nc: infer NC, c: infer C): void;
} ? [NA, A, NB, B, NC, C] :
F extends {
(na: infer NA, a: infer A): void;
(nb: infer NB, b: infer B): void;
} ? [NA, A, NB, B] :
F extends {
(na: infer NA, a: infer A): void
} ? [NA, A] :
never;
type ToTuple<T> = IntersectionOfFunctionsToType<
IntersectionOfValues<{ [K in keyof T]: (k: K, v: T[K]) => void }>, T>;
interface Person {
name: string,
age: number
}
type Args = ToTuple<Person> // ['name', string, 'age', number]

另一种方法是在接口keyof上使用UnionToIntersection，但我相信通过联合可能会带来更大的风险，即失去接口成员的顺序。 (我相信我过去见过工会失去秩序，尽管我刚才无法在操场上的测试中重现它。 在上面的解决方案中，交集是有序的，因此我们仅依靠映射类型来保持顺序和推理过程，IntersectionOfValues按顺序生成逆变候选并按顺序相交。 这仍然是依赖于实现的行为，但我认为它不太可能改变。