// ※以下は実験して確かめたものではなく、おそらくこうであろうという推測に基づくものです

// 　最適化によるコンパイル後の変更なども考えないものとします

// クラス（参照型）

class MyClass

{

    // ヒープ領域の予約（参照型であるクラスのメンバーなので）

    public int xf;

    // ヒープ領域の予約（参照型であるクラスのメンバーなので）

    public MyStruct sf;

}

// 構造体（値型）

struct MyStruct

{

    // MyStructが宣言された領域に一緒に置かれることになるので、

    // ヒープ領域の変数になるかスタック領域の変数になるかはまだ未定

    public int af;

}

class App

{ 

    void Start()

    {

        int x = 1; // スタック領域に作られたxに1が格納される

        {           

            int y = 2; // スタック領域に作られたyに2が格納され、xの上に積まれる

        } 

   // スコープを抜けたので yはスタックから消される

        int[] arrayXs = new int[1]; // ヒープ領域に配列が作られ、参照がスタック領域のarrayXsに格納される）

        arrayXs[0] = x; // スタック領域からxがヒープ領域の配列領域にコピーされる

        int x1 = arrayXs[0]; // ヒープ領域の配列領域から、スタック領域にコピーされる

        MyStruct s = new MyStruct(); // スタック領域に構造体が作られる

        s.af = x; // スタック領域のxがスタック領域のs.afにコピーされる

        MyClass c1 = new MyClass(); // ヒープ領域にクラスが作られ、参照はスタック領域のc1に格納される）

        c1.xf = x; // スタック領域のxがヒープ領域のc1.xfにコピーされる

  c1.sf = s; // スタック領域のsがヒープ領域のc1.sfにコピーされる

        MyClass c2 = null; // どこも示していない参照がスタック領域のc2に格納される

        MyStruct[] array_s = new MyStruct[10]; // ヒープ領域に配列が作られ、参照がスタック領域のarray_sに格納される

        Span<MyStruct> stack_s = stackalloc MyStruct[10]; // スタック領域に配列が作られる

        int z = MyFunc(x); 　　　　　 // スタック領域のzに戻り値がコピーされる

    }

    // メソッド

    int MyFunc( int value ) // スタック領域に引数のコピー value が作られる

    {

        return value + 1; // 値 value+1 が作られて返される

    }

}