はじめに

・「参照型渡すときにrefパラメータ修飾子つける意味あんの？」

・「参照型でも値(プリミティブ)型でも値渡し」→「？？」

Ｃ＃のパラメータ修飾子について学んでいるときに、
上記の疑問がわいたので調べた内容をまとめた記事です。

はじめに
これ↓って参照渡しじゃないよ。
参照型の値渡し
参照型の「参照渡し」
結果が異なるパターン
最後に
参考

これ↓って参照渡しじゃないよ。

void Test()
{
    List<Hoge> a = new List<Hoge>();
    Val(a);
    Debug.Log("count = " + a.Count);
}

private void Val(List<Hoge> b)
{
    b.Add(new Hoge());
}

▼実行結果

count = 1

上記のソースで「countが増えてる＝参照渡しだ」と判断していたのですが、
参照渡しではなく値渡しです。

参照型の値渡し

上記のソースでは、
・参照型変数aはListの参照先を保持した変数です。
・参照型変数aを値渡しします。
値渡しをするということは、参照型変数aの値＝Listの参照をコピーします。
コピーされた変数が参照型変数bです。
・Val()の中で、参照型変数bの値＝Listの参照を元にListにAddします。Listのカウント数は1になりました。
・Test()の中で、参照型変数aの値＝Listの参照を元にListのカウント数をデバッグ出力します。

ということが行われています。

参照型変数aもbが持つ参照の参照先のListは同じなのですが、それぞれで参照をもっているということです。

以下のようなイメージです。

f:id:snoopopo:20190317095633p:plain

参照型の「参照渡し」

一方、refを用いて「参照渡し」した場合は、
同じ参照を参照型変数aもbも持つことになります。

以下のようなイメージです。

f:id:snoopopo:20190317100231p:plain

結果が異なるパターン

先程のソースでは実行結果が同じだったので、実行結果が異なる例を挙げます。

void Test()
{
    List<Hoge> a = new List<Hoge>();
    Ref(ref a);
    //Val(a); RefかValのどちらか呼ぶ
    Debug.Log("count = " + a.Count);
}

private void Val(List<Hoge> b)
{
    b = new List<Hoge>();
    b.Add(new Hoge());
}

private void Ref(ref List<Hoge> b)
{
    b = new List<Hoge>();
    b.Add(new Hoge());
}