TypeScript：如何编写具有条件返回类型的函数

Question

export type Name = { name: string }
export type Id = { id: number }
export type Value<T> = T extends string ? Name : Id

export function create<T extends string | number>(value: T): Value<T> {
    if (typeof value === "string") return { name: value }

    return { id: value }
}

我正在玩 TypeScript 中的条件类型。我想写一个有条件返回类型的函数。如果函数得到一个字符串，则返回一个名称，否则返回一个 ID。

我的退货语句出现以下错误：

Type '{ name: T & string; }' is not assignable to type 'Value<T>'.

我错过了什么？谢谢！

编辑：直接取自 Anders Hejlsberg 在 Build 2018 上的演讲： https://youtu.be/hDACN-BGvI8?t=2241

他甚至说“我们不必再编写函数重载了……”

如果我将代码更改为声明，编译错误就会消失：

export type Name = { name: string }
export type Id = { id: number }

export type Value<T> = T extends string ? Name : Id

declare function create<T extends string | number>(value: T): Value<T>

const a = create("Bob")     // a : Name
const b = create(5)         // b : Id

所以我们可以声明函数签名。我想我的问题就变成了，我们将如何实际实现该功能？

Answer 1

这是另一个效果很好的解决方案。

我比公认的答案更喜欢这个解决方案因为你会在编码时得到正确的类型推导：

悬停时可以看到，它正确推断了类型。

这是截图中的代码：

export type Name = { name: string }
export type Id = { id: number }
export type Value<T extends string | number> = T extends string ? Name : Id

export function create<T extends string | number>(value: T): Value<T> {
    if (typeof value === 'string') return { name: value } as unknown as Value<T>

    return { id: value } as unknown as Value<T>
}

Answer 2

我不确定我是否完全理解您的示例，但我认为这就是您想要的？

type Name = { name: string }
type Id = { id: number }
type Value = Name | Id

export function create(value: string | number): Value {
  if (typeof value === "string") return { name: value }
  return { id: value }
}

看，我已经从您的示例中删除了所有泛型，因为在这种情况下我认为不需要它们

Answer 3

问题在于函数T 内部未知，因此您无法真正为Value<T> 赋值。一种选择是使用类型断言。一个更安全的选择是使用单独的实现签名，这样可以更轻松地处理输入和输出类型：

export function create<T extends string | number>(value: T): Value<T> // public signature
export function create(value: string | number): Name | Id { // more relaxed private implementation signature 
    if (typeof value === "string") return { name: value }

    return { id: value }
}