在推断泛型类型时避免扩大

Question

以这个函数为例

type Decoder<A, B> = (v: A) => B 

declare function test<Values, D extends Decoder<Values, unknown>>(options: {
    values: Values,
    decoder: D,
    onDecoded: (decodedValue: ReturnType<D>) => unknown
}): void;

这个想法是onDecoded 输入由decoder 计算的值。然而：

test({
    values: { a: "" },
    decoder: values => values.a.length,
    onDecoded: decodedValue => {
        decodedValue // unknown
    }
})

奇怪的是，如果我在decoder 的定义中不使用values，那么decodedValue 的类型是正确的

test({
    values: { a: "" },
    decoder: () => 42,
    onDecoded: decodedValue => {
        decodedValue // number
    }
})

这是一个playground link 与相同的例子

有没有办法让原始示例工作？

Answer 1

这里的问题是编译器在推断出一切之前就放弃了。你有一个对象，编译器需要从中推断出两个类型参数，但它不能一次完成。

首先让我将您的签名重构为一个几乎等效的版本，可能更易于分析：

declare function test<A, B>(options: {
    values: A,
    decoder: (a: A) => B,
    onDecoded: (b: B) => unknown
}): void;

这与您的版本具有相同的推理问题，但谈论类型要容易一些。无论如何，编译器需要从 options 值 passend 推断出 A 和 B，您想从中推断出 A 和 B。它可以从values的类型推断A，但它可能无法推断B，除非decoder的实现碰巧不依赖A，所以它失败了。

类型推断的细节不是我的专家。但是，如果对这个问题有一个规范的答案，那就是microsoft/TypeScript#38872，它使用非常相似的数据结构并遇到了同样的问题。这在 TypeScript 中被归类为设计限制，因此可能无法在不更改 test 函数或调用方式的情况下解决此问题。

---

改变你调用它的方式将涉及向编译器提供足够的类型信息以使其工作。例如，如果你在调用decoder的输入参数的时候注释了它的类型，你就可以了：

test({
    values: { a: "" },
    decoder: (values: { a: string }) => values.a.length, // annotate
    onDecoded: decodedValues => {
        decodedValues // number
    }
})

或者您可以更改test() 的定义方式。我的一个建议是将options 对象拆分为单独的参数。与单个参数相比，编译器更愿意为不同的函数参数花费多次推理传递。可能是这样的：

declare function test2<A, B>(values: A,
    decoder: (a: A) => B,
    onDecoded: (b: B) => unknown
): void;

test2(
    { a: "" },
    values => values.a.length,
    decodedValues => {
        decodedValues // number
    }
)

test2({ a: "" },
    () => 42,
    decodedValues => {
        decodedValues // number
    }
)

这些推理完全按照您的意愿工作，如果必须，您可以使用 D 和 ReturnType 重写它们。

---

我猜你走哪条路取决于你。无论如何，希望有所帮助；祝你好运！

Playground link