TypeScript如何为构造函数配置对象的强类型剩余参数做类型标注

核心思路为完全保留原有JS运行时逻辑，仅通过泛型和类型合并实现所有约束，无需修改现有构造函数对外的JS调用签名。

完整实现代码 #

// 原有基础类型
type KnownStuff = {
    a: string
    b: number
}

type FlatJSONCompatibleObject = {
    [k: string]: string | number | boolean | null
}

// 泛型类实现
class YourClass<T extends FlatJSONCompatibleObject = {}> {
    // 类属性标注
    a: string
    b: number
    extra: T

    // 构造函数类型标注，运行时逻辑和原有JS完全一致
    constructor(options: Partial<KnownStuff> & T = {} as Partial<KnownStuff> & T) {
        // 原有解构逻辑不用改，替换为你实际的默认值即可
        const {
            a = '默认a值',
            b = 0,
            ...extra
        } = options

        this.a = a
        this.b = b
        this.extra = extra as T
    }
}

约束满足验证 #

• 支持无参调用：泛型默认值为{}，此时构造函数参数全可选，new YourClass()可正常编译通过
• 额外属性类型约束：泛型T强制继承FlatJSONCompatibleObject，所有额外属性只能是扁平的可JSON序列化基础类型，不能传入对象、数组等嵌套结构
• 自定义泛型校验：当调用方手动传入带必填字段的泛型参数时，TS会自动校验构造函数入参是否匹配，缺少必填属性会触发编译错误
• 兼容原有JS调用：运行时代码和原有JS构造函数逻辑完全一致，现有JS侧的调用方式无需任何修改即可正常运行

常见使用示例 #

1. 默认无参调用 #

const ins1 = new YourClass()
// ins1.extra 类型为 {}

2. 仅传入已知配置属性 #

const ins2 = new YourClass({a: '自定义值', b: 1024})

3. 传入额外属性，TS自动推导类型 #

const ins3 = new YourClass({a: '测试', id: 123, isVip: false, tag: 'test'})
// 自动推导T类型为 {id: number, isVip: boolean, tag: string}
// ins3.extra.id 会被自动识别为number类型

4. 手动指定泛型，强制额外属性校验 #

type CustomExtra = {
    userId: number
    platform: 'ios' | 'android' | 'web'
}

// 编译报错：缺少userId、platform必填属性
const ins4 = new YourClass<CustomExtra>()

// 编译通过
const ins5 = new YourClass<CustomExtra>({
    b: 2048,
    userId: 9876,
    platform: 'web'
})
// ins5.extra.platform 会被限定为三个枚举值，类型安全

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