TypeScript：如何安全存储泛型参数未指定的Holder实例数组

直接使用Holder<unknown>会报错，因为unknown不满足T extends Data的约束——unknown是所有类型的顶层类型，但它并不符合Data的索引签名结构，TypeScript会严格校验这个约束。以下是几种可行的安全实现方式：

方案一：定义非泛型基接口（推荐） #

如果数组操作不需要访问Holder实例的泛型具体类型，只需要确保item符合Data结构，可以先定义一个非泛型的基接口，让Holder实现它：

interface Data {
    [field: string]: any;
}

// 定义基接口，只暴露通用的非泛型成员
interface BaseHolder {
    item: Data;
}

class Holder<T extends Data> implements BaseHolder {
    constructor(readonly item: T) {}
}

// 数组存储基接口类型的实例
const holders: BaseHolder[] = [];
holders.push(new Holder({ name: "Alice", age: 30 })); // 正常编译
holders.push(new Holder({ id: "123" })); // 正常编译

这种方式类型最安全，数组中的每个item都被保证符合Data结构，同时避免了any的不安全问题。

方案二：使用Holder<Data>作为数组类型 #

因为T extends Data，所有Holder<T>的实例都可以赋值给Holder<Data>（TypeScript中只读属性的泛型类型参数是协变的），所以直接用Holder<Data>作为数组类型即可：

interface Data {
    [field: string]: any;
}

class Holder<T extends Data> {
    constructor(readonly item: T) {}
}

const holders: Holder<Data>[] = [];
holders.push(new Holder({ email: "test@example.com" })); // 正常编译

这个方案更简洁，不需要额外定义基接口，同样能保证item的类型符合Data约束，比any安全得多。

方案三：利用类型断言结合unknown（不推荐） #

如果一定要用unknown，可以通过类型断言绕过约束，但本质上和方案二等价，因为unknown & Data的结果就是Data：

interface Data {
    [field: string]: any;
}

class Holder<T extends Data> {
    constructor(readonly item: T) {}
}

// 用类型断言将数组标注为Holder<unknown & Data>类型
const holders = [] as Holder<unknown & Data>[];
holders.push(new Holder({ tag: "typescript" }));

这种方式没必要，因为unknown & Data就是Data，和方案二没有区别，反而多了一层不必要的断言。

为什么不能直接用Holder<unknown>？ #

TypeScript的泛型约束是强制校验的，unknown不具备Data要求的索引签名（[field: string]: any），所以无法通过约束校验，直接使用会触发编译错误。

内容的提问来源于stack exchange，提问作者Denver Coneybeare