如何解决如何一般地约束参数成为元组的成员?
从带有命名元组的Typescript 4.0开始,我想知道是否有可能实现以下目的:
declare const foo: <T extends string[],U extends memberOf T>(xs: T,x: U) => void
declare const ALL_OPTIONS: ['Alice','Bob']
foo(ALL_OPTIONS,'Carl') // Error
foo(ALL_OPTIONS,'Alice') // No Error
基本上,我试图将U
约束到元组的某个元素,如果存在memberOf
,可能会以与keyOf
相同的方式存在T
是一个对象。
解决方法
您可以使用U extends T[number]
,如下所示:
declare const foo: <T extends string[],U extends T[number]>(xs: T,x: U) => void
declare const ALL_OPTIONS: ['Alice','Bob']
foo(ALL_OPTIONS,'Carl') // Error
foo(ALL_OPTIONS,'Alice') // No Error
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。