如何为类指定泛型约束并让方法参数匹配类型成员类型？

1. 约束泛型T必须是DbType的子类型 #

在类的泛型定义处，使用T extends DbType即可实现类型约束。这样当你尝试传入不继承DbType的类型实例化db时，TypeScript会直接抛出类型错误，确保T始终是DbType的子类型。

2. 定义delete方法的参数类型 #

要让delete方法接收与DbType.id相同类型的参数，有两种可靠实现方式：

• 直接引用DbType['id']，明确绑定到DbType的id类型
• 利用泛型T的继承关系，引用T['id']（由于T继承DbType，其id类型必然与DbType一致）

两种方式效果等价，可根据代码可读性需求选择，推荐第一种更直观明确。

修改后的完整代码 #

interface DbType {
    id: string,
}

interface RowType extends DbType {
    name: string
}

// 约束T必须是DbType的子类型
class db<T extends DbType> {
    insert(item: T) { }
    // 直接使用DbType的id类型作为参数类型
    delete(id: DbType['id']) { }
    // 或者用T['id']，效果完全一致
    // delete(id: T['id']) { }
}

// 实例化测试：此时delete方法仅接收string类型参数
const myDb = new db<RowType>();
myDb.delete('123'); // 合法
// myDb.delete(123); // 类型错误，参数必须为string类型

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