从错误用法推断出的泛型类型答案

【问题标题】：Generic type inferred from wrong usage从错误用法推断出的泛型类型
【发布时间】：2020-12-22 21:59:37
【问题描述】：

据我了解，TS 更喜欢直接使用类型而不是“盒装”类型（例如在函数中）来推断泛型类型。

type Props<O, V> = {
  options: O[]
  getOptionValue: (o: O) => V
  value?: V
  onChange?: (v: V, o: O) => void
}

在这个 sn-p 类型中，V 是从 value 字段推断出来的，这是不可取的，因为 value 属性是可选的。我可以以某种方式强制泛型类型推断依赖于getOptionValue 属性吗？

Sandbox example 如果没有 value 传递给组件，则其 onChange 参数 v 变为 unknown

【问题讨论】：

标签： typescript generics

【解决方案1】：

我认为这是不可能的，因为即使您完全删除了 value 属性，打字稿仍然不会使用 getOptionValue 来推断类型。

function C<O, V>(props: {
    options: O[]
    getOptionValue: (o: O) => V
    onChange?: (v: V, o: O) => void
}) {}

C({
    options: [""],
    getOptionValue: (o) => "test",
    onChange: (v, o) => v.test // error: v is STILL 'unknown'
})

【讨论】：

这里确实发生了其他事情，但我认为这并不能回答隐含的问题“我怎样才能正确推断出 V？”
@AlexWayne 当我写的时候我不这么认为，我的意思是我不认为这是可能的。
这回答了我的问题，因为我以某种方式得出结论，没有 value 支持它可以正确推断。我会稍等一下，以防万一有人想出任何解决方法来推断事情

【解决方案2】：

我有点倾向于将其作为this question 的副本关闭。尝试推断单个对象的类型时，编译器不会进行多次推断。

我在此处的解决方法建议与此处相同：将您的函数拆分为多个参数，而不是具有多个属性的单个参数。你甚至可以像这样创建一个辅助函数：

const props = <O, V>(
    options: O[],
    getOptionValue: (o: O) => V,
    value?: V,
    onChange?: (v: V, o: O) => void
): Props<O, V> => ({ options, getOptionValue, onChange })

然后使用它：

const theProps = props(
    [""],
    (o) => "test",
    undefined,
    (v, o) => v.length < o.length
);

在这里您可以看到O 和V 被正确推断为string 和v 在onChange 回调中不是unknown。您也可以通过传播将其与 JSX 一起使用：

const c = <C {...theProps} />;

这并不完美，因为您正在通过推理来换取多步骤 jsx 元素的创建。但它确实有效。

Playground link to code

【讨论】：