Comprehensive Rust 🦀

単純な Typestate を超えて

可能な状態や遷移が数多くある、ますます複雑な構成フローを、互換性のない操作を防ぎつつどのように管理すればよいでしょうか？

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

struct Serializer {/* [...] */}
struct SerializeStruct {/* [...] */}
struct SerializeStructProperty {/* [...] */}
struct SerializeList {/* [...] */}

impl Serializer {
    // TODO: 実装する
    //
    // fn serialize_struct(self, name: &str) -> SerializeStruct
    // fn finish(self) -> String
}

impl SerializeStruct {
    // TODO: 実装する
    //
    // fn serialize_property(mut self, name: &str) -> SerializeStructProperty

    // TODO:
    // この構造体はどのように完了すべきでしょうか？ これは、その構造体がどこに現れるかによって異なります:
    // - ルートレベル: `Serializer` を返す
    // - 別の構造体内のプロパティとして: `SerializeStruct` を返す
    // - リスト内の値として: `SerializeList` を返す
    //
    // fn finish(self) -> ???
}

impl SerializeStructProperty {
    // TODO: 実装する
    //
    // fn serialize_string(self, value: &str) -> SerializeStruct
    // fn serialize_struct(self, name: &str) -> SerializeStruct
    // fn serialize_list(self) -> SerializeList
    // fn finish(self) -> SerializeStruct
}

impl SerializeList {
    // TODO: 実装する
    //
    // fn serialize_string(mut self, value: &str) -> Self
    // fn serialize_struct(mut self, value: &str) -> SerializeStruct
    // fn serialize_list(mut self) -> SerializeList

    // TODO:
    // `SerializeStruct::finish` と同様に、戻り値の型はネストに依存します。
    //
    // fn finish(mut self) -> ???
}

有効な遷移の図: