Cでの引数に配列を渡した場合について

Question

こんにちは。

次のコードはプログラムの1部を抜粋したものです。

static void transform(double v2[], double m[][4], double v1[]) {
  int j;

  for (j = 0; j < 4; ++j)
  {
    v2[j] = m[j][0] * v1[0]
      + m[j][1] * v1[1]
      + m[j][2] * v1[2]
      + m[j][3] * v1[3];
  }
}

static void project(double t[][4], double m[][4], double v[][4], int n) { 
   int k; 
   for (k = 0; k < n; ++k) { 	
     	transform(t[k], m, v[k]); 
   }	
}

関数projectから関数transformを呼び出した時に、projectにあるように、transformの実引数の第一引数にt[]を指定しているのですが、仮引数のv2[]がそのままt[]に取って代わるのでしょうか？
transformのfor文のv2[]もt[]に取って代わるのでしょうか？
実行すると、v2[]ではなくt[]に値が入っていたので、不思議に思いました。つまり、

v2[j] = m[j][0] * v1[0]
      + m[j][1] * v1[1]
      + m[j][2] * v1[2]
      + m[j][3] * v1[3];

ではなく、

t[j] = m[j][0] * v[0]
      + m[j][1] * v[1]
      + m[j][2] * v[2]
      + m[j][3] * v[3];

と処理されて、tに値が入っていました。
戻り値がある関数をよく扱うせいなのか分かりませんが、不思議に思いました。

Comments

[ttyp03]

質問内容とタイトルが一致していません。質問の趣旨は引数に配列を渡した場合の挙動についてと思われます。戻り値がないことは何ら関係ありません。

[slimat]

そうなんですね！変えておきます。ありがとうございます。

Answer 1

Cの関数の引数に配列名を指定した場合、ポインタのように扱われます。
transform(double v2[],・・・
は
transform(double *v2，・・・
と同じように扱われます。
よって、v2[]への代入はt[]の内容を書き換えます。

余談ですが、「戻り値」の有無とは無関係です。

Comments

[slimat]

回答ありがとうございます。
回答の3行目でv[]となって、[]が付いているのは、実引数には配列が来ることを示すためなのでしょうか？
スマホで見ているので、そちら側で何行目に表示されているか分かりませんが、、、

Answer 2

     transform(t[k], m, v[k]);     

t[][4] は、４要素の配列の、配列なので、t[k]ってのは、k番目の４要素の配列、となります
これを引数に渡すと、v2[4] になりますね
v も同様です

Comments

[slimat]

回答ありがとごさいます。
私もそのように思ったのですが、追記のように、関数に渡した実引数の配列に値が入っていたので疑問に思いました。

[y_waiwai]

そりゃ配列のナカミを操作すれば元の配列のナカミも変わりますね

注意すべきは、関数に渡してるのはあくまでアドレスである、ってことです

[slimat]

たしかに、今考えてみたら、配列名を渡しているので(2次元配列の実引数の配列名は一つ[ ]をつけることは知らなかった、2次元配列を渡した経験がなかったので、考えもしなかった)すが、仮引数に*がついてなかったので、配列名はアドレスを渡すことを忘れてしまっていました。