2 releases
0.1.1 | Jun 26, 2024 |
---|---|
0.1.0 | Jun 26, 2024 |
#418 in Procedural macros
25KB
400 lines
dynex
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>, // The trait `Meta` cannot be made into an object.
}
This crate provides a procedural macro for deriving object-unsafe traits:
use dynex::*;
#[dyn_trait]
pub trait Meta: Clone + PartialEq {}
#[derive(Clone, PartialEqFix)]
pub struct Foo {
meta: Box<dyn Meta>, // Now it works!
}
Note: PartialEqFix
has the exact same behavior as PartialEq
, but it workarounds a strange behavior of the Rust compiler. For other traits, you can just derive the original trait name.
Basic Example
Below is a basic example of how to use this crate:
use std::fmt::Debug;
use dynex::*;
#[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, PartialEqFix)]
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 dynex::*;
#[dyn_trait]
pub trait Meta: 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 {
// `Box<dyn Meta>` can be added!
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); // MetaImpl("114514")
}
Credits
The crate is inspired by the following crates:
License
MIT.
Dependencies
~235–680KB
~16K SLoC