如何允许打字稿通用参数具有默认值

Question

我正在尝试为TS中的通用函数设置默认值。这是一个简单的示例：

type Size = "small" | "medium" | "large";
type Detail<S extends Size> = S extends "small" ? "noDetail" : S extends "medium" ? "partialDetail" : "fullDetail"

function getDetail<S extends Size>(size:S = "small"):Detail<S>{
    if(size === "small")
        return "noDetail" as Detail<S>;
    if(size === "medium")
        return "partialDetail" as Detail<S>
    return "fullDetail" as Detail<S>;
}

它会导致错误：

Type '"small"' is not assignable to type 'S'.
  '"small"' is assignable to the constraint of type 'S', but 'S' could be instantiated with a different subtype of constraint 'Size'.ts(2322)

我理解问题（例如：有人可以尝试 getDetail＆lt;“ ligal”＆gt;（）; ），我已经阅读了几篇文章，以便尝试并解决。

但是，

1. 我不想强​​迫人们通过参数。
2. 我想返回条件类型（不是不受约束的字符串，而不是联合）

我该怎么做？

Answer 1

我会用您的不同值创建一个枚举，然后基于此创建您的功能。当您要求返回作为条件类型时，我还添加了一个接口，因此返回是TypeAfe：

enum Size {
   "small",
   "medium",
   "large"
}
interface Detail<Size> {
    model: string
}

function getDetail(size:Size = Size.small){
    return {
        model: Size[size]
    } as Detail<typeof size>;
}

console.log(getDetail(Size.medium));
console.log(getDetail());

Answer 2

我会将添加为“小” 作为 size size 的类型，并且我还将添加“ small” 作为通用类型的默认值。

function getDetail<S extends Size = "small">(size: S | "small" = "small"):Detail<S>{
    if(size === "small")
        return "noDetail" as Detail<S>;
    if(size === "medium")
        return "partialDetail" as Detail<S>
    return "fullDetail" as Detail<S>;
}

游乐场

Answer 3

最好做到这一点

function getDetail(): Detail<"small">;
function getDetail<T extends Size>(size: T): Detail<T>;
function getDetail(size: Size = "small"): Detail<Size>{
    if(size === "small")
        return "noDetail";
    if(size === "medium")
        return "partialDetail";
    return "fullDetail";
}

通过功能超载游乐场链接