TypeScript：如何实现运行时接口检测的通用类型守卫？

我有多个基于公共基类、实现公共接口的类，它们通过配置文件在运行时动态实例化。由于是动态创建，默认没有智能提示/自动补全，需要借助类型守卫实现。目前我通过_interfaces属性标记类，示例代码如下：

abstract class BaseClass {
    _interfaces: any[] = []
}

interface A {
    propA: string
    funcA: (arg1: number) => void
}

interface B {
    propB: string
    funcB: (arg1: string) => void
}

class ExampleClass extends BaseClass implements A, B {
    propA = 'someValue'
    funcA(arg1: number){
        console.log('do a thing')
    }
    propB = 'anotherValue'
    funcB(arg1: string){
        console.log('do another thing')
    }
    _interfaces = ['A', 'B']
}

let myExampleClass = new ExampleClass() // 这部分在运行时动态完成

类型守卫的运行时检查简单，但为智能提示/自动补全做类型标注难度较高。我已有可行但复杂的实现方案，使用了「类型的类型」及复杂类型工具。部分类可能实现10个以上接口，检查特定属性的方式不具备可扩展性。

请问是否有更简洁、通用的方式，既能实现接口运行时检测，又能通过类型守卫获得智能提示/自动补全？

更新：基于@jcalz的思路，我使用他的IntersectProps实现了更简洁的版本，但仍不理解IntersectProps类型的工作原理。

一、通用实现方案 #

我们可以通过接口映射表+自动推导的类型守卫实现简洁且可扩展的方案，核心是将运行时的接口标识与TypeScript类型系统关联：

1. 定义接口映射与基类改造 #

创建全局接口类型映射，把字符串标识对应到具体接口类型，同时优化基类的_interfaces类型精度：

// 所有接口的类型映射，新增接口直接在此添加
interface InterfaceMap {
    A: A;
    B: B;
}

// 改造基类，限制_interfaces为接口标识的数组
abstract class BaseClass {
    _interfaces: Array<keyof InterfaceMap> = [];
}

2. 实现通用类型守卫 #

基于接口映射表，编写通用类型守卫函数，利用条件类型自动推导实例的接口组合类型：

// 从接口标识数组推导对应的接口交叉类型
type InterfacesFromKeys<K extends keyof InterfaceMap> = 
    K extends keyof InterfaceMap ? InterfaceMap[K] : never;

// 单接口检查的类型守卫
function implementsInterface<T extends keyof InterfaceMap>(
    instance: BaseClass, 
    interfaceKey: T
): instance is BaseClass & InterfacesFromKeys<T> {
    return instance._interfaces.includes(interfaceKey);
}

// 多接口批量检查的类型守卫
function implementsInterfaces<T extends Array<keyof InterfaceMap>>(
    instance: BaseClass, 
    ...interfaceKeys: T
): instance is BaseClass & InterfacesFromKeys<T[number]> {
    return interfaceKeys.every(key => instance._interfaces.includes(key));
}

3. 使用示例 #

通过类型守卫可直接获得智能提示：

// 动态实例化的对象，类型为BaseClass
const dynamicInstance = new ExampleClass() as BaseClass;

if (implementsInterface(dynamicInstance, 'A')) {
    // 自动补全propA和funcA
    dynamicInstance.propA;
    dynamicInstance.funcA(123);
}

if (implementsInterfaces(dynamicInstance, 'A', 'B')) {
    // 自动补全A和B的所有属性/方法
    dynamicInstance.propA;
    dynamicInstance.funcB('test');
}

二、IntersectProps类型的工作原理 #

IntersectProps是将联合类型转换为交叉类型的工具类型，核心利用TypeScript的infer关键字和分布式条件类型特性，实现逻辑如下：

type IntersectProps<T> = 
    T extends { [K in keyof T]: infer U } ? U : never;

拆解工作流程： #

1. 遍历类型键：T extends { [K in keyof T]: infer U } 会遍历传入类型T的所有键，对每个键对应的类型进行推断。
2. 分布式合并为交叉类型：当T是联合类型（如A | B）时，TypeScript会对联合类型的每个分支分别执行条件推断，再自动将多个推断结果合并为交叉类型（这是分布式条件类型的默认行为）。
3. 返回最终交叉类型：最终得到的U就是所有接口类型的交叉（如A & B），让TypeScript识别实例同时具备多个接口的属性和方法。

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