1.0.0[−][src]Trait boolean_enums::lstd::ops::Deref
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
on non-pointer types 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 typeU
.
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) -> &T { &self.value } } let x = DerefExample { value: 'a' }; assert_eq!('a', *x);
Associated Types
Loading content...Required methods
Loading content...Implementations on Foreign Types
impl<'_, T> Deref for &'_ T where
T: ?Sized,
[src]
impl<'_, T> Deref for &'_ T where
T: ?Sized,
impl<'_, T> Deref for &'_ mut T where
T: ?Sized,
[src]
Loading content...
impl<'_, T> Deref for &'_ mut T where
T: ?Sized,
Implementors
impl Deref for CString
[src]
impl Deref for CString
impl Deref for OsString
[src]
impl Deref for OsString
impl Deref for PathBuf
[src]
impl Deref for PathBuf
impl Deref for String
[src]
impl Deref for String
impl<'_, T> Deref for Ref<'_, T> where
T: ?Sized,
[src]
impl<'_, T> Deref for Ref<'_, T> where
T: ?Sized,
impl<'_, T> Deref for RefMut<'_, T> where
T: ?Sized,
[src]
impl<'_, T> Deref for RefMut<'_, T> where
T: ?Sized,
impl<'a, B> Deref for Cow<'a, B> where
B: ToOwned + ?Sized,
[src]
impl<'a, B> Deref for Cow<'a, B> where
B: ToOwned + ?Sized,
impl<'a, T> Deref for PeekMut<'a, T> where
T: Ord,
[src]
impl<'a, T> Deref for PeekMut<'a, T> where
T: Ord,
impl<'mutex, T> Deref for MutexGuard<'mutex, T> where
T: ?Sized,
[src]
impl<'mutex, T> Deref for MutexGuard<'mutex, T> where
T: ?Sized,
impl<'rwlock, T> Deref for RwLockReadGuard<'rwlock, T> where
T: ?Sized,
[src]
impl<'rwlock, T> Deref for RwLockReadGuard<'rwlock, T> where
T: ?Sized,
impl<'rwlock, T> Deref for RwLockWriteGuard<'rwlock, T> where
T: ?Sized,
[src]
impl<'rwlock, T> Deref for RwLockWriteGuard<'rwlock, T> where
T: ?Sized,
impl<P> Deref for Pin<P> where
P: Deref,
[src]
impl<P> Deref for Pin<P> where
P: Deref,
impl<T> Deref for ManuallyDrop<T> where
T: ?Sized,
[src]
impl<T> Deref for ManuallyDrop<T> where
T: ?Sized,
impl<T> Deref for AssertUnwindSafe<T>
[src]
impl<T> Deref for AssertUnwindSafe<T>
impl<T> Deref for Box<T> where
T: ?Sized,
[src]
impl<T> Deref for Box<T> where
T: ?Sized,
impl<T> Deref for Vec<T>
[src]
impl<T> Deref for Vec<T>
impl<T> Deref for Rc<T> where
T: ?Sized,
[src]
impl<T> Deref for Rc<T> where
T: ?Sized,
impl<T> Deref for Arc<T> where
T: ?Sized,
[src]
impl<T> Deref for Arc<T> where
T: ?Sized,