열거형 분해(역구조화)

튜플과 마찬가지로 구조체 및 enum도 다음을 일치시켜 디스트럭처링할 수 있습니다.

구조체

struct Foo {
    x: (u32, u32),
    y: u32,
}

#[rustfmt::skip]
fn main() {
    let foo = Foo { x: (1, 2), y: 3 };
    match foo {
        Foo { x: (1, b), y } => println!("x.0 = 1, b = {b}, y = {y}"),
        Foo { y: 2, x: i }   => println!("y = 2, x = {i:?}"),
        Foo { y, .. }        => println!("y = {y}, 다른 필드는 무시됨"),
    }
}

열거형

구조체나 열거형 값의 일부를 패턴 매치를 통해 변수에 바인딩할 수 있습니다. 간단한 enum 타입을 먼저 살펴보겠습니다:

enum Result {
    Ok(i32),
    Err(String),
}

fn divide_in_two(n: i32) -> Result {
    if n % 2 == 0 {
        Result::Ok(n / 2)
    } else {
        Result::Err(format!("{n}을(를) 두 개의 동일한 부분으로 나눌 수 없음"))
    }
}

fn main() {
    let n = 100;
    match divide_in_two(n) {
        Result::Ok(half) => println!("{n}을(를) 둘로 나눈 값은 {half}입니다."),
        Result::Err(msg) => println!("죄송합니다. 오류가 발생했습니다. {msg}"),
    }
}

match구문에서 divide_in_two함수에서 반환되는 Result 값을 두 개의 팔(혹은 가지)로 분해(destructure) 하였습니다. 첫번째 팔에서 half는 Ok variant에 담긴 값으로 바인딩됩니다. 두번째 팔에서 msg는 오류 메시지 문자열에 바인딩됩니다.