由错误用法推断出的泛型类型

问题描述

据我了解，TS倾向于直接使用类型而不是使用“盒装”（例如，在函数中）来推断通用类型。

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

在此代码段中，从V字段推断出value类型，这是不希望的，因为value属性是可选的。我可以以某种方式强制泛型类型推断依赖于getoptionValue属性吗？

Sandbox example，如果没有value传递给组件，则其onChange自变量v变为unkNown

解决方法

我倾向于将其作为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，而unknown不是onChange 。您还可以通过传播将其与JSX一起使用：

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

这不是完美的，因为您可以通过推理来换取多步jsx元素创建。但这确实有效。

Playground link to code

,

我认为这是不可能的，因为即使完全删除了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'
})