[][src]Struct std::raw::TraitObject

#[repr(C)]
pub struct TraitObject { pub data: *mut (), pub vtable: *mut (), }
🔬 This is a nightly-only experimental API. (raw #27751)

The representation of a trait object like &SomeTrait.

This struct has the same layout as types like &SomeTrait and Box<AnotherTrait>.

TraitObject is guaranteed to match layouts, but it is not the type of trait objects (e.g. the fields are not directly accessible on a &SomeTrait) nor does it control that layout (changing the definition will not change the layout of a &SomeTrait). It is only designed to be used by unsafe code that needs to manipulate the low-level details.

There is no way to refer to all trait objects generically, so the only way to create values of this type is with functions like std::mem::transmute. Similarly, the only way to create a true trait object from a TraitObject value is with transmute.

Synthesizing a trait object with mismatched types—one where the vtable does not correspond to the type of the value to which the data pointer points—is highly likely to lead to undefined behavior.

Examples

#![feature(raw)]

use std::{mem, raw};

// an example trait
trait Foo {
    fn bar(&self) -> i32;
}

impl Foo for i32 {
    fn bar(&self) -> i32 {
         *self + 1
    }
}

let value: i32 = 123;

// let the compiler make a trait object
let object: &Foo = &value;

// look at the raw representation
let raw_object: raw::TraitObject = unsafe { mem::transmute(object) };

// the data pointer is the address of `value`
assert_eq!(raw_object.data as *const i32, &value as *const _);

let other_value: i32 = 456;

// construct a new object, pointing to a different `i32`, being
// careful to use the `i32` vtable from `object`
let synthesized: &Foo = unsafe {
     mem::transmute(raw::TraitObject {
         data: &other_value as *const _ as *mut (),
         vtable: raw_object.vtable,
     })
};

// it should work just as if we had constructed a trait object out of
// `other_value` directly
assert_eq!(synthesized.bar(), 457);Run

Fields

🔬 This is a nightly-only experimental API. (raw #27751)
🔬 This is a nightly-only experimental API. (raw #27751)

Trait Implementations

impl Copy for TraitObject
[src]

impl Clone for TraitObject
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Auto Trait Implementations

impl !Send for TraitObject

impl !Sync for TraitObject

Blanket Implementations

impl<T, U> TryFrom for T where
    T: From<U>, 
[src]

🔬 This is a nightly-only experimental API. (try_from #33417)

The type returned in the event of a conversion error.

🔬 This is a nightly-only experimental API. (try_from #33417)

Performs the conversion.

impl<T> From for T
[src]

Performs the conversion.

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

🔬 This is a nightly-only experimental API. (try_from #33417)

The type returned in the event of a conversion error.

🔬 This is a nightly-only experimental API. (try_from #33417)

Performs the conversion.

impl<T, U> Into for T where
    U: From<T>, 
[src]

Performs the conversion.

impl<T> Borrow for T where
    T: ?Sized
[src]

Important traits for &'_ mut I

Immutably borrows from an owned value. Read more

impl<T> BorrowMut for T where
    T: ?Sized
[src]

Important traits for &'_ mut I

Mutably borrows from an owned value. Read more

impl<T> Any for T where
    T: 'static + ?Sized
[src]

🔬 This is a nightly-only experimental API. (get_type_id #27745)

this method will likely be replaced by an associated static

Gets the TypeId of self. Read more

impl<T> ToOwned for T where
    T: Clone
[src]

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into #41263)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more