- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试定义一个强类型的事件发射器,我最想要的是从传递给 addEventHandler
函数的字符串中推断出回调的事件类型。
但到目前为止我都失败了,我想出的是从回调中推断出事件类型,而不是相反。
这是一个示例(带有 fiddle ):
interface NumberEvent {
type: 'NumberEvent';
num: number;
}
interface StringEvent {
type: 'StringEvent';
str: string;
}
type AnyEvent = NumberEvent | StringEvent;
const addEventHandler = <ET extends AnyEvent>(type: ET['type'], handler: ((event: ET) => void)) => {
console.log(`added event handler for ${type}`);
}
addEventHandler('NumberEvent', (event: NumberEvent) => {
// this is cool
});
addEventHandler('NumberEvent', (event: StringEvent) => {
// this doesn't type check, good
});
addEventHandler('type does not exist', (x: any) => {
// why no type error?
});
我不明白为什么最后一行要进行类型检查,因为没有类型为'type does not exist'
的AnyEvent
实例。
你能想出更好的方法来解决这个问题吗?
最佳答案
您可以通过制作 addEventHandler
来实现此目的事件类型的泛型,而不是事件对象。
const addEventHandler = <ET extends AnyEvent['type']>(
type: ET,
handler: ((event: Extract<AnyEvent, { type: ET }>) => void)
) => {
console.log(`added event handler for ${type}`);
}
你也可以使用 AnyEvent & { type: ET }
而不是 Extract<AnyEvent & { type: ET }
你的类型没有阻止最后一种情况的原因是因为 ET
被推断为 any
. any["type"]
还是any
, 所以它会允许任何字符串。
上面的版本仍然不会阻止某人这样做:
addEventHandler<any>('type does not exist', (x: any) => {
// explicitly providing <any>
});
您可以使用 <anything> & any
来防止这种情况发生是any
,但就我个人而言,我不会打扰。没有人可能提供 any
除非故意破坏你的类型。随着any
检查,你也可以回到你的通用:
type NotAny<T> = 0 extends (1 & T) ? never : T;
const addEventHandler = <ET extends AnyEvent>(type: NotAny<ET["type"]>, handler: ((event: ET) => void)) => {
console.log(`added event handler for ${type}`);
}
关于typescript - 如何强类型化事件发射器,以便从事件类型推断出处理程序的参数类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/70551022/
我在 vscode 中使用带有 TypeScript 的 Svelte,并且在 vscode 中安装了 Svelte 扩展。 在我的 App.svelte 中有 // a bunch of co
我想延长go-validator返回更好的类型: type Error map[string][]error // Will output the first error when stringifi
在 python 中,您可以定义具有自动值的类型化枚举: import enum from enum import auto class Ordinals(enum.IntEnum): FIRST
我有一个 custom set我想在打字 Racket 中使用它。一世 要求它使用 require/typed与 #:opaque custom-set?操作说明。它工作,除了代码在运行时失败,当我
下面2种设置HttpClient的场景有什么区别吗? 我应该更喜欢一个吗? 输入客户端: public class CatalogService { private readonly Http
我正在尝试创建一个 dbTyped 和大小的 SqlParameters 数组。这工作正常,但如果我需要另一列,则会导致更改两个地方的代码。 SqlParameter[] parameters = {
我有一个用例,其中复杂的 UI 层次结构需要在 iframe 中呈现,但处理它的逻辑(创建、输入文档、事件处理、退出文档)需要在主框架/应用程序中。 我在获取对 iframe 的 Document 实
我最近将 VS 2005 升级到了 2010 年,对 LinQ 还很陌生。也许有人可以把我放在正确的方式。 背景 : 我有一个类型化数据集,并且使用 Table AccessRule 扩展了标准 SQ
我问这个只是为了澄清我的想法是否正确。 静态/动态类型如果变量的类型在编译时已知,则语言是静态类型的。这实际上意味着您作为程序员必须指定每个变量的类型。示例:Java、C、C++。 如果在运行时解释变
当我使用 CultureInfo Typed DataMember 调用我的 WCF 服务的方法时,它抛出 CommunicationException。 我该如何解决这个问题? The InnerE
我想将项目转换为字符串数组或用于填充 ListBox.DataSource 的类型。该类型已覆盖 ToString(),但我似乎无法将其转换,甚至无法转换为 String[]。 String[] a
如何获取/打印(键入的)查询后面的 JPQL 查询字符串,即设置之后参数? (例如,用于调试目的) 一个简单的 toString() 似乎并不能解决问题... 谢谢 最佳答案 没有“最终被翻译成最终
这是 Scala 2.8.0 beta 对这个问题的跟进: What is a proper way to manage flexible, typed, immutable data structu
我是一名优秀的程序员,十分优秀!