C# と VB.NET の質問掲示板

配列のコピーに関して基本的な質問があります。

以下のプログラムのようにフィールドで宣言した配列abcに
メソッド内で宣言したローカルな配列defをイコールで結んでやると、
（abc = def　のようにすると）
たぶん、defの参照がabcにコピーされると思うのですが、
メソッド終了時点でローカル配列defが消滅して、
結局abcの参照先がなくなってしまうのでしょうか？？？

実際に動かしてみると、値はしっかりと参照できてはいたのですが。。。
ただ偶然うまくいっただけでしょうか？


以下プログラム
    class aaa
    {
        int[] abc = new int[3] { 0, 1, 2 };

        private void xyz()
        {
            int[] def = new int[3] { 6, 7, 8 };

            abc = def;
        }
    }

  int[] abc = new int[3] { 0, 1, 2 };
  private void xyz() {
    int[] def = new int[3] { 6, 7, 8 }; // [1]
    abc = def; // [2]
  } // [3]

[1] def が { 6, 7, 8 } を掴む。
[2] abc が (defが掴んでいる) { 6, 7, 8 } を掴む。
    このとき abc は掴んでいた { 0, 1, 2 } を手放す(ので廃棄対象となる)。
[3] メソッドを抜ける際に def がいなくなるので { 6, 7, 8 } を掴んでいた
    奴が二人(abc,def)から一人(abc)に減る。
　　掴んでる奴が一人でもいる限り、捨てられることはない。
　　なので { 6, 7, 8 } はabc が手放すまでは無問題。

ちなみにC言語の場合ですが

int *abc;

void sub() {
    int def[3] = { 1, 2, 3 };
    abc = def;
}

としたらdefは消えます。
よって、後でabcを使うと滅茶苦茶な値が入ってます。