1 unstable release
0.1.0 | Apr 30, 2024 |
---|
#2827 in Rust patterns
Used in 2 crates
15KB
266 lines
许多 trait 的实现全是模板代码,如 Debug
和 Eq
。其实现可以自动生成,让使用者免于繁琐。常用的方法是 derive 宏,但是提供者写来依然繁琐。许多语言有反射可以简化此类代码,可惜 Rust 没有。
一些 trait 的实现仅需数据的结构,而无需其名称之类,如 Eq
、Ord
、Hash
。此时,可以通过 Generic
,使用数据的结构,代替 derive 宏,通用地实现 trait,不增加使用难度而减少编写难度。也可以拿来做别的事情。
这一做法,是被 Haskell 的 Generic
启发而来的。它似乎有很多理论基础,而我做得比较朴实,Rust 的类型系统也整不了什么活。
此库是 no_std 的,且没有不安全代码。以下是基于此库的一些功能:
lib.rs
:
数据有结构,类型如 struct 或 enum 能表示为类型的积的和。
实现 Generic
的类型拥有表示 Generic::Repr
, 该类型的数据能与其表示互相转换。
utils
模块提供了有用(其实没啥用)的方法以操作实现 Generic
的类型。
README 有额外信息,Generic
的文档有详细说明。
Dependencies
~210–650KB
~15K SLoC