pub trait Default: Sized {
// Required method
fn default() -> Self;
}
Expand description
A trait for giving a type a useful default value.
Sometimes, you want to fall back to some kind of default value, and
don’t particularly care what it is. This comes up often with struct
s
that define a set of options:
struct SomeOptions {
foo: i32,
bar: f32,
}
How can we define some default values? You can use Default
:
#[derive(Default)]
struct SomeOptions {
foo: i32,
bar: f32,
}
fn main() {
let options: SomeOptions = Default::default();
}
Now, you get all of the default values. Rust implements Default
for various primitives types.
If you want to override a particular option, but still retain the other defaults:
fn main() {
let options = SomeOptions { foo: 42, ..Default::default() };
}
§Derivable
This trait can be used with #[derive]
if all of the type’s fields implement
Default
. When derive
d, it will use the default value for each field’s type.
§enum
s
When using #[derive(Default)]
on an enum
, you need to choose which unit variant will be
default. You do this by placing the #[default]
attribute on the variant.
#[derive(Default)]
enum Kind {
#[default]
A,
B,
C,
}
You cannot use the #[default]
attribute on non-unit or non-exhaustive variants.
The #[default]
attribute was stabilized in Rust 1.62.0.
§How can I implement Default
?
Provide an implementation for the default()
method that returns the value of
your type that should be the default:
enum Kind {
A,
B,
C,
}
impl Default for Kind {
fn default() -> Self { Kind::A }
}
§Examples
#[derive(Default)]
struct SomeOptions {
foo: i32,
bar: f32,
}
Required Methods§
1.0.0 · Sourcefn default() -> Self
fn default() -> Self
Returns the “default value” for a type.
Default values are often some kind of initial value, identity value, or anything else that may make sense as a default.
§Examples
Using built-in default values:
let i: i8 = Default::default();
let (x, y): (Option<String>, f64) = Default::default();
let (a, b, (c, d)): (i32, u32, (bool, bool)) = Default::default();
Making your own:
enum Kind {
A,
B,
C,
}
impl Default for Kind {
fn default() -> Self { Kind::A }
}
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.
Implementors§
impl Default for &str
impl Default for &CStr
impl Default for &OsStr
impl Default for &mut str
impl Default for aho_corasick::packed::api::MatchKind
impl Default for aho_corasick::util::search::MatchKind
The default match kind is MatchKind::Standard
.
impl Default for StartKind
impl Default for PrefilterConfig
impl Default for WhichCaptures
impl Default for regex_automata::util::search::MatchKind
impl Default for ExtractKind
impl Default for AsciiChar
impl Default for bool
impl Default for char
impl Default for f16
impl Default for f32
impl Default for f64
impl Default for f128
impl Default for i8
impl Default for i16
impl Default for i32
impl Default for i64
impl Default for i128
impl Default for isize
impl Default for u8
impl Default for u16
impl Default for u32
impl Default for u64
impl Default for u128
impl Default for ()
impl Default for usize
impl Default for AhoCorasickBuilder
impl Default for aho_corasick::dfa::Builder
impl Default for aho_corasick::nfa::contiguous::Builder
impl Default for aho_corasick::nfa::noncontiguous::Builder
impl Default for aho_corasick::packed::api::Builder
impl Default for aho_corasick::packed::api::Config
impl Default for aho_corasick::util::primitives::PatternID
impl Default for aho_corasick::util::primitives::StateID
impl Default for Collector
impl Default for Backoff
impl Default for Parker
impl Default for WaitGroup
impl Default for ClhLock
impl Default for McsLock
impl Default for McsParkingLock
impl Default for RawSeqLock
impl Default for SpinLock
impl Default for TicketLock
impl Default for FinderBuilder
impl Default for Open01
impl Default for OpenClosed01
impl Default for Alphanumeric
impl Default for StandardUniform
impl Default for ThreadRng
impl Default for OsRng
impl Default for regex::regexset::bytes::RegexSet
impl Default for regex::regexset::string::RegexSet
impl Default for regex_automata::dfa::onepass::Config
impl Default for regex_automata::hybrid::dfa::Config
impl Default for LazyStateID
impl Default for regex_automata::hybrid::regex::Builder
impl Default for regex_automata::meta::regex::Config
impl Default for regex_automata::nfa::thompson::backtrack::Config
impl Default for regex_automata::nfa::thompson::builder::Builder
impl Default for regex_automata::nfa::thompson::compiler::Config
impl Default for regex_automata::nfa::thompson::pikevm::Config
impl Default for ByteClasses
impl Default for GroupInfo
impl Default for LookMatcher
impl Default for regex_automata::util::look::LookSet
impl Default for regex_automata::util::primitives::PatternID
impl Default for SmallIndex
impl Default for regex_automata::util::primitives::StateID
impl Default for regex_automata::util::syntax::Config
impl Default for regex_syntax::ast::parse::ParserBuilder
impl Default for Extractor
impl Default for ClassBytesRange
impl Default for ClassUnicodeRange
impl Default for regex_syntax::hir::LookSet
impl Default for TranslatorBuilder
impl Default for regex_syntax::parser::ParserBuilder
impl Default for HazardBag
impl Default for RetiredSet<'static>
impl Default for Shield
impl Default for Handler
impl Default for Statistics
impl Default for ThreadPoolInner
impl Default for Global
impl Default for System
impl Default for Box<str>
impl Default for Box<CStr>
impl Default for Box<OsStr>
impl Default for ByteString
impl Default for CString
impl Default for OsString
impl Default for Error
impl Default for FormattingOptions
impl Default for FileTimes
impl Default for DefaultHasher
impl Default for RandomState
impl Default for SipHasher
impl Default for cs431_homework::test::loom::io::Empty
impl Default for Sink
impl Default for PhantomPinned
impl Default for RangeFull
impl Default for PathBuf
impl Default for ExitCode
The default value is ExitCode::SUCCESS
impl Default for ExitStatus
The default value is one which indicates successful completion.
impl Default for Alignment
Returns Alignment::MIN
, which is valid for any type.
impl Default for DefaultRandomSource
impl Default for Rc<str>
impl Default for Rc<CStr>
impl Default for String
impl Default for AtomicBool
impl Default for AtomicI8
impl Default for AtomicI16
impl Default for AtomicI32
impl Default for AtomicI64
impl Default for AtomicIsize
impl Default for AtomicU8
impl Default for AtomicU16
impl Default for AtomicU32
impl Default for AtomicU64
impl Default for AtomicUsize
impl Default for Arc<str>
impl Default for Arc<CStr>
impl Default for Condvar
impl Default for Duration
impl Default for vec128_storage
impl Default for vec256_storage
impl Default for vec512_storage
impl Default for BigEndian
impl Default for LittleEndian
impl<'a> Default for &'a ByteStr
impl<'a> Default for &'a mut ByteStr
impl<'a> Default for Select<'a>
impl<'a> Default for PhantomContravariantLifetime<'a>
impl<'a> Default for PhantomCovariantLifetime<'a>
impl<'a> Default for PhantomInvariantLifetime<'a>
impl<'a, K, V> Default for cs431_homework::test::loom::collections::btree_map::Iter<'a, K, V>where
K: 'a,
V: 'a,
impl<'a, K, V> Default for cs431_homework::test::loom::collections::btree_map::IterMut<'a, K, V>where
K: 'a,
V: 'a,
impl<A, B> Default for Chain<A, B>
impl<B> Default for Cow<'_, B>
impl<H> Default for BuildHasherDefault<H>
impl<I> Default for Cloned<I>where
I: Default,
impl<I> Default for Copied<I>where
I: Default,
impl<I> Default for Enumerate<I>where
I: Default,
impl<I> Default for Flatten<I>
impl<I> Default for Fuse<I>where
I: Default,
impl<I> Default for Rev<I>where
I: Default,
impl<Idx> Default for cs431_homework::test::loom::ops::Range<Idx>where
Idx: Default,
impl<Idx> Default for cs431_homework::test::loom::range::Range<Idx>where
Idx: Default,
impl<K> Default for cs431_homework::test::loom::collections::hash_set::IntoIter<K>
impl<K> Default for cs431_homework::test::loom::collections::hash_set::Iter<'_, K>
impl<K, V> Default for List<K, V>where
K: Ord,
impl<K, V> Default for Cache<K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::btree_map::Keys<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::btree_map::Range<'_, K, V>
impl<K, V> Default for RangeMut<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::btree_map::Values<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::btree_map::ValuesMut<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::IntoIter<K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::IntoKeys<K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::IntoValues<K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::Iter<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::IterMut<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::Keys<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::Values<'_, K, V>
impl<K, V> Default for cs431_homework::test::loom::collections::hash_map::ValuesMut<'_, K, V>
impl<K, V> Default for BTreeMap<K, V>
impl<K, V, A> Default for cs431_homework::test::loom::collections::btree_map::IntoIter<K, V, A>
impl<K, V, A> Default for cs431_homework::test::loom::collections::btree_map::IntoKeys<K, V, A>
impl<K, V, A> Default for cs431_homework::test::loom::collections::btree_map::IntoValues<K, V, A>
impl<K, V, S> Default for HashMap<K, V, S>where
S: Default,
impl<L, T> Default for Lock<L, T>
impl<O> Default for zerocopy::byteorder::F32<O>
impl<O> Default for zerocopy::byteorder::F32<O>
impl<O> Default for zerocopy::byteorder::F64<O>
impl<O> Default for zerocopy::byteorder::F64<O>
impl<O> Default for zerocopy::byteorder::I16<O>
impl<O> Default for zerocopy::byteorder::I16<O>
impl<O> Default for zerocopy::byteorder::I32<O>
impl<O> Default for zerocopy::byteorder::I32<O>
impl<O> Default for zerocopy::byteorder::I64<O>
impl<O> Default for zerocopy::byteorder::I64<O>
impl<O> Default for zerocopy::byteorder::I128<O>
impl<O> Default for zerocopy::byteorder::I128<O>
impl<O> Default for Isize<O>
impl<O> Default for zerocopy::byteorder::U16<O>
impl<O> Default for zerocopy::byteorder::U16<O>
impl<O> Default for zerocopy::byteorder::U32<O>
impl<O> Default for zerocopy::byteorder::U32<O>
impl<O> Default for zerocopy::byteorder::U64<O>
impl<O> Default for zerocopy::byteorder::U64<O>
impl<O> Default for zerocopy::byteorder::U128<O>
impl<O> Default for zerocopy::byteorder::U128<O>
impl<O> Default for Usize<O>
impl<R> Default for UnwrapErr<R>where
R: Default + TryRngCore,
impl<T> Default for &[T]
impl<T> Default for &mut [T]
impl<T> Default for Option<T>
impl<T> Default for [T; 0]
impl<T> Default for [T; 1]where
T: Default,
impl<T> Default for [T; 2]where
T: Default,
impl<T> Default for [T; 3]where
T: Default,
impl<T> Default for [T; 4]where
T: Default,
impl<T> Default for [T; 5]where
T: Default,
impl<T> Default for [T; 6]where
T: Default,
impl<T> Default for [T; 7]where
T: Default,
impl<T> Default for [T; 8]where
T: Default,
impl<T> Default for [T; 9]where
T: Default,
impl<T> Default for [T; 10]where
T: Default,
impl<T> Default for [T; 11]where
T: Default,
impl<T> Default for [T; 12]where
T: Default,
impl<T> Default for [T; 13]where
T: Default,
impl<T> Default for [T; 14]where
T: Default,
impl<T> Default for [T; 15]where
T: Default,
impl<T> Default for [T; 16]where
T: Default,
impl<T> Default for [T; 17]where
T: Default,
impl<T> Default for [T; 18]where
T: Default,
impl<T> Default for [T; 19]where
T: Default,
impl<T> Default for [T; 20]where
T: Default,
impl<T> Default for [T; 21]where
T: Default,
impl<T> Default for [T; 22]where
T: Default,
impl<T> Default for [T; 23]where
T: Default,
impl<T> Default for [T; 24]where
T: Default,
impl<T> Default for [T; 25]where
T: Default,
impl<T> Default for [T; 26]where
T: Default,
impl<T> Default for [T; 27]where
T: Default,
impl<T> Default for [T; 28]where
T: Default,
impl<T> Default for [T; 29]where
T: Default,
impl<T> Default for [T; 30]where
T: Default,
impl<T> Default for [T; 31]where
T: Default,
impl<T> Default for [T; 32]where
T: Default,
impl<T> Default for (T₁, T₂, …, Tₙ)where
T: Default,
This trait is implemented for tuples up to twelve items long.