답변.

러스트에서 데이터의 직렬화 및 역직렬화는 웹 서비스, 데이터베이스 또는 구성 요소 간 메시지 교환과 같은 작업에서 특히 빈번한 작업입니다. 이를 위한 가장 인기 있는 라이브러리는 serde로, 러스트에서 직렬화 작업을 위한 사실상 표준이 되었습니다.

문제의 역사

러스트 개발자들은 유연하고 효율적인 직렬화의 필요성에 직면했습니다. 처음에는 여러 가지 특화된 솔루션이 존재했지만, 바로 serde가 derive 매크로와의 편리한 통합을 제안하고 다양한 형식(JSON, CBOR, BSON, TOML, YAML 등)에 대한 유연한 지원 스키마를 제공했습니다.

문제

러스트 구조체를 데이터 전송 형식(예: JSON)으로 변환할 때, 타입 안전성을 잃지 않고 '조용히 실패하는 오류'(silent fail)를 방지할 수 있도록 보장해야 합니다. 이러한 문제는 데이터 구조 불일치 또는 지원되지 않는 타입을 직렬화하려 할 때 자주 발생합니다.

해결책

구조체의 직렬화를 위해서는 보통 #[derive(Serialize, Deserialize)]를 사용하여 Serialize 및 Deserialize 특성을 구현해야 합니다. 비표준 사례의 경우 이러한 특성을 수동으로 구현하거나 직렬화 스키마를 관리하는 속성을 사용할 수 있습니다.

코드 예:

use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize, Debug)]
struct Person {
    name: String,
    age: u8,
}

fn main() {
    let data = Person { name: "Bob".into(), age: 32 };
    let json = serde_json::to_string(&data).unwrap();
    println!("{}", json);
    let obj: Person = serde_json::from_str(&json).unwrap();
    println!("{:?}", obj);
}

주요 특징들:

derive는 대부분의 경우에 필요한 특성을 자동으로 구현합니다.
serde는 다양한 형식을 지원하며 쉽게 확장 가능합니다.
속성을 통한 매핑 설명이 가능합니다(이름 변경, 기본값, 생략 등).

Trick 질문들.

Option 필드나 기본값을 가진 필드를 직렬화/역직렬화 할 수 있나요?

기본값을 지정하기 위해 #[serde(default)]를 사용하거나, None을 직렬화하지 않기 위해 #[serde(skip_serializing_if = "Option::is_none")]를 사용할 수 있습니다.

코드 예:

#[derive(Serialize, Deserialize)]
struct Config {
    #[serde(default)]
    timeout: Option<u32>,
}

custom 필드나 계산된 값(예: fn get_hash())을 가진 구조체를 직렬화할 수 있나요?

네, 그런 필드는 직렬화되지 않아야 하는 경우 #[serde(skip)]로 표시해야 하며, 계산된 값을 직렬화해야 하는 경우에는 Serialize/Deserialize를 수동으로 구현해야 합니다.

러스트 구조체의 필드가 JSON 객체와 일치하지 않으면(필드가 없음, 새 필드 존재)?

기본적으로 serde는 JSON의 여분의 필드를 무시하며(엄격 모드가 켜지지 않은 경우), 필수 필드가 누락된 경우에는 오류를 발생시킵니다(#[serde(default)]로 지정되지 않은 경우).

일반적인 오류 및 안티 패턴

기본값/생략 없이 형식 간의 엄격한 일치를 기대하면 파싱 오류가 발생할 수 있습니다.
추가 검증 없이 비공식(private) 값이나 유효하지 않은 값을 가진 구조체를 직렬화합니다.
필요 없는 경우 수동으로 Serialize/Deserialize 구현.

실제 예시

부정적인 케이스

외부 JSON이 여분의 필드와 누락된 필드를 포함할 때 구조체가 #[serde(default)]를 사용하지 않음,

장점:

빠른 통합.

단점:

첫 번째 잘못된 JSON에서 크래시 발생.
확장하기 어려움.

긍정적인 케이스

#[serde(default)] 및 #[serde(skip_serializing_if)]를 사용하고, 모든 필드를 검증하며, 여분은 무시됩니다.