参照型だから参照渡しと安直に呼んでしまう君たちに告ぐ

# いや、気持ちもわかりますが

いや、まぁ **参照型** を関数に **渡す** ので **参照渡し** と呼んでしまう気持ちはわかります。
ただ、その **参照** 型 と **参照** 渡し  それぞれで使っている **参照** は違う意味だということを忘れないでくださいね。という話です。

# C# の用語でも似た話はありまして

C# だって、特に定義されていなかった為 [**参照変数**](https://learn.microsoft.com/ja-jp/dotnet/csharp/language-reference/statements/declarations#reference-variables) というキーワードがありますが、これまでの使い方上、 **参照型変数** のことを **参照変数** と呼んでいる場合がままよくあり([1](https://learn.microsoft.com/ja-jp/dotnet/csharp/language-reference/builtin-types/nullable-reference-types), [2](https://learn.microsoft.com/ja-jp/dotnet/visual-basic/misc/bc30795))、その関係か **ref ローカル** や **ローカル参照変数** などと別の名前で呼ばれたりもします。（翻訳上安定しないもある可能性があるが

# 参照渡しの誤ったサンプル例

で、**参照渡し** ですが、よくあるコードの説明だと次の様に値渡しであることを誤って参照渡しの説明がされることがあります。

```cs
using System;

var c = new Class(1);
// 参照渡し
Call(c);

// c.V が 1 から 2 に変更される
Console.WriteLine(c.V);

void Call(Class c)
{
  c.V = 2;
}
class Class(int v) {
  public int V {get; set;} = v;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6BuBDMACAYzwF48oBTAdzwGEAbbAZ0YAokBKAbnQHoe9AQ8qBzR0CEdoHUGdDWx06LAl3S9+BAHQA1PIBkGPEjyBpBkCRDHgR5A1gyBITUAvZoFUGQDEMgaIZ0cJAE456hRjRwALLWmy9EyMhOzoAN7oeITqJMbcaAC+TiZBzCwAllDAeJjseJFo0XAAzHhZORrhAObkwJx4jHWciXGYCYlAA=)

これはテストの仕方が誤りです。これは同じインスタンス(参照型でいうところの参照)が使われているという証明にしかならないです。（いわゆる 共有渡しとか言われるそれです。）

# 参照渡しの正しいサンプル例

やるなら次の様にインスタンスを比較するべきです。

```cs
using System;

var c = new Class(1);
var cOld = c;
Call(ref c);

// c が cOld と違うインスタンスに 変更される
Console.WriteLine(cOld != c);

void Call(ref Class c)
{
  c = new Class(2);
}
class Class(int v) {
  public int V {get; set;} = v;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6BuBDMACAYzwF48oBTAdzwGEAbbAZ0YAokBKAbi10IHk6AExKFuaGtjp0WYcgDNCXdOgD0KwnkAyDPyF5AFgyBVBMBiDIBKGQM8MgToZA/QyXA1gx5AkJqAXs0CqDIBiGQNEM6OEgCcLAgFhAEJSAiUMNDgAFlpJaVkFeiZGRXQAb3Q8DVIKamTmFgQIgF9vBFoGQoBLKGA8THY8TLRsuABmPFr6gDVmgHNyYE48RiHOEpFMMRKgA=)

これで **参照渡し** により **変数c** (参照渡しに於ける参照の先) が上書きされていることがわかります。

# 参照型の代入を参照渡しと呼んでいる君たちに告ぐ

また、値渡しの例から 代入 を参照渡しと呼んでいる例を多く見もします。（本来は関数の引数の話なのでその呼び方は誤りです。

