Trait IntoOwned

Source

pub trait IntoOwned<'a> {
    type Owned;

    // Required methods
    fn into_owned(self) -> Self::Owned;
    fn clone_onto(self, other: &mut Self::Owned);
    fn borrow_as(owned: &'a Self::Owned) -> Self;
}

Expand description

A reference type corresponding to an owned type, supporting conversion in each direction.

This trait can be implemented by a GAT, and enables owned types to be borrowed as a GAT. This trait is analogous to ToOwned, but not as prescriptive. Specifically, it avoids the requirement that the other trait implement Borrow, for which a borrow must result in a &'self Borrowed, which cannot move the lifetime into a GAT borrowed type.

Required Associated Types§

Source

type Owned

Owned type into which this type can be converted.

Required Methods§

Source

fn into_owned(self) -> Self::Owned

Conversion from an instance of this type to the owned type.

Source

fn clone_onto(self, other: &mut Self::Owned)

Clones self onto an existing instance of the owned type.

Source

fn borrow_as(owned: &'a Self::Owned) -> Self

Borrows an owned instance as oneself.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Trait IntoOwnedCopy item path

Required Associated Types§

type Owned

Required Methods§

fn into_owned(self) -> Self::Owned

fn clone_onto(self, other: &mut Self::Owned)

fn borrow_as(owned: &'a Self::Owned) -> Self

Dyn Compatibility§

Implementations on Foreign Types§

impl<'a> IntoOwned<'a> for bool

type Owned = bool

fn into_owned(self) -> <bool as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <bool as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <bool as IntoOwned<'a>>::Owned) -> bool

impl<'a> IntoOwned<'a> for char

type Owned = char

fn into_owned(self) -> <char as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <char as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <char as IntoOwned<'a>>::Owned) -> char

impl<'a> IntoOwned<'a> for f32

type Owned = f32

fn into_owned(self) -> <f32 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <f32 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <f32 as IntoOwned<'a>>::Owned) -> f32

impl<'a> IntoOwned<'a> for f64

type Owned = f64

fn into_owned(self) -> <f64 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <f64 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <f64 as IntoOwned<'a>>::Owned) -> f64

impl<'a> IntoOwned<'a> for i8

type Owned = i8

fn into_owned(self) -> <i8 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <i8 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <i8 as IntoOwned<'a>>::Owned) -> i8

impl<'a> IntoOwned<'a> for i16

type Owned = i16

fn into_owned(self) -> <i16 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <i16 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <i16 as IntoOwned<'a>>::Owned) -> i16

impl<'a> IntoOwned<'a> for i32

type Owned = i32

fn into_owned(self) -> <i32 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <i32 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <i32 as IntoOwned<'a>>::Owned) -> i32

impl<'a> IntoOwned<'a> for i64

type Owned = i64

fn into_owned(self) -> <i64 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <i64 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <i64 as IntoOwned<'a>>::Owned) -> i64

impl<'a> IntoOwned<'a> for i128

type Owned = i128

fn into_owned(self) -> <i128 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <i128 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <i128 as IntoOwned<'a>>::Owned) -> i128

impl<'a> IntoOwned<'a> for isize

type Owned = isize

fn into_owned(self) -> <isize as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <isize as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <isize as IntoOwned<'a>>::Owned) -> isize

impl<'a> IntoOwned<'a> for u8

type Owned = u8

fn into_owned(self) -> <u8 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <u8 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <u8 as IntoOwned<'a>>::Owned) -> u8

impl<'a> IntoOwned<'a> for u16

type Owned = u16

fn into_owned(self) -> <u16 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <u16 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <u16 as IntoOwned<'a>>::Owned) -> u16

impl<'a> IntoOwned<'a> for u32

type Owned = u32

fn into_owned(self) -> <u32 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <u32 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <u32 as IntoOwned<'a>>::Owned) -> u32

impl<'a> IntoOwned<'a> for u64

type Owned = u64

fn into_owned(self) -> <u64 as IntoOwned<'a>>::Owned

fn clone_onto(self, other: &mut <u64 as IntoOwned<'a>>::Owned)

fn borrow_as(owned: &'a <u64 as IntoOwned<'a>>::Owned) -> u64

impl<'a> IntoOwned<'a> for u128

Trait IntoOwned

impl<'a, A> IntoOwned<'a> for (A,)
where A: IntoOwned<'a>,

impl<'a, A, B> IntoOwned<'a> for (A, B)
where A: IntoOwned<'a>, B: IntoOwned<'a>,

impl<'a, A, B, C> IntoOwned<'a> for (A, B, C)
where A: IntoOwned<'a>, B: IntoOwned<'a>, C: IntoOwned<'a>,