如何解决由错误用法推断出的泛型类型
据我了解,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元素创建。但这确实有效。
,我认为这是不可能的,因为即使完全删除了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'
})
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。