dync 0.6.0

An efficient alternative to `dyn Trait` for containerized types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

//! Given that one trait inherits the behaviour of another, it is possible to downcast a value of a
//! more specific trait to a more general one.
//!
//! For this to work, we must use the `#[dync_mod]` attribute on a local module that defines the
//! traits in question.

#[cfg(feature = "traits")]
fn main() {
    use dync::BoxValue;
    use dync_derive::dync_mod;
    use std::rc::Rc;

    #[dync_mod]
    mod traits {
        pub trait ValBase: Clone + PartialEq + std::fmt::Debug {}
        impl<T> ValBase for T where T: Clone + PartialEq + std::fmt::Debug {}

        // Overlaps in the referenced traits are resolved.
        pub trait Val: ValBase + PartialEq + Eq + std::hash::Hash + std::fmt::Debug {}
        impl<T> Val for T where T: ValBase + PartialEq + Eq + std::hash::Hash + std::fmt::Debug {}
    }

    use traits::*;

    type MyVal = BoxValue<ValVTable>;
    type MyValBase = BoxValue<ValBaseVTable>;

    let v = MyVal::new(Rc::new(32i32));
    let u: MyValBase = v.upcast();
    let w = u.clone();
    println!("w is {:?}", &w);
    let w = w.downcast::<Rc<i32>>().unwrap();
    let count = Rc::strong_count(&w);
    println!("... with reference count {}", count);
}

#[cfg(not(feature = "traits"))]
fn main() {
    panic!("This example requires the 'traits' feature");
}