TypeScript中如何用接口数组限制参数类型？TS2693问题咨询

问题 #

我尝试创建接口数组来限制传入参数的类型，以下代码可行：

interface IQuery {
    match: any
}

interface IQueryById extends IQuery {

}

interface IQueryByName extends IQuery {

}

class QueryById implements IQueryById {
  // ...
};
class QueryByName implements IQueryByName {
  // ...
}

const listQueryTypes = [QueryById, QueryByName];

function someFunction(qry: typeof listQueryTypes) {
  // ...
}

但使用以下代码时却不可行：

const listQueryTypes = [IQueryById, IQueryByName];

报错信息为“...only refers to a type but is being used as a value here.”（TS 2693）。请问是否存在方法检查数组中所有实现指定接口的类，还是TypeScript只能通过类的方式实现此类需求？

解答 #

首先得明确：TypeScript的接口是纯类型层面的概念，编译后会被完全擦除，根本不存在于运行时环境中，所以你没法把接口当作值放进数组里——这就是你遇到TS2693错误的核心原因。

要实现“确保数组里的类都实现指定接口”的需求，有两种实用方案：

1. 构造函数类型约束（纯类型层面检查） #

你最开始的写法已经踩中正确方向：把类（构造函数）放进数组，再通过类型约束强化检查逻辑。如果要明确要求这些类必须实现IQuery，可以给数组定义精确的类型：

// 定义构造函数类型，要求实例必须符合IQuery接口
type QueryConstructor = new () => IQuery;

// 数组类型约束为QueryConstructor数组，不符合的类会直接报错
const listQueryTypes: QueryConstructor[] = [QueryById, QueryByName];

这样只要数组里加入没实现IQuery的类，TypeScript会立刻提示类型错误，完美实现编译时检查。

2. 抽象类替代接口（支持运行时检查） #

如果需要在运行时也能验证类的实现关系，可以把IQuery改成抽象类：

abstract class IQuery {
    abstract match: any;
}

class QueryById extends IQuery {
    match: any;
}

class QueryByName extends IQuery {
    match: any;
}

// 数组存放继承自IQuery的类，TypeScript会做编译时检查
const listQueryTypes: (typeof IQuery)[] = [QueryById, QueryByName];

// 运行时还能通过instanceof验证实例
function validateQuery(qry: IQuery) {
    if (qry instanceof IQuery) {
        // 执行逻辑
    }
}

这种方式会把纯类型定义变成运行时存在的类，适合需要跨编译阶段做验证的场景。

总结：TypeScript没法直接用接口数组做约束，但通过构造函数类型约束或抽象类，完全能实现“确保数组中的类符合指定接口规范”的需求。

内容的提问来源于stack exchange，提问作者J Dawg