如何为带可选默认参数的load泛型函数编写TS类型定义

你的两种写法的问题 #

第一种写法的错误原因 #

你把泛型T定义在接口层面，导致整个接口的两个重载都绑定到同一个固定类型（这里是number）。接口要求第二个重载（传入defaultValue）必须返回T（即number），但你的实现函数返回类型是number | undefined——TypeScript会认为这个实现无法保证传入defaultValue时一定返回非undefined的值（尽管你的逻辑里确实返回defaultValue，但函数签名的返回类型包含undefined，不符合重载的严格要求），因此抛出类型不兼容的错误。

第二种写法的问题 #

泛型放在函数签名上时，当仅传入key而无defaultValue，TypeScript无法自动推断T的类型，会默认将其设为unknown，导致load("answer")的类型是unknown | undefined，无法直接和42这类具体类型做空值合并操作。

可行的解决方案 #

方案1：显式指定泛型+重载 #

调整实现函数的参数类型，让它匹配重载的要求，同时允许调用时显式指定类型：

type Load = {
    <T>(key: string): T | undefined;
    <T>(key: string, defaultValue: T): T;
};

const load: Load = (key: string, defaultValue?: unknown) => {
    if (key === "answer") return 42;
    return defaultValue;
};

// 使用示例
const a = load<number>("answer"); // number | undefined
const b = load("answer", 27); // number
const c = load<boolean>("theme"); // boolean | undefined

这里将实现函数的defaultValue设为unknown，让TypeScript自动推断返回值类型，完美匹配重载的要求；调用无defaultValue的重载时，显式指定泛型即可得到预期的类型。

方案2：针对已知Key做类型映射（更智能） #

如果你的存储有已知的Key和对应类型，可以用字面量类型映射让TypeScript自动推断：

// 定义已知的存储Key与对应类型
type StorageMap = {
    answer: number;
    username: string;
    darkMode: boolean;
};

type Load = {
    // 已知Key自动推断类型
    <K extends keyof StorageMap>(key: K): StorageMap[K] | undefined;
    <K extends keyof StorageMap>(key: K, defaultValue: StorageMap[K]): StorageMap[K];
    // 兼容未知Key的情况
    <T>(key: string): T | undefined;
    <T>(key: string, defaultValue: T): T;
};

const load: Load = (key: string, defaultValue?: unknown) => {
    switch(key) {
        case "answer": return 42;
        case "username": return "Alice";
        case "darkMode": return true;
        default: return defaultValue;
    }
};

// 使用示例
const a = load("answer"); // number | undefined
const b = load("answer", 27); // number
const c = load("darkMode"); // boolean | undefined
const d = load<Date>("lastLogin"); // Date | undefined

这种方式对已知Key无需手动指定类型，TypeScript会自动推断，同时兼容未知Key的场景。

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