dyn_derive
Inherit and derive object-unsafe traits for dynamic Rust.
Introduction
Object safety is a property of traits in Rust that determines whether the trait can be used as a trait object. However, there are many useful traits that are not object-safe, such as Clone and PartialEq.
For example, you cannot simply write:
pub trait Meta: Clone + PartialEq {}
#[derive(Clone, PartialEq)]
pub struct Foo {
meta: Box<dyn Meta>, }
This crate provides a procedural macro for deriving object-unsafe traits:
use dyn_derive::*;
#[dyn_trait]
pub trait Meta: Clone + PartialEq {}
#[derive(Clone, PartialEq)]
pub struct Foo {
meta: Box<dyn Meta>, }
Basic Example
Below is a basic example of how to use this crate:
use std::fmt::Debug;
use dyn_derive::*;
#[dyn_trait]
pub trait Meta: Debug + Clone + PartialEq {
fn answer(&self) -> i32 {
42
}
}
#[derive(Debug, Clone, PartialEq)]
pub struct MetaImpl;
impl Meta for MetaImpl {}
#[derive(Debug, Clone, PartialEq)]
pub struct Foo {
meta: Box<dyn Meta>,
}
fn main() {
let foo1 = Foo { meta: Box::new(MetaImpl) };
let foo2 = Foo { meta: Box::new(MetaImpl) };
assert_eq!(foo1, foo2);
let foo3 = foo1.clone();
assert_eq!(foo3.meta.answer(), 42);
}
Non-Derivable Traits
Taking the Add trait as an example:
use std::fmt::Debug;
use std::ops::Add;
use dyn_derive::*;
#[dyn_trait]
pub trait Meta: Sized + Debug + Add {}
#[derive(Debug)]
pub struct MetaImpl(String);
impl Meta for MetaImpl {}
impl Add for MetaImpl {
type Output = Self;
fn add(self, rhs: Self) -> Self {
Self(self.0 + &rhs.0)
}
}
pub struct Foo {
pub meta: Box<dyn Meta>,
}
impl Add for Foo {
type Output = Self;
fn add(self, rhs: Self) -> Self {
Self {
meta: self.meta + rhs.meta,
}
}
}
fn main() {
let foo1 = Foo { meta: Box::new(MetaImpl("114".into())) };
let foo2 = Foo { meta: Box::new(MetaImpl("514".into())) };
let foo3 = foo1 + foo2;
println!("{:?}", foo3.meta); }
Features
extra-cmp-impl
There is a known issue with PartialEq: rust-lang/rust#31740. The crate provides two approaches to work around this issue:
- With feature
extra-cmp-impl: the dyn_trait macro will implement extra PartialEq<&Self>.
- Without feature
extra-cmp-impl: you can use PartialEqFix derive macro instead of PartialEq.
This feature is enabled by default.
Credits
The crate is inspired by the following crates:
License
MIT.