pub trait AsRef<T>where
T: ?Sized,{
// Required method
fn as_ref(&self) -> &T;
}
mtls
only.Expand description
Used to do a cheap reference-to-reference conversion.
This trait is similar to AsMut
which is used for converting between mutable references.
If you need to do a costly conversion it is better to implement From
with type
&T
or write a custom function.
Relation to Borrow
AsRef
has the same signature as Borrow
, but Borrow
is different in a few aspects:
- Unlike
AsRef
,Borrow
has a blanket impl for anyT
, and can be used to accept either a reference or a value. (See also note onAsRef
’s reflexibility below.) Borrow
also requires thatHash
,Eq
andOrd
for a borrowed value are equivalent to those of the owned value. For this reason, if you want to borrow only a single field of a struct you can implementAsRef
, but notBorrow
.
Note: This trait must not fail. If the conversion can fail, use a
dedicated method which returns an Option<T>
or a Result<T, E>
.
Generic Implementations
AsRef
auto-dereferences if the inner type is a reference or a mutable reference
(e.g.: foo.as_ref()
will work the same if foo
has type &mut Foo
or &&mut Foo
).
Note that due to historic reasons, the above currently does not hold generally for all
dereferenceable types, e.g. foo.as_ref()
will not work the same as
Box::new(foo).as_ref()
. Instead, many smart pointers provide an as_ref
implementation which
simply returns a reference to the pointed-to value (but do not perform a cheap
reference-to-reference conversion for that value). However, AsRef::as_ref
should not be
used for the sole purpose of dereferencing; instead ‘Deref
coercion’ can be used:
let x = Box::new(5i32);
// Avoid this:
// let y: &i32 = x.as_ref();
// Better just write:
let y: &i32 = &x;
Types which implement Deref
should consider implementing AsRef<T>
as follows:
impl<T> AsRef<T> for SomeType
where
T: ?Sized,
<SomeType as Deref>::Target: AsRef<T>,
{
fn as_ref(&self) -> &T {
self.deref().as_ref()
}
}
Reflexivity
Ideally, AsRef
would be reflexive, i.e. there would be an impl<T: ?Sized> AsRef<T> for T
with as_ref
simply returning its argument unchanged.
Such a blanket implementation is currently not provided due to technical restrictions of
Rust’s type system (it would be overlapping with another existing blanket implementation for
&T where T: AsRef<U>
which allows AsRef
to auto-dereference, see “Generic Implementations”
above).
A trivial implementation of AsRef<T> for T
must be added explicitly for a particular type T
where needed or desired. Note, however, that not all types from std
contain such an
implementation, and those cannot be added by external code due to orphan rules.
Examples
By using trait bounds we can accept arguments of different types as long as they can be
converted to the specified type T
.
For example: By creating a generic function that takes an AsRef<str>
we express that we
want to accept all references that can be converted to &str
as an argument.
Since both String
and &str
implement AsRef<str>
we can accept both as input argument.
fn is_hello<T: AsRef<str>>(s: T) {
assert_eq!("hello", s.as_ref());
}
let s = "hello";
is_hello(s);
let s = "hello".to_string();
is_hello(s);
Required Methods§
Implementors§
impl AsRef<str> for str
impl AsRef<str> for RawStr
impl AsRef<str> for Uncased<'_>
impl AsRef<str> for UncasedStr
impl AsRef<str> for String
impl AsRef<str> for DnsName
Requires the alloc
feature.
impl AsRef<str> for HeaderName
impl AsRef<str> for Method
impl AsRef<str> for Authority
impl AsRef<str> for Scheme
impl AsRef<str> for Mime
impl AsRef<str> for Field
impl AsRef<str> for InlinableString
impl AsRef<str> for InlineString
impl AsRef<Key> for str
impl AsRef<Key> for RawStr
impl AsRef<Name> for str
impl AsRef<Name> for rocket::form::name::Name
impl AsRef<Name> for RawStr
impl AsRef<RawStr> for str
impl AsRef<RawStr> for RawStr
impl AsRef<RawStr> for RawStrBuf
impl AsRef<RawStr> for rocket::http::uri::Path<'_>
impl AsRef<RawStr> for Query<'_>
impl AsRef<UncasedStr> for Uncased<'_>
impl AsRef<Uuid> for Braced
impl AsRef<Uuid> for Hyphenated
impl AsRef<Uuid> for Simple
impl AsRef<Uuid> for Urn
impl AsRef<Vec<u8, Global>> for ByteBuf
impl AsRef<CStr> for CString
impl AsRef<CStr> for CStr
impl AsRef<OsStr> for Component<'_>
impl AsRef<OsStr> for str
impl AsRef<OsStr> for String
impl AsRef<OsStr> for OsStr
impl AsRef<OsStr> for OsString
impl AsRef<OsStr> for Components<'_>
impl AsRef<OsStr> for std::path::Iter<'_>
impl AsRef<OsStr> for std::path::Path
impl AsRef<OsStr> for PathBuf
impl AsRef<OsStr> for TempPath
impl AsRef<Path> for Cow<'_, OsStr>
impl AsRef<Path> for Component<'_>
impl AsRef<Path> for str
impl AsRef<Path> for String
impl AsRef<Path> for OsStr
impl AsRef<Path> for OsString
impl AsRef<Path> for Components<'_>
impl AsRef<Path> for std::path::Iter<'_>
impl AsRef<Path> for std::path::Path
impl AsRef<Path> for PathBuf
impl AsRef<Path> for TempDir
impl AsRef<Path> for TempPath
impl AsRef<Instant> for Instant
impl AsRef<TcpStream> for tokio::net::tcp::split::ReadHalf<'_>
impl AsRef<TcpStream> for tokio::net::tcp::split::WriteHalf<'_>
impl AsRef<TcpStream> for tokio::net::tcp::split_owned::OwnedReadHalf
impl AsRef<TcpStream> for tokio::net::tcp::split_owned::OwnedWriteHalf
impl AsRef<UnixStream> for tokio::net::unix::split::ReadHalf<'_>
impl AsRef<UnixStream> for tokio::net::unix::split::WriteHalf<'_>
impl AsRef<UnixStream> for tokio::net::unix::split_owned::OwnedReadHalf
impl AsRef<UnixStream> for tokio::net::unix::split_owned::OwnedWriteHalf
impl AsRef<Signal> for SignalStream
impl AsRef<Semaphore> for PollSemaphore
impl AsRef<Interval> for IntervalStream
impl AsRef<[u8; 12]> for Nonce
impl AsRef<[u8]> for str
impl AsRef<[u8]> for RawStr
impl AsRef<[u8]> for Uncased<'_>
impl AsRef<[u8]> for UncasedStr
impl AsRef<[u8]> for Uuid
impl AsRef<[u8]> for String
impl AsRef<[u8]> for ring::aead::Tag
impl AsRef<[u8]> for PublicKey
impl AsRef<[u8]> for Digest
impl AsRef<[u8]> for ring::hmac::Tag
impl AsRef<[u8]> for Document
impl AsRef<[u8]> for RsaSubjectPublicKey
impl AsRef<[u8]> for Signature
impl AsRef<[u8]> for DnsNameRef<'_>
impl AsRef<[u8]> for Bytes
impl AsRef<[u8]> for BytesMut
impl AsRef<[u8]> for h2::ext::Protocol
impl AsRef<[u8]> for HeaderName
impl AsRef<[u8]> for HeaderValue
impl AsRef<[u8]> for ByteBuf
impl AsRef<[u8]> for Certificate
impl AsRef<[u8]> for InlineString
impl AsRef<[u8]> for Protocol
impl AsRef<[u8]> for ReasonPhrase
impl<'a> AsRef<str> for BmpString<'a>
impl<'a> AsRef<str> for GeneralString<'a>
impl<'a> AsRef<str> for GraphicString<'a>
impl<'a> AsRef<str> for Ia5String<'a>
impl<'a> AsRef<str> for NumericString<'a>
impl<'a> AsRef<str> for ObjectDescriptor<'a>
impl<'a> AsRef<str> for PrintableString<'a>
impl<'a> AsRef<str> for TeletexString<'a>
impl<'a> AsRef<str> for UniversalString<'a>
impl<'a> AsRef<str> for Utf8String<'a>
impl<'a> AsRef<str> for VideotexString<'a>
impl<'a> AsRef<str> for VisibleString<'a>
impl<'a> AsRef<str> for rocket::mtls::oid::asn1_rs::nom::lib::std::string::Drain<'a>
impl<'a> AsRef<str> for mime::Name<'a>
impl<'a> AsRef<[u8]> for BitStringObject<'a>
impl<'a> AsRef<[u8]> for TbsCertList<'a>
impl<'a> AsRef<[u8]> for TbsCertificate<'a>
impl<'a> AsRef<[u8]> for BitString<'a>
impl<'a> AsRef<[u8]> for Integer<'a>
impl<'a> AsRef<[u8]> for OctetString<'a>
impl<'a> AsRef<[u8]> for Sequence<'a>
impl<'a> AsRef<[u8]> for Set<'a>
impl<'a> AsRef<[u8]> for rocket::mtls::oid::asn1_rs::nom::lib::std::string::Drain<'a>
impl<'a, T> AsRef<[T]> for SequenceOf<T>
impl<'a, T> AsRef<[T]> for SetOf<T>
impl<'a, T, A> AsRef<[T]> for rocket::mtls::oid::asn1_rs::nom::lib::std::vec::Drain<'a, T, A>where A: Allocator,
impl<'a, TagKind, T> AsRef<T> for TaggedParser<'a, TagKind, T>
impl<A> AsRef<[<A as Array>::Item]> for SmallVec<A>where A: Array,
impl<A> AsRef<[u8]> for Aad<A>where A: AsRef<[u8]>,
impl<F> AsRef<Path> for NamedTempFile<F>
impl<L, R> AsRef<str> for Either<L, R>where L: AsRef<str>, R: AsRef<str>,
impl<L, R> AsRef<CStr> for Either<L, R>where L: AsRef<CStr>, R: AsRef<CStr>,
Requires crate feature use_std
.
impl<L, R> AsRef<OsStr> for Either<L, R>where L: AsRef<OsStr>, R: AsRef<OsStr>,
Requires crate feature use_std
.
impl<L, R> AsRef<Path> for Either<L, R>where L: AsRef<Path>, R: AsRef<Path>,
Requires crate feature use_std
.