TypeScript中如何为泛型函数设置依赖泛型参数的默认参数？

方法1：使用函数重载（推荐，类型推导更清晰） #

函数重载可以明确区分「不传props」和「传props」两种调用场景，分别指定对应的返回类型：

type MaximumApiResponse = {
    fieldA: string,
    fieldB: number
}

// 调用签名1：仅传entity参数，返回包含fieldA的类型
async function f(entity: number): Promise<null | Pick<MaximumApiResponse, "fieldA">>;
// 调用签名2：传entity和自定义props，返回对应字段的类型
async function f<U extends keyof MaximumApiResponse>(
    entity: number,
    props: Array<U>
): Promise<null | Pick<MaximumApiResponse, U>>;
// 实际实现签名
async function f<U extends keyof MaximumApiResponse>(
    entity: number,
    props: Array<U> = ["fieldA"] as Array<U>
): Promise<null | Pick<MaximumApiResponse, U | "fieldA">> {
    return await api(entity, props);
}

方法2：使用可选参数+条件类型（更简洁） #

通过泛型默认值和条件类型，根据props是否传入自动推导返回类型：

type MaximumApiResponse = {
    fieldA: string,
    fieldB: number
}

const f = async <U extends keyof MaximumApiResponse = "fieldA">(
    entity: number,
    props?: Array<U>
): Promise<null | Pick<MaximumApiResponse, U extends undefined ? "fieldA" : U>> => {
    const actualProps = props ?? ["fieldA"];
    // 类型断言确保编译通过，实际运行时默认值合法
    return await api(entity, actualProps as Array<U>);
};

原写法报错原因 #

原代码中，默认值["fieldA"]的类型是"fieldA"[]，但泛型U可以被实例化为"fieldB"或"fieldA" | "fieldB"等其他子类型。TypeScript无法保证"fieldA"能兼容所有可能的U类型，因此抛出类型不兼容错误——即使给泛型设置了默认值，TypeScript仍会考虑U被显式指定为其他类型的情况。

两种方案均通过明确「默认场景」和「自定义场景」的类型映射，绕过了泛型与默认值的类型冲突问题。

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