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

ATM 氏は C (のポインタ) がわかるのだろうか？わかるようなら C/C++ で書いちゃうけど・・

static void Main() {
  byte* ary=new byte[X]; // ary はポインタ（参照） ary 自体はスタック、その指す先はヒープ
  Method1(&ary); // Method1 は「ポインタへのポインタ」を渡している（実質的参照渡し）
  Method2(ary); // ポインタ値を複写している（値渡し）
  Method3(&ary); // ditto
  Method4(ary); // ditto
}

void Method4(byte* a) {
  // a は元の ary の値の複写
  // a 自体はスタックにあるが、その指す先がどこかは気にしなくていい
  a=new byte[XX]; // a を上書きしても ary は変化しない
  // 以下で使われる a は ary とは別のもの
}

void Method3(byte** a) {
  // a は元の ary へのポインタ（参照）
  // a 自体はスタックにあるが、その指す先がどこかは気にしなくていい
  *a=new byte[ZZ]; // a （の指す先）を上書きするので ary も変化する
  // 以下で使われる *a は ary と同じもの
}

76110 の解説は「値型を参照渡ししたら」ということで C/C++ なら同様

void Main() {
  valuetype v=0;
  value_call_method(v); // 値型を値渡し：関数の実装によらず v は変化しない（しえない）
  ref_call_methodA(&v); // 値型を参照渡し：関数が v を変更していないから値は変わらない
  ref_call_methodB(&v); // 値型を参照渡し：関数が v を変更しているので値が変わる
  ref_call_methodC(&v); // 値型を参照渡し：参照を変更しても元の値は変わらない
}

void value_call_method(valuetype a) {
  ++a; // 複写した値を変更しているので元の値は変化しない
}

void ref_call_methodA(valuetype* a) {
  // 値型への参照を渡しても、別に変更しなきゃならない必然はない
  // C/C++ ではこういうとき valuetype const * と明示することができる
}

void ref_call_methodB(valuetype* a) {
  ++(*a); // 参照を経由して元の値を変更している
  // 元の値を変更しているので valuetype const * と書けない
}

void ref_call_methodC(valuetype* a) {
  valuetype b=1;
  a=&b; // 参照する先を入れ替えても「もともと参照されていた実体」は変わらない
}