(日本語訳) Chain Castle – Lesson 2 Chapter 6

Libra

2020.05.30 2020.05.23

Chapter 6 城の設計を完了する

チャプタ3で、どうやって構造体を定義するか学びました。ここでは、構造体をどうやって初期化するかmain()プロシージャでどの様に使っていくかについて学んでいきましょう。

次の図の様に、構造体を初期化するためのプロシージャを作ることがあります。このプロシージャは、同じモジュールで宣言されて初期化される必要があります。構造体を初期化するために使われるプロシージャの戻り値はstruct型で、初期メンバー変数値をもった構造体を返すことで初期化を行うものです。

module Bar {
    struct T {
        baz: u64
    }
    public new(m: u64) : Self.T {
        return T {
            baz: move(m)
        };
    }
}

この例では、モジュールBarに構造体Tを定義し、newという名前のプロシージャによって、パラメータで構造体のメンバー変数を初期化します。

newプロシージャでは、メンバー変数bazの値がプロシージャのパラメータmである構造体Tを返します。

上記のコードで、6行目から8行目のコードは形式的に構造体の定義部分に似ていますが、実際にはreturn構文の一部ですので、気をつけてください。そのため、後ろにセミコロンがあります。

main()や他のプロシージャで構造体Tを使いたいときletステートメントを使って変数をstruct型として宣言し、newプロシージャを呼び出してそれを初期化できます。

例えば、続くコードは変数xをメンバー変数10を持った構造体Tに初期化します。

let x: Bar.T;
x = Bar.new(10)

前のチャプタで、城を作るためのいくつかの重要なプロセスについて学んでいますので、次のステップはそれらを組み合わせてmain()プロシージャ内で城を構築しましょう。