Default trait 顧名思義是默認(rèn)值，即Rust為特定類型實(shí)現(xiàn) Default 特性時(shí)，可以為該類型賦予了可選的默認(rèn)值。

使用Default trait為類型提供缺省值

Default trait 屬于std::default::Default ，先看一下它的定義:

pub trait Default {
    fn default() -> Self;
}

比較簡(jiǎn)單，為類型實(shí)現(xiàn)Default trait的方式:

• 如果類型中的包含的其他類型都實(shí)現(xiàn)了Default trait，就可以通過derive宏

  #[derive(Default)]為類型自動(dòng)實(shí)現(xiàn)Default trait。

• 手動(dòng)實(shí)現(xiàn)Default trait：impl Defalut for A

• 枚舉的#[default]屬性

1. 通過derive宏#[derive(Default)]和手動(dòng)實(shí)現(xiàn)實(shí)現(xiàn)Default trait結(jié)合

// 假如unpaid和paid不實(shí)現(xiàn)defalut，則編譯無法通過

#[derive(Debug)]，

}

2.枚舉的#[default] 屬性 ： enum 枚舉上使用 #[derive(Default)] 時(shí)，可以通過在變體上放置 #[default] 屬性來簡(jiǎn)化實(shí)現(xiàn)。

#[derive(Default)]
enum Kind {
    #[default]
    A,
    B,
    C,
}
 let kind = Kind::default();
 println!("{:?}", kind); // A

Default trait 使用

Rust是非空類型的，類型需要初始化即賦值，如果沒有一個(gè)默認(rèn)值，需要寫大量冗余代碼給該類型賦初始值，這就需要一種簡(jiǎn)便的方式生成初始值，即Default trait, Rust 為各種原始類型實(shí)現(xiàn) Default。

當(dāng)類型實(shí)現(xiàn)了Default trait之后，在初始化時(shí)，可以部分初始化，其余部分使用Default::default()初始化。

fn main() {
   let order1 = Order::default();
   let order2 = Order {
       id: 100,
       ..Order::default()
   };
   println!("order1 = {:?}", order1);
   println!("order2 = {:?}", order2);
}

在泛型編程的語境中，Default trait也可顯其威力和方便性

fn guarantee_length

當(dāng)你在 Option 實(shí)例上使用 unwrap_or_default 方法時(shí)， Default trait是必須的。如果 Option 是 None 的話, unwrap_or_default 方法將返回 T 類型的 Default::default 的結(jié)果。

struct Canvas;
enum Shape {
    Circle,
    Rectangle,
}


impl Canvas {
    // let user optionally pass a color
    // 用戶可選地傳入一個(gè) color
    fn paint(&mut self, shape: Shape, color: Option) {
        // if no color is passed use the default color
        // 若用戶沒有傳入 color ，即使用默認(rèn)的 color
        let color = color.unwrap_or_default();
        // etc
    }
}

總結(jié)

Default trait為類型提供缺省值，即幫你創(chuàng)建一個(gè)類型的默認(rèn)值。派生宏#[derive(Default)]意味著自動(dòng)實(shí)現(xiàn)了 default 函數(shù)。default 函數(shù)的派生實(shí)現(xiàn)調(diào)用了類型每部分的 default 函數(shù)，這意味著類型中所有的字段也必須實(shí)現(xiàn)了Default trait 。

為自己的類型（比如結(jié)構(gòu)體，枚舉等）實(shí)現(xiàn)Default trait的方式:

• 通過派生宏實(shí)現(xiàn)#[derive(Default)]
• 通過手動(dòng)實(shí)現(xiàn) impl Defalut for A
• 枚舉可以使用#[default]屬性實(shí)現(xiàn)