c言語でstrcpy,strncpyを自作している最中のエラー

Question

実現したいこと

書いたコードがなぜエラーとなるのか理解する

前提

c言語のstrcpy関数、strncpy関数を自分で作っています。
しかし、その最中でエラーが起こってしまいました。
何が原因か見当がつかないため質問しています。

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

文字列にs1何かエラーが生じている。

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

該当のソースコード

ソースコード#include <stdio.h>

char* strcpy(char* s1, const char* s2) {
	char* t = s1;
	while (*s1++ = *s2++);
	return t;
}


char* strncpy(char* d, const char* s, size_t n) {
	
	char* t = d;
	int i = 0;
	while (*d++ = *s++) {
		i++;
		if (i==n)
			break;
	}
	i++;
	for (; i < n; i++)
		d[i] = '\0';

	return t;
}

int main(void) {
	
	char s1[10];
	char* x = "XXXXXXXXX";

	strcpy(s1, x); strncpy(s1, "12345", 3); printf("s1=\"%s\"\n", s1);
	strcpy(s1, x); strncpy(s1, "12345", 5); printf("s1=\"%s\"\n", s1);
	strcpy(s1, x); strncpy(s1, "12345", 7); printf("s1=\"%s\"\n", s1);
	return 0;
}

試したこと

デバック無しで動作させた場合、やりたいこと自体はできているようでした。

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

Comments

[kazuma-s]

```Run-Time Check Failure #2 - Stack around the variable 's1' was corrupted.
ではなく
Run-Time Check Failure #2 - Stack around the variable 's1' was corrupted.
```
と書いてください。

```c言語
ソースコード#include <stdio.h>
ではなく、
```C
#include <stdio.h>
と書いてください。

[mamukura]

ご指摘ありがとうございます。
使い始めたばかりでフォーマットが分かっていませんでした。
回答者さんが見やすいように気を付けます。

[kazuma-s]

気を付けるのなら、今すぐ質問を修正してください。

[mamukura]

修正しました。

Answer 1

d[i] = '\0'; で s1[10]以降に '\0' を入れています。
やいたいことは *d++ = '\0'; ではありませんか？

追記
変数の変化をちゃんと見ましょう。

strncpy(s1, "12345", 7); で呼び出したとき、
d は s1[0] を指しています。
whileループが終了した時点で、
s1[0] = '1'、s1[1] = '2'、...、s1[5] = '\0' で、
i は 5 ですが、i++; で i は 6 になります。
d は s1[6] を指しています。
forループで、d[i] は s1[12] です。
そこに '\0' を入れることで、配列の範囲外の領域を破壊します。

追記2
strncpy は、このようにも書けます。

char *strncpy(char *d, const char *s, size_t n)
{
	for (size_t i = 0; i < n; i++)
		if (d[i] = *s) s++;
	return d;
}

Comments

[mamukura]

回答ありがとうございます。
引数として渡している値は10未満のはずですが、iが10を超えてしまっているのですかね？

[mamukura]

追記ありがとうございます。
非常に丁寧でよく理解できました。
また、このサイトでのマナーが分かっておらずご迷惑おかけしました。すみません。
みなさんの指摘を受けて修正していきます。
初歩的な質問ばかりになるとは思いますが今後も回答していただけると嬉しいです。

[mamukura]

追記ありがとうございます。
0以外でインクリメントするようにすれば0を複製することができるのですね。ここまでシンプルに作れるとは驚きです。
ありがとうございます。

Answer 2

d++してポインタから先頭要素がずれているのにd[i]としているためd[10]以上になってしまっていた。

Comments

[int32_t]

kazuma-sさんの回答が少しでも役に立ったのなら、自己解決ではなくkazuma-sさんの回答をベストアンサーにすべきと思います。

[mamukura]

ご指摘ありがとうございます。
ベストアンサー変更しておきました。