如何为register函数实现类型检查，无需依赖类型断言？

问题分析 #

你需要让register函数自动校验每个模块的options类型与对应use类的handle方法参数类型一致，同时不需要手动添加类型断言。当前代码中Module接口的泛型关联不够清晰，register函数的参数类型过于宽泛，导致无法自动推导类型关系。

修正与实现方案 #

先修正原代码中的语法错误，再通过泛型函数+可变元组类型推导实现自动类型检查：

// 补全原代码中缺失的泛型闭合括号
interface Module<Options, Constructor = ModuleConstructor<Options>> {
    use: Constructor
    options: Options
}

type ModuleConstructor<Type> = new (...args: any[]) => ModuleInterface<Type>

interface ModuleInterface<Type> {
    handle(data: Type): void
}

interface NumberModuleOptions {
    numb: number
}

class NumberModule implements ModuleInterface<NumberModuleOptions> {
    handle(data: NumberModuleOptions): void {
        console.log(data)
    }
}

interface StringModuleOptions {
    str: string
}

class StringModule implements ModuleInterface<StringModuleOptions> {
    handle(data: StringModuleOptions): void {
        console.log(data)
    }
}

// 重构register为泛型函数，利用可变元组类型逐个推导数组元素的具体类型
function register<T extends Module<any, any>[]>(modules: [...T]): void {
    // 你的业务实现逻辑
}

// 现在调用时无需类型断言，自动触发类型检查
register([
    {
        use: NumberModule,
        options: {
            numb: 1 // 符合NumberModuleOptions，类型检查通过
            // numb: '1' // 类型不匹配，会触发TS编译报错
        }
    },
    {
        use: StringModule,
        options: {
            str: 'hello' // 符合StringModuleOptions，类型检查通过
            // str: 123 // 类型不匹配，会触发TS编译报错
        }
    }
])

关键说明 #

• 将register改为泛型函数，使用[...T]可变元组类型，让TypeScript能逐个推导数组中每个模块的具体类型，而非统一视为Module<unknown>。
• 每个use类实现了ModuleInterface<Opts>，TypeScript会自动关联构造函数与options的类型关系，无需手动断言。
• 若options的字段类型、数量不符合对应模块的要求，TypeScript会直接抛出编译错误，实现类型安全。

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