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.
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§
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 }
}
Implementors§
impl Default for &str
impl Default for &CStr
impl Default for &OsStr
impl Default for &mut str
impl Default for MemoryInitialization
impl Default for TableInitialization
impl Default for DwarfFileType
impl Default for RunTimeEndian
impl Default for Pointer
impl Default for Endianness
impl Default for bool
impl Default for char
impl Default for f32
impl Default for f64
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 AddressMapSection
impl Default for FilePos
impl Default for Module
impl Default for ModuleTypes
impl Default for ModuleTypesBuilder
impl Default for TrapEncodingBuilder
impl Default for Tunables
impl Default for WasmFileInfo
impl Default for WasmFunctionInfo
impl Default for FuncValidatorAllocations
impl Default for Parser
impl Default for Validator
impl Default for WasmFeatures
impl Default for Error
impl Default for SipHasher
impl Default for PhantomPinned
impl Default for RangeFull
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 Duration
impl Default for Global
impl Default for Box<str, Global>
impl Default for Box<CStr, Global>
impl Default for Box<OsStr, Global>
impl Default for CString
impl Default for String
impl Default for System
impl Default for DefaultHasher
impl Default for RandomState
impl Default for OsString
impl Default for FileTimes
impl Default for std::io::util::Empty
impl Default for Sink
impl Default for PathBuf
impl Default for Condvar
impl Default for anyhow::Chain<'_>
impl Default for LineEncoding
impl Default for gimli::endianity::BigEndian
impl Default for gimli::endianity::LittleEndian
impl Default for Abbreviations
impl Default for AbbreviationsCache
impl Default for Augmentation
impl Default for BaseAddresses
impl Default for SectionBaseAddresses
impl Default for FrameTable
impl Default for gimli::write::dwarf::Dwarf
impl Default for FileInfo
impl Default for LocationListTable
impl Default for Expression
impl Default for RangeListTable
impl Default for LineStringTable
impl Default for gimli::write::str::StringTable
impl Default for DebugInfoOffsets
impl Default for UnitTable
impl Default for object::endian::BigEndian
impl Default for object::endian::LittleEndian
impl Default for VersionIndex
impl Default for SectionIndex
impl Default for SymbolIndex
impl Default for IgnoredAny
impl Default for DefaultToHost
impl Default for DefaultToUnknown
impl Default for Config
The defaults are that of https://url.spec.whatwg.org/#idna
impl Default for Errors
impl Default for FinderBuilder
impl Default for Idna
impl Default for Prefilter
impl<'a> Default for DebugInfoData<'a>
impl<'a> Default for NameSection<'a>
impl<'a, K, V> Default for alloc::collections::btree::map::Iter<'a, K, V>where K: 'a, V: 'a,
impl<'a, K, V> Default for alloc::collections::btree::map::IterMut<'a, K, V>where K: 'a, V: 'a,
impl<'data> Default for ModuleTranslation<'data>
impl<'data> Default for Version<'data>
impl<'data> Default for ObjectMap<'data>
impl<'data> Default for ObjectMapEntry<'data>
impl<'data> Default for Bytes<'data>
impl<'data, Elf> Default for VersionTable<'data, Elf>where Elf: FileHeader,
impl<'data, Elf, R> Default for SectionTable<'data, Elf, R>where Elf: Default + FileHeader, R: Default + ReadRef<'data>, <Elf as FileHeader>::SectionHeader: Default,
impl<'data, Elf, R> Default for SymbolTable<'data, Elf, R>where Elf: FileHeader, R: ReadRef<'data>,
impl<'data, R> Default for object::read::util::StringTable<'data, R>where R: ReadRef<'data>,
impl<'input, Endian> Default for EndianSlice<'input, Endian>where Endian: Default + Endianity,
impl<'s, T> Default for SliceVec<'s, T>
impl<A> Default for ArrayVec<A>where A: Array,
impl<A> Default for TinyVec<A>where A: Array,
impl<A, B> Default for wasmtime_environ::__core::iter::Chain<A, B>where A: Default, B: Default,
impl<B> Default for Cow<'_, B>where B: ToOwned + ?Sized, <B as ToOwned>::Owned: Default,
impl<E> Default for CompressionHeader32<E>where E: Default + Endian,
impl<E> Default for CompressionHeader64<E>where E: Default + Endian,
impl<E> Default for Sym32<E>where E: Default + Endian,
impl<E> Default for Sym64<E>where E: Default + Endian,
impl<E> Default for I16<E>where E: Default + Endian,
impl<E> Default for I32<E>where E: Default + Endian,
impl<E> Default for I64<E>where E: Default + Endian,
impl<E> Default for U16<E>where E: Default + Endian,
impl<E> Default for U32<E>where E: Default + Endian,
impl<E> Default for U64<E>where E: Default + Endian,
impl<E> Default for I16Bytes<E>where E: Default + Endian,
impl<E> Default for I32Bytes<E>where E: Default + Endian,
impl<E> Default for I64Bytes<E>where E: Default + Endian,
impl<E> Default for U16Bytes<E>where E: Default + Endian,
impl<E> Default for U32Bytes<E>where E: Default + Endian,
impl<E> Default for U64Bytes<E>where E: Default + Endian,
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>where I: Default + Iterator, <I as Iterator>::Item: IntoIterator,
impl<I> Default for Fuse<I>where I: Default,
impl<I> Default for Rev<I>where I: Default,
impl<Idx> Default for wasmtime_environ::__core::ops::Range<Idx>where Idx: Default,
impl<K> Default for EntitySet<K>where K: EntityRef,
impl<K, V> Default for PrimaryMap<K, V>where K: EntityRef,
impl<K, V> Default for SecondaryMap<K, V>where K: EntityRef, V: Clone + Default,
impl<K, V> Default for BTreeMap<K, V, Global>
impl<K, V> Default for Keys<'_, K, V>
impl<K, V> Default for alloc::collections::btree::map::Range<'_, K, V>
impl<K, V> Default for Values<'_, K, V>
impl<K, V, A> Default for alloc::collections::btree::map::IntoIter<K, V, A>where A: Allocator + Default + Clone,
impl<K, V, A> Default for IntoKeys<K, V, A>where A: Allocator + Default + Clone,
impl<K, V, A> Default for IntoValues<K, V, A>where A: Allocator + Default + Clone,
impl<K, V, S> Default for std::collections::hash::map::HashMap<K, V, S>where S: Default,
impl<K, V, S> Default for IndexMap<K, V, S>where S: Default,
impl<K, V, S, A> Default for HashMap<K, V, S, A>where S: Default, A: Default + Allocator + Clone,
impl<R> Default for CfaRule<R>where R: Reader,
impl<R> Default for gimli::read::abbrev::DebugAbbrev<R>where R: Default,
impl<R> Default for DebugAddr<R>where R: Default,
impl<R> Default for DebugAranges<R>where R: Default,
impl<R> Default for gimli::read::dwarf::Dwarf<R>where R: Default,
impl<R> Default for RangeIter<R>where R: Reader,
impl<R> Default for DebugCuIndex<R>where R: Default,
impl<R> Default for DebugTuIndex<R>where R: Default,
impl<R> Default for gimli::read::line::DebugLine<R>where R: Default,
impl<R> Default for gimli::read::loclists::DebugLoc<R>where R: Default,
impl<R> Default for gimli::read::loclists::DebugLocLists<R>where R: Default,
impl<R> Default for LocationLists<R>where R: Default,
impl<R> Default for gimli::read::rnglists::DebugRanges<R>where R: Default,
impl<R> Default for gimli::read::rnglists::DebugRngLists<R>where R: Default,
impl<R> Default for RangeLists<R>where R: Default,
impl<R> Default for gimli::read::str::DebugLineStr<R>where R: Default,
impl<R> Default for gimli::read::str::DebugStr<R>where R: Default,
impl<R> Default for DebugStrOffsets<R>where R: Default,
impl<R> Default for gimli::read::unit::DebugInfo<R>where R: Default,
impl<R> Default for DebugTypes<R>where R: Default,
impl<R, A> Default for UnwindContext<R, A>where R: Reader, A: UnwindContextStorage<R>,
impl<R, S> Default for UnwindTableRow<R, S>where R: Reader, S: UnwindContextStorage<R>,
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.
impl<T> Default for PackedOption<T>where T: ReservedValue,
impl<T> Default for EntityList<T>where T: EntityRef + ReservedValue,
Create an empty list.