据我了解,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
答案 0 :(得分: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
,而unknown
不是onChange
。您还可以通过传播将其与JSX一起使用:
const c = <C {...theProps} />;
这不是完美的,因为您可以通过推理来换取多步jsx元素创建。但这确实有效。
答案 1 :(得分: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'
})