Trait std::default::Default

1.0.0 · source ·

pub trait Default: Sized {
    // Required method
    fn default() -> Self;
}

Expand description

一个用于给类型提供有用的默认值的 trait。

有时，您希望回退到某种默认值，而不必特别关心它是什么。这经常出现在定义一组选项的 struct 中：

struct SomeOptions {
    foo: i32,
    bar: f32,
}

Run

我们如何定义一些默认值？您可以使用 Default：

#[derive(Default)]
struct SomeOptions {
    foo: i32,
    bar: f32,
}

fn main() {
    let options: SomeOptions = Default::default();
}

Run

现在，您将获得所有默认值。Rust 为各种原始类型实现 Default。

如果要覆盖特定选项，但仍保留其他默认值：

fn main() {
    let options = SomeOptions { foo: 42, ..Default::default() };
}

Run

Derivable

如果类型的所有字段都实现 Default，则此 trait 可以与 #[derive] 一起使用。当 derived 时，它将为每个字段的类型使用默认值。

`enum`s

在 enum 上使用 #[derive(Default)] 时，您需要选择默认的单元变体。您可以通过将 #[default] 属性放在变体上来执行此操作。

#[derive(Default)]
enum Kind {
    #[default]
    A,
    B,
    C,
}

Run

您不能在非单元或非详尽变体上使用 #[default] 属性。

如何实现 `Default`？

提供 default() 方法的实现，该实现返回您类型的值，该值应为默认值：

enum Kind {
    A,
    B,
    C,
}

impl Default for Kind {
    fn default() -> Self { Kind::A }
}

Run

Examples

#[derive(Default)]
struct SomeOptions {
    foo: i32,
    bar: f32,
}

Run

Required Methods§

source

fn default() -> Self

返回类型的 “默认值”。

默认值通常是某种初始值，标识值或其他可能有意义的默认值。

Examples

使用内置的默认值：

let i: i8 = Default::default();
let (x, y): (Option<String>, f64) = Default::default();
let (a, b, (c, d)): (i32, u32, (bool, bool)) = Default::default();

Run

制作自己的：

enum Kind {
    A,
    B,
    C,
}

impl Default for Kind {
    fn default() -> Self { Kind::A }
}

Trait std::default::Default

Required Methods§

fn default() -> Self

Implementors§

impl Default for &str

impl Default for &CStr

impl Default for &OsStr

impl Default for &mut str

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 Global

impl Default for System

impl Default for Box<str, Global>

impl Default for Box<CStr, Global>

impl Default for Box<OsStr>

impl Default for DefaultHasher

impl Default for RandomState

impl Default for CString

impl Default for OsString

impl Default for Error

impl Default for FileTimes

impl Default for SipHasher

impl Default for std::io::Empty

impl Default for Sink

impl Default for PhantomPinned

impl Default for RangeFull

impl Default for PathBuf

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 Condvar

impl Default for Duration

impl<'a, K, V> Default for std::collections::btree_map::Iter<'a, K, V>where K: 'a, V: 'a,

impl<'a, K, V> Default for std::collections::btree_map::IterMut<'a, K, V>where K: 'a, V: 'a,

impl<A, B> Default for Chain<A, B>where A: Default, B: Default,

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

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 std::ops::Range<Idx>where Idx: Default,

impl<K, V> Default for Keys<'_, K, V>

impl<K, V> Default for std::collections::btree_map::Range<'_, K, V>

impl<K, V> Default for Values<'_, K, V>

impl<K, V> Default for BTreeMap<K, V, Global>

impl<K, V, A> Default for std::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 HashMap<K, V, S>where S: Default,

impl<T> Default for &[T]

impl<T> Default for &mut [T]

impl<T> Default for Option<T>

impl<T> Default for [T; 0]