如何在TypeScript函数中使用泛型常量值及泛型类型参数P？

你给出的代码确实是合法的TypeScript代码，泛型参数<P = "a"|"b">是一个带默认值的字符串字面量联合类型泛型。下面分两部分解答你的问题：

一、这种写法的适用场景 #

• 建立输入输出的类型关联：让函数的返回值、参数类型和泛型P绑定，外部调用者指定P后，TypeScript能自动推导或约束相关类型，获得更精确的类型提示。
• 复用逻辑同时保留类型灵活性：同一个函数逻辑可适配不同类型分支，比如用"a"对应A业务逻辑、"b"对应B业务逻辑，泛型P用来约束这些标识的类型，避免传入非法值。
• 作为编译时类型契约：当函数内部逻辑依赖外部指定的类型标识，但不需要显式传递参数时（比如关联全局配置的场景），泛型P可作为编译时的类型约定，确保调用者符合预期类型范围。

二、如何在函数内部使用类型P #

要注意：TypeScript的类型是编译时概念，运行时不会保留泛型P的信息，无法直接“使用类型P”，必须通过「运行时的值映射」或者「编译时类型约束」间接利用：

1. 通过参数传递类型对应的运行值（最常用） #

把泛型P对应的实际值作为参数传入函数，既保留编译时类型约束，又能在运行时拿到具体值：

// 泛型P约束为"a"|"b"，同时接收类型为P的参数
function getFoo<P extends "a"|"b">(p: P): string {
    // p是运行时可访问的值，类型为P
    if (p === "a") {
        return "处理类型a的结果";
    } else {
        return "处理类型b的结果";
    }
}

// 调用时可自动推导P，也可显式指定
const resA = getFoo("a");
const resB = getFoo<"b">("b");

2. 利用泛型约束编译时返回类型 #

如果不需要运行时的值，只想让返回值类型和P关联，可通过类型映射实现：

// 定义P对应的返回类型映射
type ResultMap = {
    a: number,
    b: string
};

// 泛型P默认是"a"|"b"，返回值类型为ResultMap[P]
function getFoo<P extends keyof ResultMap = "a"|"b">(): ResultMap[P] {
    // 需类型断言，因为运行时无法知晓P的具体类型
    return (P === "a" ? 123 : "abc") as ResultMap[P];
}

const numResult = getFoo<"a">(); // 类型为number
const strResult = getFoo<"b">(); // 类型为string

3. 结合类型守卫做分支处理 #

如果函数有默认逻辑，可通过可选参数配合类型守卫，在运行时区分不同P对应的逻辑：

function getFoo<P extends "a"|"b">(type?: P): string {
    switch (type) {
        case "a":
            return "类型a专属结果";
        case "b":
            return "类型b专属结果";
        default:
            return "默认结果（对应P为\"a\"|\"b\"的情况）";
    }
}

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