借用チェッカーを使って不変条件を強制する

借用チェッカーは、メモリの所有権を強制するために追加されたものですが、他の問題をモデル化し、API の誤用を防ぐこともできます。

// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0

/// ドアは開いているか閉じているかのどちらかで、施錠または解錠するには正しい鍵が必要です。
/// これは Shared な鍵と Owned なドアでモデル化されています。
pub struct DoorKey {
    pub key_shape: u32,
}
pub struct LockedDoor {
    lock_shape: u32,
}
pub struct OpenDoor {
    lock_shape: u32,
}

fn open_door(key: &DoorKey, door: LockedDoor) -> Result<OpenDoor, LockedDoor> {
    if door.lock_shape == key.key_shape {
        Ok(OpenDoor { lock_shape: door.lock_shape })
    } else {
        Err(door)
    }
}

fn close_door(key: &DoorKey, door: OpenDoor) -> Result<LockedDoor, OpenDoor> {
    if door.lock_shape == key.key_shape {
        Ok(LockedDoor { lock_shape: door.lock_shape })
    } else {
        Err(door)
    }
}

fn main() {
    let key = DoorKey { key_shape: 7 };
    let closed_door = LockedDoor { lock_shape: 7 };
    let opened_door = open_door(&key, closed_door);
    if let Ok(opened_door) = opened_door {
        println!("鍵の形状 '{}' でドアを開けました", key.key_shape);
    } else {
        eprintln!(
            "ドアは開きませんでした！あなたの鍵で開けられるのは形状 '{}' の錠前だけです",
            key.key_shape
        );
    }
}