C# 配列に配列を代入した際、配列が同期？される

Question

VisualStudio2015 C# で
以前コードを書いている際に、

int[] a new = int[3]
int[] b new = int[4]

a = b

というコードを書き検証したところ、

aはbとまったく同じ内容になりました。
ここで配列の要素数が違うのにエラーにならないのも気になりますが、
aの配列の中の値を変更すると、なぜかbの配列の中身も変わるのはなぜなのでしょうか？

そういうものといわれれば仕方ないのですが気になってしまったので質問させていただきました。

Comments

[ozwk]

値型・参照型って聞いたことあります?

[dekky0910]

独学で勉強したてで値渡し、参照渡しは勉強したのですがそれと似てますでしょうか？

Answer 1

int は値型ですが、その配列は参照型になるからでしょう。質問者さんの例で言うと、new した時点では別のインスタンスを指しているが、a = b とした時点で同じインスタンスを指します。

Comments

[dekky0910]

回答ありがとうございます。
同じインスタンスを参照することになった場合aのインスタンスはメモリの領域の中には生きているということでしょうか？
もし生きていた場合指定することはできるのでしょうか？
質問ばかりで申し訳ありません。

[maisumakun]

事前に別な変数に受けておけばそのまま使えますが、そうでなければ参照先がなくなってガベージコレクタが回収していきます。

[dekky0910]

そのためのガベージコレクションだったんですね、今までどう動いてるかいまいち理解できなかったのですが納得しました！

Answer 2

簡単に説明すると

int[] a = new int[3];
int[] b = new int[4];
とした時

aの中身「1番地」
bの中身「2番地」

1番地
|int|int|int|
||||

2番地
|int|int|int|int|
|||||

となります。
ここで
a = b;
を実行すると
aの中身「1番地」
bの中身「1番地」
となり、同じメモリをアクセスすることになります。

Comments

[dekky0910]

配列は（参照型）ということが前提の条件だったんですね。
ありがとうございます。