【C言語】ポインタ型配列の添字に変数を使用することができないのか

Question

現在、書籍を用いてC言語について勉強しています。
その書籍の演習問題を取り組んでいる際に疑問が生じたため質問をさせていただきます。
（Googleで調べてみたのですが解決することができませんでした…）

質問は表題の通り、「ポインタ型配列の添字に変数を使用することができないのか」についてです。
この疑問が生じたきっかけのソースコードを下記に記します。

#include <stdio.h>

void sort_ptr3ary(int *x[]){
	for( int i=0 ; i<3 ; i++ ){
		for( int j=3-i ; j>i ; j-- ){
			printf("test1\n");
            if( *x[j-1] > *x[j] ){
		        printf("test2\n");		
                int tmp = *x[j];
				*x[j] = *x[j-1];
				*x[j-1] = tmp;
			}
		}
	}
}

int main(void){
	int a, b, c;
	int *x[3] = {&a, &b, &c};

	puts("3つの整数値を入力してください。");
	printf("a：");	scanf("%d", &a);
	printf("b：");	scanf("%d", &b);
	printf("c：");	scanf("%d", &c);

	sort_ptr3ary(x);

	for( int i=0 ; i<3 ; i++ ){
		printf("*x[%d]=%d\n", i, *x[i]);
	}

	return 0;
}

このソースを実行すると、「test2」が表示されずに実行がストップしてしまいます。
このことから表題の疑問が生じました。
大変恐れ入りますが、どなたかこの疑問に対するお答えをお願い致します。

Answer 1

ポインタ型とかそれ以前に、配列が範囲外アクセスになっています。
例えば、i=0の時j=3となって、
渡しているのがint*[3]なので、
*x[j]で範囲外アクセスになっています。

ざっくり補足：
int x[1]に対してx[1]にアクセスしても実行できることがあります。
x[1]はx[0]のintひとつ分進んだアドレスに格納された値なので
x[1]には不定な値が入っています。

int *xp[1]に対して*xp[1]にアクセスすると落ちることがあります。(質問文のコードがこの状況)
xp[1]には同様に変な値が入ってます。例えば-2000とか入ってたりしたとします。
*xp[1]にアクセスしようとすると、アドレス-2000番の値を拾ってこようとして、
「いやそんなメモリ番地ないよ」と異常終了します。

Comments

[0204yasu]

ozwkさん

ご回答くださりありがとうございます。
ozwkさんのご回答を読んで「やってしまった…」と反省しております。
こんな質問に対し丁寧にご回答をしてくださり誠にありがとうございました。
次回はこのような質問をしないよう気をつけてまいります。
この度はありがとうございました！

Answer 2

このソースを実行すると、「test2」が表示されずに実行がストップしてしまいます。

プログラム開発において、プログラムが予期した表示をせずに実行がストップするのは日常茶飯事です。
その時、プログラマがすべきことは、「何が起きたか」を調べることです。
（「プログラムが止まった」「うまくいかなかった」というのは「何が起きたか」ではなく、
「何が起きたかを調べなければならなくなった理由にすぎません」）
とりあえずは、エラーメッセージが出ていればそれを読んで意味を考えることです。

そして、考えてもどうしても意味が分からないのであれば、どういったエラーメッセージがでて、
それがどうわからないのかを質問してください。

コンピュータプログラムにおいて「ストップしてしま」う原因は様々です。
その原因が明確になってもいないのに、憶測から言語仕様について疑問を抱くのは、
思考の順序が間違っています。
今調べるべきは、言語仕様上の疑問ではなく現実に何が起きたのかをまず見極めることです。

Comments

[0204yasu]

kozuchiさん

今回の件に対するアドバイスをくださりありがとうございます。
とても勉強になりました。
今後、安易に言語仕様に対して疑問を抱くのではなく、もっと自身でどうして思い通りの結果になぜならないのかを調査した上で、teratailを利用していきたいと思います。
この度は誠にありがとうございました！