fed

用法

在您的 Cargo.toml 文件中

[dependencies]
fed = "0.4"

为了能够声明类型联合，各种 Fed* 类型需要由您的 crate 拥有。为此，声明泛型 FedX<*_> 的代码包含在一个宏中，用户需要在 crate 根目录中调用此宏

#[macro_use]
extern crate fed as fed_;
init_fed!();

这将创建一个位于 crate 根目录的 fed 模块。

由于许多功能（特别是 .into() 技巧）目前只能在具体类型上定义，您需要显式使用 fed! 宏声明类型联合

fed!(
    usize,
    bool,
    Option<String>,
    char,
);

这将实现对于具体类型 Fed4<usize, bool, Option<String>, char> 以及所有 2 型和 3 型子集的具体类型 Fed2 和 Fed3 在 ::fed::* 中的特征。

由于 Fed1 是仅包含一个类型的联合，因此它可以有完全泛型的 ::fed::* 特征实现。

三个直接相关的限制

1. 当使用任何生成的具体类型联合并指定联合中的类型时，类型必须按照在 fed! 调用中声明的顺序列出。在上面的例子中，Fed2<usize, bool> 现在是可用的，但 Fed2<bool, usize> 是不可用的。

2. 由于 Rust 禁止重复的相同特征实现，第二个 fed! 声明中列出的类型不能与第一个类型联合中的类型集合有超过一个类型的共同子集（除非您以这种方式排列第二个类型联合，使得没有有序子集与第一个类型联合的有序子集相同（如第一点所述））。

3. 不支持超过 8 个类型的类型联合。

use ::fed::*;

let vec: Vec<Fed3<usize, bool, char>> = vec![
    false.into(),
    27usize.into(),
    0usize.into(),
    'A'.into(),
];

assert_eq!(vec.iter().filter(Fed::is::<usize>).count(), 2);
assert_eq!(vec[3].extract::<char>(), Ok('A'));

#[macro_use]
extern crate serde_derive;

init_fed!(@deriving: [Serialize, Deserialize]);