値を正確に渡すことができません。

Question

2×3と3×2の２次行列の積を求めるコードが書きたいのですが、
bの部分を__mul_array__に正確に伝えることができません。
なぜこのようなことが起こっているのかを教えていただきたいです。

#include <stdio.h>

void mul_array( const int (*x)[3], const int (*y)[3], int (*ans)[3] );

int main(void) {
    int i,j;
    int a[2][3] = {1,2,3, 4,5,6};
    int b[3][2] = {1,5, 5,3, 8,1};
    int ans[2][2] = {0};

    mul_array(a,b,ans);

    return (0);
}

void mul_array( const int (*x)[3], const int (*y)[3], int (*ans)[3] ) {
    int a,b,i;
    for(int a=0; a<2; a++) {
        for(int b=0; b<2; b++) {
            ans[a][b]=0;
            for(int i=0; i<3; i++) {
                
                printf("[%d,%d]",a,i);
                printf("[%d,%d]",i,b);
                printf("[%d]",x[a][i]);
                printf("[%d]",y[i][b]);
                putchar('\n');
                ans[a][b]+=x[a][i]*y[i][b];
            }
        }
    }
}

[0,0][0,0][1][1]
[0,1][1,0][2][3]
[0,2][2,0][3][0]
[0,0][0,1][1][5]
[0,1][1,1][2][8]
[0,2][2,1][3][0]
[1,0][0,0][4][1]
[1,1][1,0][5][3]
[1,2][2,0][6][0]
[1,0][0,1][4][5]
[1,1][1,1][5][8]
[1,2][2,1][6][0]

Comments

[WoodenHamlet]

別に大したことじゃないけど、mul_array で i が二度宣言されてて、片方しか使われてないなら最初に宣言した方は消した方が良いんじゃないかな

Answer 1

void mul_array( const int (*x)[3], const int (*y)[3], int (*ans)[3] );

(*y)[2]ではないですか？

Comments

[Red_Bull]

そこに部分が指定されていて他の部分を考える問題なのでそこは変更できないんです...すみません。

[itagagaki]

（？）
日本語の意味がわかりませんが…。謝られても困りますし。

とにかく、仮引数の型 const int (*)[3] と実際に渡しているデータの型 int (*)[2] とが異なっているので、そりゃおかしくなるのは当たり前だとしか言えません。

const int (*y)[3] は、int [3] を指すポインタですから y[1] は y からint 3つ分先のアドレスになります。
しかし本当は y[1]は y からint 2つ分先のアドレスになってほしいのではないですか？
int b[3][2]; と定義した b を渡すのですから。

[Red_Bull]

void mul_array( const int (*x)[3], const int (*y)[3], int (*ans)[3] );
を用いて2×3,3×2の積を求めるという問題を解いているという意味です。

ちなみに(*y)[2]に変更したのですができませんでした。

[itagagaki]

それなら y として int b[3][2]; と定義した b を渡しているのが間違いです。
理由は上記のコメントを読んでください。

質問のタイトルは「値を正確に渡すことができません。」とありますが、
渡している b は配列データではなく、配列データのアドレスです。
アドレスとして b は正確に渡されているはずです。
そのアドレスの指すデータは何かという定義が、仮引数 const int (*y)[3] では int [3] となります。

[Red_Bull]

宣言の部分を
int a[3][3] = {1,2,3, 4,5,6, 0,0,0};
int b[3][3] = {1,5,0, 5,3,0, 8,1,0};
int ans[3][3] = {0};
にすることしか思い浮かばなかったのですが、他の解き方はありますか...?

[itagagaki]

Cプログラムとしては関数mul_arrayに渡すデータはそんな風に定義するのが順当かと思います。
たぶん課題の意図は2×3行列と3×2行列の積を3x3行列と3x3行列の積の計算に当てはめて考えなさいということのようなので、行列の拡張のしかたがそれで良いかどうかは検証してみてください。

[fana]

関数 mul_array って何をする物なのか？　というのが謎すぎる（各引数の型と内部での扱い具合とか）．
「この関数を用いて何かをする」という話をするためには，まずはそこをはっきりさせるべき．

（「この関数を使ってやれ」という指定があるなら，そこのところの説明がありそうに思いますが，どうなんでしょう？　そこもコードを読んで判断しろ，という話なのでしょうか？）

例えば，mul_array に関して，
「各引数は 3x3 なのだけども，
処理としては 2x3 と 3x2 の積を計算して ans の左上の2x2 部分だけを更新するぜ！　っていう関数なのである！！」
とか何とかいう前提の話が存在するのであれば，黙って 3x3 の形で引数を用意して与える以外にやることはないわけで（何故ならば「引数は 3x3 だぞ」とされているのだから）．