【C#】参照渡しになる理由

Question

C#でなぜ参照渡しになるかわからないコードがあります。

以下のような処理があります。

class hoge
{
  byte[] list = new byte[64]
  int index = 0;

  void addList(byte[] list, int startIndex, UInt32 value, int length, out int nextIndex)
  {
    list[startIndex] = value;
    nextIndex = startIndex + length;
  }

  hoge()
  {
    addList(list, index, fuga1, 1, index);
    addList(list, index, fuga2, 2, index);
    addList(list, index, fuga3, 3, index);
  }
}

この時のbyte配列のlistがなぜ参照渡しになっているのかよくわかりません。
私の認識ではref,outなどの記述がないと基本的に値渡しだと思っているのですがなぜでしょうか？

Answer 1

この時のbyte配列のlistがなぜ参照渡しになっているのかよくわかりません。

私の認識ではref,outなどの記述がないと基本的に値渡しだと思っているのですがなぜでしょうか？

まず厳密に言えば参照渡しになってません。
これは参照型変数の値渡しです。

そしてbyte[]は参照型です。ポインタみたいなものです

Comments

[退会済みユーザー]

違いを理解することができました。
ご回答ありがとうございました。

Answer 2

こんにちは。

C#の変数には値型と参照型があり、参照型変数を渡す時は refやoutなしでも参照渡しとなります。

参照型変数はC言語のポインタと事実上同じものですので、参照型変数をrefやoutで渡すと、その参照型変数自体（ポインタが入っている変数）が参照渡しになります。

Comments

[退会済みユーザー]

そもそもbyte型自体が参照型ということですか？

[Chironian]

byte型は値型ですが、配列は参照型です。

[退会済みユーザー]

回答のページに型の分類を見ました。
ご回答ありがとうございます。

[workaholist]

参照型と参照渡しは別の話では？
この例ですと参照型の値渡しではないでしょうか。

[Chironian]

workaholistさん。

文法上は「参照型の値渡し」が正しいと思います。
意味的には「参照渡し」でも問題ないと思います。

一応念のため補足してますが、ポインタの概念は難しいと思いますので、ざっくり把握できるようこのように表現しました。

[退会済みユーザー]

違いがよく理解できていないのですが。
私が疑問に思ったのはaddList()の引数のlistがなぜ呼び出し元でも更新されているのかということでした。
単純に参照渡しだから更新されているのかなと思ったので参照渡しと言っていたのですがそういうわけではないんですね

[Chironian]

この文脈での「参照渡し」とは、呼び出し元で管理している領域を呼び出された側が変更可能な呼び出し方を指していると思います。その為には呼び出し元で管理しているメモリ領域の先頭アドレスを渡すケースが多いです。

この「アドレス」を渡している部分は「値渡し」とも言えますし、C#の文法上は値渡しに分類できます。

[退会済みユーザー]

少し調べてみたのですが
参照渡し=値型のポインタを渡すこと
参照型の値渡し=参照型の持っている値(ポインタ)を渡すこと
みたいな感じでしょうか?

[退会済みユーザー]

Chironianさん
なんとなくわかってきたような気がします

[Chironian]

> 参照渡し=値型のポインタを渡すこと

文法上の「参照渡し」はそれで良いように思いますが、他にもあります。
「参照型の持っている値(ポインタ)を保持しているメモリ領域」へのポインタを渡すことも参照渡しになります。

> 参照型の値渡し=参照型の持っている値(ポインタ)を渡すこと

YESです。

> なんとなくわかってきたような気がします

それは良かったです。この辺、難しいですよね。

[退会済みユーザー]

Chironianさん
ご丁寧にありがとうございます。
わかりやすいご説明ありがとうございました。

[Zuishin]

参照渡しのない言語ならともかく、C# では参照渡しと参照型の値渡しは明確に違うものなので同じ言葉で表すべきではないと思います。
初心者が混同しやすい概念でもあるので尚更気をつけなければならないと思いますし、特に Chironian さんのように影響力の大きな人は発言がそのまま情報ソースとして受け入れられてしまいます。

マイクロソフトのドキュメントには「混同しないでください」と色枠に入れて特に強調されて記載されています。

[Chironian]

Zuishinさん

なるほど。
参照型の参照渡しはポインタのポインタを説明しないと行けなくなるから悩ましいのですけど、結局説明が必要になるのであれば、最初から明確に区別しておいた方がよいかも知れませんね。なるべく最初から説明するよう考えてみます。