TypeScript允许类数组外实例通过类型检查的原因及解决方法

问题原因 #

你遇到的问题本质是TypeScript的类型推断行为导致的：

• 默认情况下，const types = [T1, T2, T3, T4, T5]会被推断为(typeof Types)[]类型——因为所有子类构造函数都兼容父类Types的构造函数类型，TypeScript会自动向上收敛到最宽泛的父类型。
• 此时InstanceType<typeof types[number]>等价于InstanceType<typeof Types>，也就是Types类型。而N1是Types的子类，它的实例自然兼容Types类型，因此会被允许传入函数。

解决方案 #

要让TypeScript精确识别数组中每个子类的构造函数类型，需要将数组的类型锁定为字面量元组类型，而非宽泛的数组类型。可以通过两种方式实现：

方式1：使用as const断言 #

通过as const强制TypeScript将数组推断为只读元组，保留每个元素的具体构造函数类型：

class Types { }
class T1 extends Types { }
class T2 extends Types { }
class T3 extends Types { }
class T4 extends Types { }
class T5 extends Types { }
class N1 extends Types { }
class NN { }

const types = [T1, T2, T3, T4, T5] as const;
type AllowedInstances = InstanceType<typeof types[number]>;

function test(type: AllowedInstances) { }

test(T1)       // ERROR: 传入的是类而非实例
test(T2)       // ERROR: 传入的是类而非实例
test(N1)       // ERROR: 传入的是类而非实例
test(NN)       // ERROR: 传入的是类而非实例
test(new NN()) // ERROR: NN实例不在允许列表中
test(new N1()) // ERROR: N1实例不在允许列表中（符合预期）
test(new T1()) // OK: T1实例在允许列表中

方式2：显式定义元组类型 #

如果需要保持数组的可变性（比如后续要修改数组元素），可以直接显式声明元组类型：

class Types { }
class T1 extends Types { }
class T2 extends Types { }
class T3 extends Types { }
class T4 extends Types { }
class T5 extends Types { }
class N1 extends Types { }
class NN { }

// 显式定义允许的构造函数元组类型
type AllowedConstructors = [typeof T1, typeof T2, typeof T3, typeof T4, typeof T5];
const types: AllowedConstructors = [T1, T2, T3, T4, T5];

type AllowedInstances = InstanceType<typeof types[number]>;
function test(type: AllowedInstances) { }

// 测试结果和方式1一致
test(new N1()) // ERROR: N1实例不在允许列表中
test(new T1()) // OK

原理说明 #

当数组被推断为元组类型后，typeof types[number]会变成typeof T1 | typeof T2 | typeof T3 | typeof T4 | typeof T5的联合类型。通过InstanceType提取每个构造函数的实例类型，最终得到T1 | T2 | T3 | T4 | T5的实例联合类型，此时N1的实例不属于这个联合类型，TypeScript会正确拦截非法传入。

内容的提问来源于stack exchange，提问作者Daniel de Andrade Varela