#traits #interface #object #query #dynamically #dynamic #access

query_interface

Dynamically query a type-erased object for any trait implementation

8 releases

Uses old Rust 2015

0.3.5 Mar 24, 2018
0.3.4 Mar 23, 2018
0.3.3 Sep 8, 2016
0.2.0 Sep 4, 2016
0.1.0 Sep 4, 2016

#1729 in Rust patterns

Download history 58/week @ 2023-12-04 95/week @ 2023-12-11 107/week @ 2023-12-18 92/week @ 2023-12-25 55/week @ 2024-01-01 152/week @ 2024-01-08 96/week @ 2024-01-15 53/week @ 2024-01-22 47/week @ 2024-01-29 75/week @ 2024-02-05 142/week @ 2024-02-12 72/week @ 2024-02-19 123/week @ 2024-02-26 127/week @ 2024-03-04 88/week @ 2024-03-11 117/week @ 2024-03-18

457 downloads per month
Used in 37 crates (29 directly)

MIT/Apache

28KB
512 lines

query_interface

Dynamically query a type-erased object for any trait implementation

Documentation

Example:

#[macro_use]
extern crate query_interface;

use query_interface::{Object, ObjectClone};
use std::fmt::Debug;

#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Debug)]
struct Foo;

interfaces!(Foo: ObjectClone, Debug, Bar);

trait Bar {
    fn do_something(&self);
}
impl Bar for Foo {
    fn do_something(&self) {
        println!("I'm a Foo!");
    }
}

fn main() {
    let obj = Box::new(Foo) as Box<Object>;
    let obj2 = obj.clone();
    println!("{:?}", obj2);
   
    obj2.query_ref::<Bar>().unwrap().do_something();  // Prints: "I'm a Foo!"
}

In short, this allows you to pass around Objects and still have access to any of the (object-safe) traits implemented for the underlying type. The library also provides some useful object-safe equivalents to standard traits, including ObjectClone, ObjectPartialEq, ObjectPartialOrd, ObjectHash.

To improve usability, the non-object-safe versions of the traits are implemented directly on the Object trait object, allowing you to easily clone Objects and store them in collections.

You can have your own Object-like traits to enforce some additional static requirements by using the mopo! macro:

trait CustomObject : Object {
    ...
}
mopo!(CustomObject);

struct Foo;
interfaces!(Foo: CustomObject);

impl CustomObject for Foo {
    ...
}

Now you can use CustomObject in all the ways you could use Object.

With the "dynamic" feature, you can at runtime register additional traits to be queryable on a type. This allows you to bypass the normal coherence rules:

trait Custom {}
impl Custom for String {}

fn main() {
    dynamic_interfaces! {
        String: Custom;
    }
}

Dependencies