Default trait 顧名思義是默認值，即Rust為特定類型實現 Default 特性時，可以為該類型賦予了可選的默認值。

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

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

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

比較簡單，為類型實現Default trait的方式:

• 如果類型中的包含的其他類型都實現了Default trait，就可以通過derive宏

  #[derive(Default)]為類型自動實現Default trait。

• 手動實現Default trait：impl Defalut for A

• 枚舉的#[default]屬性

1. 通過derive宏#[derive(Default)]和手動實現實現Default trait結合

// 假如unpaid和paid不實現defalut，則編譯無法通過

#[derive(Debug)]，

}

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

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

Default trait 使用

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

當類型實現了Default trait之后，在初始化時，可以部分初始化，其余部分使用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

當你在 Option 實例上使用 unwrap_or_default 方法時， Default trait是必須的。如果 Option 是 None 的話, unwrap_or_default 方法將返回 T 類型的 Default::default 的結果。

struct Canvas;
enum Shape {
    Circle,
    Rectangle,
}


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

總結

Default trait為類型提供缺省值，即幫你創建一個類型的默認值。派生宏#[derive(Default)]意味著自動實現了 default 函數。default 函數的派生實現調用了類型每部分的 default 函數，這意味著類型中所有的字段也必須實現了Default trait 。

為自己的類型（比如結構體，枚舉等）實現Default trait的方式:

• 通過派生宏實現#[derive(Default)]
• 通過手動實現 impl Defalut for A
• 枚舉可以使用#[default]屬性實現