TypeScript如何正确定义返回不同类型的泛型接口

你最初的写法存在两个核心问题：

1. 泛型作用域错误：把泛型参数定义在payload方法上，代表泛型由方法调用方指定，和你「实现类固定返回自身对应模型」的需求完全相悖
2. 语法错误：type 定义类型时缺少赋值符号=，类声明后多余括号，返回值类型标注位置错误

最优实现方案是将泛型参数定义在接口层，而非方法层，完全不需要提前维护所有模型的联合类型，实现时由控制器类指定自身绑定的模型类型即可。

基础实现代码 #

// 定义通用泛型接口，泛型T代表payload方法的返回值类型
interface Payload<T> {
    payload(): T
}

// 修正模型类型定义语法
type AModel = {
    propA: string
}

type BModel = {
    propB: string
}

// 实现接口时传入当前控制器对应的模型类型，即可获得精准类型约束
class AController implements Payload<AModel> {
    payload(): AModel {
        return { propA: "示例值A" }
    }
}

class BController implements Payload<BModel> {
    payload(): BModel {
        return { propB: "示例值B" }
    }
}

方案优势 #

• 无额外维护成本：新增控制器时不需要修改公共接口，也不需要维护联合类型列表，直接传入对应模型即可，符合开闭原则
• 类型推断精准：实例化控制器后，TS可以自动推断出payload方法的返回值就是当前绑定的模型类型，不需要额外做类型收窄
• 兼容通用场景：如果需要编写接受任意控制器的通用逻辑，可以直接用Payload<unknown>作为类型约束，不需要枚举所有控制器类型：

// 匹配所有实现Payload接口的控制器
type BaseController = Payload<unknown>

function executeController(controller: BaseController) {
    // 此处会自动推断返回值类型为unknown，可根据业务需求做后续类型处理
    return controller.payload()
}

不推荐联合类型方案的原因 #

如果采用联合类型定义公共接口，即payload(): AModel | BModel，会带来两个明显问题：

• 维护成本高：每新增一个模型类型都要去修改公共接口的联合类型定义
• 类型丢失：所有控制器的payload返回值都会被推断为联合类型，使用时必须额外写类型守卫判断具体类型，增加无意义的代码量

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