You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 6, 2024. It is now read-only.
Warning
尚未完成的定义。
现在事件类型
Event
更加简化了。不再有Event.Key
,也不再在顶层类型Event
中就约束大量的属性(比如要求Bot
的存在),而是仅要求一个id
。但是事件一层层的类型定义依旧是个头大的事情。想要让它们尽可能简单且全面,同时避免产生大量地同义属性。
比如:
上述示例中,
GroupEvent
中的group
和actor
就是所说的“同义属性”。但是想要让事件类型的继承关系层层递进,想要避免这种“同义属性”就会比较困难:
例如,如果想要避免,那么
GroupEvent
中可以直接沿用actor
而不再新增group
属性,但是这样就会略反直觉,因为在
GroupEvent
中的group
竟然不叫group
。或者对于这类属性,约束它们只有一个,并定义为一个比较通用的名字,比如
source
或content
。但是这样就需要尽量避免出现两个此类事件类型被同时实现的情况。比如:
The text was updated successfully, but these errors were encountered: