Trait std_prelude::Deref

1.0.0 · source ·
pub trait Deref {
    type Target: ?Sized;

    // Required method
    fn deref(&self) -> &Self::Target;
}
Expand description

Used for immutable dereferencing operations, like *v.

In addition to being used for explicit dereferencing operations with the (unary) * operator in immutable contexts, Deref is also used implicitly by the compiler in many circumstances. This mechanism is called Deref coercion’. In mutable contexts, DerefMut is used.

Implementing Deref for smart pointers makes accessing the data behind them convenient, which is why they implement Deref. On the other hand, the rules regarding Deref and DerefMut were designed specifically to accommodate smart pointers. Because of this, Deref should only be implemented for smart pointers to avoid confusion.

For similar reasons, this trait should never fail. Failure during dereferencing can be extremely confusing when Deref is invoked implicitly.

More on Deref coercion

If T implements Deref<Target = U>, and x is a value of type T, then:

  • In immutable contexts, *x (where T is neither a reference nor a raw pointer) is equivalent to *Deref::deref(&x).
  • Values of type &T are coerced to values of type &U
  • T implicitly implements all the (immutable) methods of the type U.

For more details, visit the chapter in The Rust Programming Language as well as the reference sections on the dereference operator, method resolution and type coercions.

Examples

A struct with a single field which is accessible by dereferencing the struct.

use std::ops::Deref;

struct DerefExample<T> {
    value: T
}

impl<T> Deref for DerefExample<T> {
    type Target = T;

    fn deref(&self) -> &Self::Target {
        &self.value
    }
}

let x = DerefExample { value: 'a' };
assert_eq!('a', *x);

Required Associated Types§

source

type Target: ?Sized

The resulting type after dereferencing.

Required Methods§

source

fn deref(&self) -> &Self::Target

Dereferences the value.

Implementors§

source§

impl Deref for CString

§

type Target = CStr

source§

impl Deref for String

§

type Target = str

source§

impl Deref for OsString

source§

impl Deref for PathBuf

§

type Target = Path

1.36.0 · source§

impl<'a> Deref for IoSlice<'a>

§

type Target = [u8]

1.36.0 · source§

impl<'a> Deref for IoSliceMut<'a>

§

type Target = [u8]

source§

impl<'a, 'f> Deref for VaList<'a, 'f>where 'f: 'a,

§

type Target = VaListImpl<'f>

const: unstable · source§

impl<B> Deref for Cow<'_, B>where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Borrow<B>,

§

type Target = B

1.33.0 · source§

impl<P> Deref for Pin<P>where P: Deref,

§

type Target = <P as Deref>::Target

const: unstable · source§

impl<T> Deref for &Twhere T: ?Sized,

§

type Target = T

const: unstable · source§

impl<T> Deref for &mut Twhere T: ?Sized,

§

type Target = T

source§

impl<T> Deref for ThinBox<T>where T: ?Sized,

§

type Target = T

1.12.0 · source§

impl<T> Deref for PeekMut<'_, T>where T: Ord,

§

type Target = T

source§

impl<T> Deref for Ref<'_, T>where T: ?Sized,

§

type Target = T

source§

impl<T> Deref for RefMut<'_, T>where T: ?Sized,

§

type Target = T

1.20.0 (const: unstable) · source§

impl<T> Deref for ManuallyDrop<T>where T: ?Sized,

§

type Target = T

1.9.0 · source§

impl<T> Deref for AssertUnwindSafe<T>

§

type Target = T

source§

impl<T> Deref for MutexGuard<'_, T>where T: ?Sized,

§

type Target = T

source§

impl<T> Deref for RwLockReadGuard<'_, T>where T: ?Sized,

§

type Target = T

source§

impl<T> Deref for RwLockWriteGuard<'_, T>where T: ?Sized,

§

type Target = T

source§

impl<T> Deref for Arc<T>where T: ?Sized,

§

type Target = T

source§

impl<T> Deref for Rc<T>where T: ?Sized,

§

type Target = T

const: unstable · source§

impl<T, A> Deref for Box<T, A>where A: Allocator, T: ?Sized,

§

type Target = T

source§

impl<T, A> Deref for Vec<T, A>where A: Allocator,

§

type Target = [T]

source§

impl<T, F> Deref for LazyCell<T, F>where F: FnOnce() -> T,

§

type Target = T

source§

impl<T, F> Deref for LazyLock<T, F>where F: FnOnce() -> T,

§

type Target = T

