不同泛型类型的 typescript 数组

Question

如果我有一个数组 a，其中每个元素都是一个对象，由两个属性 first 和 second 组成，我应该如何声明 `a's类型总是满足以下条件？

 ForAll(x in a)(type(x.first) == T iff type(x.second) == (T => string))

例如，我想确保 a[3].second(a[3].first) 是类型安全的。

Answer 1

数组的元素类型需要是“存在类型”，我们可以用伪代码将其写为 exists T. { first: T, second: (arg: T) => string }。 TypeScript currently does not support existential types natively .

一种可能的解决方法是使用闭包对存在类型进行编码，如 this answer 中所述。 .如果你不想在运行时使用真正的闭包，你可以使用一个实用程序库，它为存在类型提供类型定义(基于使用索引访问类型的类型函数编码)和函数来生成和使用执行的存在类型类型转换但只是运行时的标识:

// Library
// (Based in part on https://bitbucket.org/espalier-spreadsheet/espalier/src/b9fef3fd739d42cacd479e50f20cb4ab7078d534/src/lib/type-funcs.ts?at=master&fileviewer=file-view-default#type-funcs.ts-23
// with inspiration from https://github.com/gcanti/fp-ts/blob/master/HKT.md)

const INVARIANT_MARKER = Symbol();
type Invariant<T> = {
    [INVARIANT_MARKER](t: T): T
};

interface TypeFuncs<C, X> {}

const FUN_MARKER = Symbol();
type Fun<K extends keyof TypeFuncs<{}, {}>, C> = Invariant<[typeof FUN_MARKER, K, C]>;

const BAD_APP_MARKER = Symbol();
type BadApp<F, X> = Invariant<[typeof BAD_APP_MARKER, F, X]>;
type App<F, X> = [F] extends [Fun<infer K, infer C>] ? TypeFuncs<C, X>[K] : BadApp<F, X>;

const EX_MARKER = Symbol();
type Ex<F> = Invariant<[typeof EX_MARKER, F]>;
function makeEx<F, X>(val: App<F, X>): Ex<F> { 
    return <any>val;
}
function enterEx<F, R>(exVal: Ex<F>, cb: <X>(val: App<F, X>) => R): R { 
    return cb(<any>exVal);
}

// Use case

const F_FirstAndSecond = Symbol();
type F_FirstAndSecond = Fun<typeof F_FirstAndSecond, never>;
interface TypeFuncs<C, X> { 
    [F_FirstAndSecond]: { first: X, second: (arg: X) => string };
}

let myArray: Ex<F_FirstAndSecond>[];
myArray.push(makeEx<F_FirstAndSecond, number>({ first: 42, second: (x) => x.toString(10) }));
myArray.push(makeEx<F_FirstAndSecond, {x: string}>({ first: {x: "hi"}, second: (x) => x.x }));
for (let el of myArray) { 
    enterEx(el, (val) => console.log(val.second(val.first)));
}

(如果有足够的兴趣，我可能会适本地发布这个库......)