【C言語/初心者】スタック破壊エラーの解決法について

前提・実現したいこと

C言語初心者で配列の勉強をしています。
Visual Studio 2019にて”デバッグの開始”を行ったところ
下記エラーが発生します。
エラーを解決する方法と、このようなエラーを発生させないためには
なにを勉強すればいいか教えて頂けないでしょうか。

発生している問題・エラーメッセージ

Run-Time Check Failure #2 - Stack around the variable 'a' was corrupted.

該当のソースコード

#include<stdio.h>

#define N 20	/*要素の数*/

int main(void) {
	int a[N] = {1,5,4,9,23,16,2,13};
	int i, temp, flag;

	do
	{
		flag = 0;
		for (i = 0; i < N + 1; i++)
		{
			if (a[i] > a[i + 1])
			{
				temp = a[i];
				a[i] = a[i + 1];
				a[i + 1] = temp;
				flag = 1;

			}
		}
	
	} while (flag == 1);

	for (i = 0; i < N; i++)
	{
		printf("%d	", a[i]);
		printf("\n");
	}

	return 0;
	   
}

試したこと

webで調べたところ、スタック破壊が起きているような記載を見かけました。
そこで、defineのNを大きくしてみましたが（10とか）、解決しませんでした。
ちなみにpaizaのwebエディタで同様の記述を行ったところ、エラーが
出なかったのも腑に落ちず、VS2019の操作方法に誤りがあるのかも疑っています。

補足情報（FW/ツールのバージョンなど）

Visual Studio 2019

行動規範の内容に同意します

回答3件

int a[N]; として宣言した配列の大きさは N 個です。つまり 0 から N-1 のインデクスしか使えません。

ループの条件が for (i = 0; i < N + 1; i++) であれば i は最大で N になるのでこのとき a[i] a[i + 1] とすると確保している範囲外にアクセスしていることになります。

C はその設計理念として「プログラマを信じる」と「高速に動くべき」というということを挙げています。なので、実行時に間違ったアクセスがあるかどうかをチェックすることを言語仕様は要求していません。プログラマは間違ったアクセスはしないことを信じているので。そしてチェックをしない方が高速に動作するので。

デタラメなアクセスをした結果は (言語仕様上は) 未定義です。たまたまそこにあった値が読みだされるかもしれませんしクラッシュするかもしれません。

とはいえ、やっぱり人間は間違うものなのである程度はチェックしてくれるような機能を持つ処理系もあり、 VS2019 はそういった親切な機能をもっているという話なのです。間違っていることをしても必ずしもエラーとして教えてくれないのは C の面倒なところで、実際に動かしながら学ぶというだけではそのような間違いに気づけない場合があります。そこはきちんと仕様 (またはそれをわかりやすく解説したもの) を読まないと正しく使えません。

投稿2020/02/22 04:18