Expand description

Disclaimer

This is the first crate I published so I am new to making things production ready. Therefore use this crate with caution and feedback is welcome.

partial_eq_dyn_derive

To implement PartialEq on types with trait object fields you can use the derive macro PartialEqDyn. The implementation needs the traits that are present as trait objects to have AsAny and DynPartialEq as supertraits. For those traits there also exist derive macros AsAny and DynPartialEq. Here an Example:

use partial_eq_dyn::{AsAny, DynPartialEq};
use partial_eq_dyn_derive::{AsAny, DynPartialEq, PartialEqDyn};

trait TestTrait:AsAny + DynPartialEq {}

#[derive(AsAny, DynPartialEq, PartialEq)]
struct TestTraitImplementor(i32);

impl TestTrait for TestTraitImplementor {}

#[derive(PartialEqDyn)]
struct TestStruct {
    field1: i32,
    field2: Box<i32>,
    field3: Box<dyn TestTrait>,
}

Or if the type implements the trait itself:

use partial_eq_dyn::{AsAny, DynPartialEq};
use partial_eq_dyn_derive::{AsAny, DynPartialEq, PartialEqDyn};
trait TestTrait: AsAny + DynPartialEq {}

#[derive(AsAny, DynPartialEq, PartialEqDyn)]
enum TestEnum {
    Some {
        field1: i32,
        field2: Box<i32>,
        field3: Box<dyn TestTrait>,
    },
    None,
}

impl TestTrait for TestEnum {}

Derive Macros

  • This derives the AsAny trait in its most easy form of an identity function
  • This derives the DynPartialEq trait by simple downcasting the Any Object to the given type and calling the regular PartialEq comparison. Therefor your Type has to implement PartialEq
  • This derives PartialEq but manages trait Objects by calling their dyn_eq methods and casting. To work all trait Objects have to be bounded by DynPartialEq and AsAny.