```cs
using System;

var c = new Class(1);

// 参照渡し
var c2 = c;
c2.V = 2;

// c.V が 1 から 2 に変更される
Console.WriteLine(c.V);

class Class(int v) {
  public int V {get; set;} = v;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6BuBDMACAYzwF48oBTAdzwGEAbbAZ0YAokBKAbnXQHpe8gIeVA5o6BCO0DqDFlyEEJQtzQEEAOgBqchAr4CCavIBkGPEjyBpBkCRDHlmBrBkCQmoBezQKoMgGIZA0Qzo4SAJwtdqrjzREWgZmFgBLKGA8THY8AG90PDw4AGY8CKj1OIBzcmBOPEY8zgBfOUwFEqA==)

これも先述の 値渡しを 参照渡しと誤って呼んでいるパターンと同じで 同じインスタンスを使っているので……敢えて言うならば前述の通り、共有渡しとか呼ばれたりするそれの類です。（私自身は参照の値渡しよりは値渡しと呼ぶ派閥です。

**参照渡し** で言う **参照** で書くなら次の様に書けます。

```cs
using System;

var c = new Class(1);

// 元のインスタンスを退避
var cOld = c;

// 参照変数
ref var c2 = ref c;
c2 = new(2);

// c が cOld と違うインスタンスに 変更される
Console.WriteLine(c != cOld);

class Class(int v) {
  public int V {get; set;} = v;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6BuBDMACAYzwF48oBTAdzwGEAbbAZ0YAokBKAbnXQHpe8gYUVAdgyAShkDPDIE6GQP0MUwEkMgAATA/glZchAPJ0AJiULcMafnkBDyoHNHQJCagB1N0YcgDM8OfAQS7bDgvpe6KlFgi4eQwEiQBkGDW08QAsGQFUEwDEGCRkpQGsGPHNAF7NAVQZAGIZAaIZ0OCQAThYiAEJSAk0tQINEWgZmFgBLKGBHdjwAb3Q8PDgAZjxW9oA1boBzcmBOPEZpzgBfXUx9RaA==)

この `ref` のつく代入は コメントの通り、先述していた  C# に於ける **参照変数** とか **refローカル** とか **ローカル参照変数** とか呼ばれたりするアレです。

# もうひとつよくある 参照渡し の説明誤りパターン

先ほどまでのコードは class を使って 参照渡しを表現するコードばかりではありましたが、よくあるコードとして 配列を使った 誤りコードをよく見ます。

例えば、次の様なコードです。

```cs
using System;

int[] a = [1,2,3];

// 参照渡し
Call(a);

// a[0] が 1 → 2 に変更される
Console.WriteLine(a[0]);

void Call(int[] a)
{
  a[0] = 2;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6CWVgG0C6ABAIaEC8huSANAtQMz4Dc66A9G4YEPKg5o6CEdoHUGdAGFiAGzEAKYgEoWGNBxK4ADEUAyDISSFASYSEEhQNYMgSE1AL2aBVBkAxDIGiGdHCQBOaavxzWaOABZCoiZOx4RLLoAN7ohMpq5PryAL5AA===)

これも同様の勘違いなのですが、 そもそも C# の配列の インデクサは は参照戻り値なので次の様に書けば参照渡しのいい例になります。

```cs
using System;

int[] a = [1,2,3];

// 参照渡し
Call(ref a[0]);

// a[0] が 1 → 2 に変更される
Console.WriteLine(a[0]);

void Call(ref int n)
{
  n = 2;
}
```

[SharpLab](https://sharplab.io/#v2:C4LgTgrgdgPgAgJgIwFgBQ6CWVgG0C6ABAIaEC8huSANAtQMz4Dc66A9G4YEPKg5o6CEdoHUGdAGFiAGzEAKMAFMAZiVwAGfAEoWGNB0UrCgGQZCSQoCTCQgkKBrBkCQmoBezQKoMgGIZA0Qzo4SAJyTiytRtcAWQlEJaXlCbGBCKFV0AG90QijyMw0AX3QgA===)


# 結論

**参照渡し** の説明には **参照型** の説明は不要です。
文字列は 値型の様な挙動をし みたいな説明も不要なんです。（こっちは参照型というよりもミュータブル/イミュータブルの違いなので別）

以上。