TypeScript抽象类型继承兼容及多实现方案技术咨询

我定义了如下抽象类型与函数：

type GenericData = {
    id: string
}

export const recv = ( data: GenericData, properties: Props ): GenericData =>
{
    return {
        id: data.id,
        ...properties
    }
}

（注：原代码中Props未定义，实际使用时需对应具体扩展属性的类型）

我希望将数据加载到继承自GenericData并扩展字段的更具体类型中：

type SpecificData = GenericData & {
    name: string,
    phone: number
}

const specific: SpecificData = recv( inputData, props );

此时TypeScript报错，提示SpecificData与GenericData不兼容。请问如何在接收不同数据时创建该通用类型的多个实现？

核心问题是recv函数当前固定返回GenericData类型，无法适配扩展后的具体类型。通过泛型改造函数，让它能根据传入的属性类型返回对应的具体类型即可。

方法1：给recv添加泛型参数（约束扩展类型） #

改造后的函数通过泛型参数约束返回值为GenericData的扩展类型，同时确保传入的属性不包含重复的id字段：

type GenericData = {
    id: string
}

// 泛型T约束为GenericData的子类型，properties参数排除id字段避免冲突
export const recv = <T extends GenericData>(data: GenericData, properties: Omit<T, 'id'>): T => {
    return {
        id: data.id,
        ...properties
    } as T;
}

// 定义具体扩展类型
type SpecificData = GenericData & {
    name: string,
    phone: number
}

// 使用时TypeScript会自动推导泛型类型
const inputData: GenericData = { id: '123' };
const props = { name: '张三', phone: 13800138000 };
const specific: SpecificData = recv(inputData, props);

方法2：泛型结合Partial（支持覆盖id字段） #

如果需要允许传入的属性覆盖id字段，可以调整泛型约束为Partial<GenericData>的扩展类型，让返回值自动合并基础类型与扩展属性：

type GenericData = {
    id: string
}

// 泛型T表示扩展属性，返回值合并GenericData与T的类型
export const recv = <T extends Partial<GenericData>>(data: GenericData, properties: T): GenericData & T => {
    return {
        ...data,
        ...properties
    };
}

// 使用示例
type SpecificData = GenericData & {
    name: string,
    phone: number
}

const specific: SpecificData = recv({ id: '123' }, { name: '张三', phone: 13800138000 });

关键提示 #

• 泛型方案能让函数的输入输出类型保持关联，比手动类型断言更健壮、更符合TypeScript类型系统设计
• 若临时需要兼容旧代码，也可以用const specific = recv(inputData, props) as SpecificData;的类型断言方式，但不推荐长期使用

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