#bitflags #enums #bitset #variant #proc-macro #structure

varflags

导出 varflags 宏的 crate,允许使用单元枚举与 Varflags 结构体结合,创建易于使用的基于枚举变体的位标志数据结构

2 个版本

0.0.2 2024 年 2 月 15 日
0.0.1 2024 年 2 月 15 日

#1083数据结构

MIT/Apache

20KB
301

Rust

导出 varflags 宏的 crate,允许使用类似单元的枚举与 Varflags 结构体结合,创建易于使用的基于枚举变体的位标志数据结构。

启用功能 "serde" 以启用适用于大多数类型的 serde::Serializeserde::Deserialize

深受著名的 enumflags2 crate 启发。可能最好使用那个 crate,因为它经过了良好的测试和采用。 varflags 是我在构建过程宏时的动手学习经验(不包含来自 enumflags2 的代码)。它还依赖于我的其他 crate bitworks,这是一个从头开始实现的泛型位集数据结构实现。除非你使用 bitworks,否则几乎没有理由使用 varflags

示例

use varflags::varflags;
 
#[derive(Copy, PartialEq, Eq, Debug)]
#[varflags]
enum TestInput {
    // Representation of the unspecified bits will be calculated
    A,
    B,
    C,
    // Or you can manually specify:
    D = 0b00010000,
    // Subattributes allow to change representation too:
    #[flag = 0b10000000]
    E,
    // or like this (corresponds to 0b01000000):
    #[shift = 6]
    F,
    // Representation of the unspecified bits will be calculated
    G,
    H,
}
 
fn example() {
    // Input enum variants are still intact.
    let a = TestInput::A;
    let b = TestInput::B;
    
    // All variants have correctly set discriminants.
    assert_eq!(u8::from(TestInput::D), 0b00010000);
    assert_eq!(u8::from(TestInput::E), 0b10000000);
    assert_eq!(u8::from(TestInput::F), 0b01000000);
 
    // Operators allow easy construction of Varflags values.
    // Here c is Varflags<TestInput, Bitset8>.
    let c = a | b | TestInput::D;
    //                                                                             EFHDGCBA
    assert_eq!(c, TestInputVarflags::_from_inner(bitworks::prelude::Bitset8::new(0b00010011)));
 
    // Can check if Varflags value contains a flag.
    assert!(c.contains(&TestInput::A));
    assert!(!c.contains(&TestInput::H));
 
    // Can check if Varflags value includes all flags of another Varflags value.
    let d = TestInput::A | TestInput::B;
    let e = TestInput::A | TestInput::C;
    
    assert!(c.includes(&d));
    assert!(!c.includes(&e));
 
 
    // Can check if two Varflags values share at least one flag between themselves.
    let f = TestInput::F | TestInput::H;
 
    assert!(c.intersects(&e));
    assert!(!c.intersects(&f));
 
    // Can iterate over contained flags.
    let x = TestInputVarflags::ALL;
    let mut iter = x.variants();
 
    assert_eq!(iter.next(), Some(TestInput::A));
    assert_eq!(iter.next(), Some(TestInput::B));
    assert_eq!(iter.next(), Some(TestInput::C));
    assert_eq!(iter.next(), Some(TestInput::G));
    assert_eq!(iter.next(), Some(TestInput::D));
    assert_eq!(iter.next(), Some(TestInput::H));
    assert_eq!(iter.next(), Some(TestInput::F));
    assert_eq!(iter.next(), Some(TestInput::E));
    assert_eq!(iter.next(), None);
 
    // Can collect from iterator over flags.
    let iter = c.variants();
    let c: TestInputVarflags = iter.collect();
    //                                                                             EFHDGCBA
    assert_eq!(c, TestInputVarflags::_from_inner(bitworks::prelude::Bitset8::new(0b00010011)));
 
    // Can be made into string with Display or Debug.
    let display = format!("{c}");
    let debug = format!("{c:?}");

    assert_eq!(display.as_str(), "{A, B, D}");
    assert_eq!(debug.as_str(), "Varflags{A, B, D}");
}

许可证

许可方式任选其一

任选。

贡献

除非你明确说明,否则根据 Apache-2.0 许可证定义,你故意提交以包含在作品中的任何贡献,应如上所述双重许可,不附加任何额外条款或条件。

依赖项

~0.5–1MB
~24K SLoC