如何为带默认值的TypeScript泛型函数配置正确的IntelliSense？

问题场景 #

现有代码：

type Ns = "foo" | "bar"
function translate<N extends Ns = "foo">(ns?: N) {
    return ns || "foo"
};

存在以下矛盾：

• 带泛型默认值时，IntelliSense仅提示"foo"和undefined，输入"b"无法触发"bar"的联想提示
• 移除泛型默认值后，IntelliSense能正常提示所有Ns成员，但无法在类型层面标识函数未传参时的默认返回值为"foo"

解决方案 #

方案1：条件类型约束返回值

调整参数类型为Ns | undefined，通过条件类型动态推断返回值类型：

type Ns = "foo" | "bar"
function translate<N extends Ns = "foo">(ns?: Ns): N extends undefined ? "foo" : N {
    return (ns || "foo") as typeof ns extends undefined ? "foo" : N;
};

• 参数指定为Ns | undefined，确保IntelliSense能枚举所有Ns成员作为提示选项
• 条件类型让返回值在未传参时被推断为"foo"，传参时对应传入的具体类型

方案2：函数重载

通过重载签名明确不同调用场景的类型约束：

type Ns = "foo" | "bar"

// 未传参时返回"foo"
function translate(): "foo";
// 传入Ns类型参数时返回对应类型
function translate<N extends Ns>(ns: N): N;
// 传入undefined时返回"foo"
function translate(ns?: undefined): "foo";

// 实现逻辑
function translate(ns?: Ns) {
    return ns || "foo";
}

• 重载签名清晰定义了每种输入对应的输出类型，既保证IntelliSense能完整提示所有Ns成员，又明确了默认返回值的类型标识

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