泛型函数上的条件类型：类型不可赋值

Question

我试图约束泛型函数的返回类型。（为了简化示例，请忽略函数的实际“有用性”）。

type MyReturnType<T> = T extends string ? number : Function;
type Input = string | number;
function myFn<T extends string | number>(input: T): MyReturnType<T> {
  return typeof input === 'string' ? 100 : (() => {});
}

但是返回语句会导致打字错误-

Type '100 | (() => void)' is not assignable to type 'MyReturnType<T>'.
  Type '100' is not assignable to type 'MyReturnType<T>'.

-这让我很困惑。在我的理解中，MyResnType

我觉得答案可能在条件类型的文档中，但我找不到它（老实说，这里文档的某些部分有点超出我的理解）。有人能给我解释一下这段话是怎么回事吗？

（TS 3.8.3）




Answer 1

这里的实际工作解决方案是使用重载：

type Input = string | number;
function myFn(input: string): number
function myFn(input: number): Function
function myFn(input: Input): number | Function {
    return typeof input === "string" ? 100 : () => {}
}

只要确保你写了一个来涵盖每一种输入类型的可能性。在我的例子中，我的论点有5种可能的类型（包括2种联合），我必须这样写：

type Value = string | number | null
export function divBy10toPow(value: string, power: number): number
export function divBy10toPow(value: null, power: number): null
export function divBy10toPow(value: number, power: number): number
export function divBy10toPow<T extends number | null>(value: T, power: number): T
export function divBy10toPow<T extends string | null>(value: T, power: number): T extends string ? number : null
export function divBy10toPow(value: Value, power: number): Value {
    return value === null
        ? null
        : BigNumber(value)
            .div(10 ** power)
            .toNumber()
}

您必须说明string|null和number|null的特定联合，否则它将无法正确键入返回值。

Answer 2

类似于将类型缩小到联合类型的编译器限制：

类型true不能分配给类型T2扩展键T1？true： false'#22735