在Rust中使用Serde的詳細指南
在處理HTTP請求時，我們總是需要在一種數據結構(可以是enum、struct等)和一種可以存儲或傳輸并稍后重建的格式(例如JSON)之間來回轉換。
Serde是一個庫(crate)，用于高效、通用地序列化和反序列化Rust數據結構。在本文中，將詳細介紹如何使用Serde對數據結構進行序列化和反序列化操作。
讓我們從一個簡單的結構體Student開始，它的定義如下所示，并進行初始化。
use serde::{Serialize, Deserialize};
#[derive(Debug, Clone, Serialize, Deserialize)]
struct Student {
pub name: String,
pub student_id: String,
}
let student = Student{name:"tom".to_owned(), student_id:"J19990".to_owned()};約定
對于上面的示例，如果我們使用serde_json::to_string(&student)將其轉換為JSON字符串，那么輸出將如下所示。
{
"name": "tom",
"student_id": "J19990"
}看起來太棒了！然而，這依賴于發送HTTP請求的內容，很有可能會與Rust中的數據結構有不同的大小寫約定。
基本上有兩種方法可以進行約定：可以重命名字段；也可以對整個結構應用大小寫約定。
例如，我們實際上希望使用studentId而不是student_id作為字段名。
方法1：使用#[serde(rename="")重命名單個字段。
struct Student {
pub name: String,
#[serde(rename="studentId")
pub student_id: String,
}方法2：使用#[serde(rename_all="camelCase")將大小寫約定駝峰形式，應用于整個結構體。
#[serde(rename_all = "camelCase")]
struct Student {
pub name: String,
pub student_id: String,
}任何一種方法都會給出以下輸出：
{
"name": "tom",
"studentId": "J19990"
}除了camelCase之外，還可以應用其他的約定。取值為“lowercase, UPPERCASE, PascalCase, camelCase, snake_case, SCREAMING_SNAKE_CASE, kebab-case, SCREAMING-KEBAB-CASE”。
Skip
Skip可用于不希望序列化或反序列化的字段。下面是一個簡單的例子。讓我們給Student添加birth_year和age。
struct Student {
pub name: String,
pub student_id: String,
pub birth_year: u32,
pub age: u32,
}我們可能希望動態更新年齡，因此需要對學生birth_year的引用。但是，當我們發送請求時，應該只顯示age字段，這可以使用#[serde(skip)]來解決。
struct Student {
pub name: String,
pub student_id: String,
#[serde(skip)]
pub birth_year: u32,
pub age: u32,
}通過這樣做，我們的JSON對象將變成：
{
"name": "tom",
"studentId": "J19990",
"age": 123
}Skip If
最常見的兩種使用方法是作用于Option字段和空的vector字段。
Option
假設我們有一個middle_name: Option<String>字段，如果我們想在學生沒有這個字段的情況下跳過這個字段，我們可以這樣做。
struct Student {
pub name: String,
pub student_id: String,
#[serde(skip_serializing_if="Option::is_none")]
pub middle_name: Option<String>
}這將為帶有或不帶有中間名的學生生成如下JSON：
// 沒有中間名
{
"name": "tom",
"studentId": "J19990",
}
// 有中間名
{
"name": "tom",
"studentId": "J19990",
"middleName": "middle"
}Vector
例如，我們為student結構體提供了pets: Vec<String>字段。由于學生不必擁有寵物，它可以是一個空向量。
要跳過對空向量的序列化，可以向字段添加以下屬性。
#[serde(skip_serializing_if="Vec::is_empty")]
pub pets: Vec<String>,有屬性和沒有屬性之間的輸出差異如下所示。
// 沒有屬性
{
"name": "tom",
"studentId": "J19990",
"pets": []
}
// 有屬性
{
"name": "tom",
"studentId": "J19990"
}Flatten
讓我們創建一個名為SideInfo的新結構體，并將Student結構體更改為以下內容。
#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(rename_all = "camelCase")]
struct Student {
pub name: String,
pub student_id: String,
#[serde(skip_serializing_if="Option::is_none")]
pub side_info: Option<SideInfo>
}
#[derive(Debug, Clone, Serialize, Deserialize, Default)]
#[serde(rename_all = "camelCase")]
struct SideInfo {
#[serde(skip_serializing_if="Option::is_none")]
pub pets: Option<Vec<String>>,
#[serde(skip_serializing_if="Option::is_none")]
pub address: Option<String>,
}讓我們創建一個新的Student
let student = Student{name:"dan".to_owned(), student_id: "1".to_owned(), side_info:Some(SideInfo{address:Some("47 street".to_owned()), ..Default::default()})};并輸出它的JSON字符串：
{
"name": "dan",
"studentId": "1",
"sideInfo": {
"address": "47 street"
}
}如你所見，地址字段嵌套在sideInfo中。我們可以通過將屬性flatten添加到Student結構體中的sideInfo字段上，來消除嵌套。
#[serde(skip_serializing_if="Option::is_none", flatten)]
pub side_info: Option<SideInfo>就會變成：
{
"name": "dan",
"studentId": "1",
"address": "47 street"
}枚舉上的標簽與非標簽
假設我們有一個StudentList enum，如下所示：
enum StudentList {
Student1(Student),
Student2(Student)
}定義學生名單
let student1 = Student{name:"tom".to_owned(), student_id:"J19990".to_owned(), pets: vec![], middle_name:Some("middle".to_owned())};
let student2 = Student{name:"dan".to_owned(), student_id:"J19990".to_owned(), pets: vec![], middle_name:Some("middle".to_owned())};
let student_list = vec![StudentList::Student1(student1), StudentList::Student2(student2)];如果我們像現在一樣打印出JSON，它將如下所示，它是有標簽的，是serde的默認行為。
[
{
"Student1": {
"name": "tom",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
},
{
"Student2": {
"name": "dan",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
}
]如果你希望所有標簽都具有相同的名稱，例如Student，該怎么辦呢？你可能認為可以使用rename_all來實現這一點，但實際上并非如此，應該手動重命名枚舉中的每個變體。
#[derive(Debug, Clone, Serialize, Deserialize)]
enum StudentList {
#[serde(rename="Student")]
Student1(Student),
#[serde(rename="Student")]
Student2(Student)
}輸出如下：
[
{
"Student": {
"name": "tom",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
},
{
"Student": {
"name": "dan",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
}
]不加標簽
如果我們只想要一個簡單的學生數組，而不顯示枚舉變量名稱，該怎么辦？我們可以通過向枚舉中添加#[serde(untagged)]屬性來實現這一點。通過這樣做，我們的輸出將變成：
[
{
"name": "tom",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
},
{
"name": "dan",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
]內部標簽
枚舉的另一種表示形式是內部標簽，讓我們創建一個包含不同學生類型的新枚舉，我們將有班長、副班長和普通學生。
#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(tag = "type", rename_all="camelCase")]
enum StudentType {
Regular(Student),
Leader(Student),
SubLeader(Student)
}指定serde(tag = "type")將允許我們在內容中使用標簽來識別我們正在處理的變體，如下所示：
[
{
"type": "leader",
"name": "tom",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
},
{
"type": "regular",
"name": "dan",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
]相鄰標簽
表示標簽和內容作為同一對象中的兩個字段彼此相鄰。將枚舉的屬性修改如下：
#[serde(tag = "type", content = "student", rename_all="camelCase")]json數據變成：
[
{
"type": "leader",
"student": {
"name": "tom",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
},
{
"type": "regular",
"student": {
"name": "dan",
"studentId": "J19990",
"pets": [],
"middleName": "middle"
}
}
]可以用Serde做很多很多事情。