impl<'a, S: 'a + ToOwned + ?Sized> Deref for ANSIGenericString<'a, S>where <S as ToOwned>::Owned: Debug,

impl Deref for Error

impl Deref for BStr

impl Deref for BString

impl Deref for Bytes

impl Deref for BytesMut

impl<S: Storage> Deref for StrInner<S>

impl Deref for OsStr

impl Deref for Str

impl<L, R> Deref for Either<L, R>where L: Deref, R: Deref<Target = L::Target>,

impl Deref for WakerRef<'_>

impl<T: ?Sized, U: ?Sized> Deref for MappedMutexGuard<'_, T, U>

impl<T: ?Sized> Deref for OwnedMutexGuard<T>

impl<T: ?Sized> Deref for MutexGuard<'_, T>

impl<T, N> Deref for GenericArray<T, N>where N: ArrayLength<T>,

impl<'input, Endian> Deref for EndianSlice<'input, Endian>where Endian: Endianity,

impl Deref for OidArray

impl Deref for Buf

impl Deref for Timestamp

impl Deref for Duration

impl<Target: SocketlikeViewType> Deref for SocketlikeView<'_, Target>

impl<Target: FilelikeViewType> Deref for FilelikeView<'_, Target>

impl<'a, R: RawRwLockUpgrade + 'a, T: ?Sized + 'a> Deref for RwLockUpgradableReadGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> Deref for MappedRwLockReadGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> Deref for RwLockWriteGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> Deref for MappedRwLockWriteGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> Deref for RwLockReadGuard<'a, R, T>

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> Deref for MappedReentrantMutexGuard<'a, R, G, T>

impl<'a, R: RawMutex + 'a, G: GetThreadId + 'a, T: ?Sized + 'a> Deref for ReentrantMutexGuard<'a, R, G, T>

impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> Deref for MutexGuard<'a, R, T>

impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> Deref for MappedMutexGuard<'a, R, T>

impl<T, F: FnOnce() -> T> Deref for Lazy<T, F>

impl<T, F: FnOnce() -> T> Deref for Lazy<T, F>

impl<'a> Deref for Event<'a>

impl<'a> Deref for BytesDecl<'a>

impl<'a> Deref for BytesCData<'a>

impl<'a> Deref for BytesStart<'a>

impl<'a> Deref for BytesEnd<'a>

impl<R> Deref for NsReader<R>

impl<'a> Deref for BytesText<'a>

impl<T> Deref for Gray<T>

impl<T> Deref for ConnectionCommon<T>

impl Deref for Connection

impl<T> Deref for Retrieved<T>

impl<T, F, S> Deref for ScopeGuard<T, F, S>where F: FnOnce(T), S: Strategy,

impl Deref for Prerelease

impl<A: Array> Deref for SmallVec<A>

impl<'s> Deref for SockRef<'s>

impl<'a> Deref for MaybeUninitSlice<'a>

impl<'rwlock, T: ?Sized> Deref for RwLockReadGuard<'rwlock, T>

impl<'rwlock, T: ?Sized> Deref for RwLockWriteGuard<'rwlock, T>

impl<'a, T: ?Sized> Deref for MutexGuard<'a, T>

impl<'rwlock, T: ?Sized> Deref for RwLockUpgradeableGuard<'rwlock, T>

impl Deref for SCOPE_REPO

impl<A: Array> Deref for ArrayVec<A>

impl<'s, T> Deref for SliceVec<'s, T>

impl<A: Array> Deref for TinyVec<A>

impl<T: ?Sized> Deref for OwnedMutexGuard<T>

impl<T: ?Sized> Deref for MutexGuard<'_, T>

impl<T: ?Sized, U: ?Sized> Deref for OwnedRwLockMappedWriteGuard<T, U>

impl<T: ?Sized> Deref for RwLockReadGuard<'_, T>

impl<T> Deref for Ref<'_, T>

impl<T: ?Sized, U: ?Sized> Deref for OwnedMappedMutexGuard<T, U>

impl<T: ?Sized> Deref for RwLockWriteGuard<'_, T>

impl<'a, T: ?Sized> Deref for MappedMutexGuard<'a, T>

impl<T: ?Sized> Deref for RwLockMappedWriteGuard<'_, T>

impl<T: ?Sized, U: ?Sized> Deref for OwnedRwLockReadGuard<T, U>

impl<'a, T> Deref for Locked<'a, T>

impl<'a> Deref for StrSpan<'a>

impl<Z> Deref for Zeroizing<Z>where Z: Zeroize,