【C言語入門】strcpyの使い方

#include <string.h>
char *strcpy(char* restrict s1, const char* restrict s2);

s1

コピー先メモリ領域の先頭を指すポインタを指定します。

コピー先のメモリ領域としてコピー元文字列（終端文字を含む）が格納できるだけの十分なサイズの領域が必要です。

s2

コピー元文字列の先頭を指すポインタを指定します。
文字列の終端文字としてNULL文字（’\0’）が必要です。

返却値

s1を返します。

サンプルプログラムとその実行結果

#include <stdio.h>
#include <string.h>

int main(void) {
    char buffer1[10];
    char buffer2[10];
    char buffer3[20];    /* 重複する領域用 */

    memcpy(buffer1, "strcpy s1", strlen("strcpy s1")+1);
    memcpy(buffer2, "strcpy s2", strlen("strcpy s2")+1);

    /* 重複しない領域へのcopy */
    char* restrict s1 = buffer1;
    char* restrict s2 = buffer2;

    /* s2 -> s1へコピー */
    fprintf(stdout, "before strcpy s1[%s]\n", s1);
    fprintf(stdout, "before strcpy s2[%s]\n", s2);
    fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));

    /* 重複する領域へのcopy その１ */
    memset(buffer3, '
#include <stdio.h>
#include <string.h>
int main(void) {
char buffer1[10];
char buffer2[10];
char buffer3[20];    /* 重複する領域用 */
memcpy(buffer1, "strcpy s1", strlen("strcpy s1")+1);
memcpy(buffer2, "strcpy s2", strlen("strcpy s2")+1);
/* 重複しない領域へのcopy */
char* restrict s1 = buffer1;
char* restrict s2 = buffer2;
/* s2 -> s1へコピー */
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
/* 重複する領域へのcopy その１ */
memset(buffer3, '\0', sizeof(buffer3));
s1 = &buffer3[0];
s2 = &buffer3[1];
fprintf(stdout, "\n\n");
/* s2 -> s1へコピー */
strcpy(s1, "");
strcpy(s2, "strcpy s2");
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
/* 重複する領域へのcopy その２ */
memset(buffer3, '\0', sizeof(buffer3));
s1 = &buffer3[1];
s2 = &buffer3[0];
fprintf(stdout, "\n\n");
/* s2 -> s1へコピー */
strcpy(s1, "");
strcpy(s2, "strcpy s2");
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
}
', sizeof(buffer3));
    s1 = &buffer3[0];
    s2 = &buffer3[1];

    fprintf(stdout, "\n\n");

    /* s2 -> s1へコピー */
    strcpy(s1, "");
    strcpy(s2, "strcpy s2");
    fprintf(stdout, "before strcpy s1[%s]\n", s1);
    fprintf(stdout, "before strcpy s2[%s]\n", s2);
    fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));

    /* 重複する領域へのcopy その２ */
    memset(buffer3, '
#include <stdio.h>
#include <string.h>
int main(void) {
char buffer1[10];
char buffer2[10];
char buffer3[20];    /* 重複する領域用 */
memcpy(buffer1, "strcpy s1", strlen("strcpy s1")+1);
memcpy(buffer2, "strcpy s2", strlen("strcpy s2")+1);
/* 重複しない領域へのcopy */
char* restrict s1 = buffer1;
char* restrict s2 = buffer2;
/* s2 -> s1へコピー */
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
/* 重複する領域へのcopy その１ */
memset(buffer3, '\0', sizeof(buffer3));
s1 = &buffer3[0];
s2 = &buffer3[1];
fprintf(stdout, "\n\n");
/* s2 -> s1へコピー */
strcpy(s1, "");
strcpy(s2, "strcpy s2");
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
/* 重複する領域へのcopy その２ */
memset(buffer3, '\0', sizeof(buffer3));
s1 = &buffer3[1];
s2 = &buffer3[0];
fprintf(stdout, "\n\n");
/* s2 -> s1へコピー */
strcpy(s1, "");
strcpy(s2, "strcpy s2");
fprintf(stdout, "before strcpy s1[%s]\n", s1);
fprintf(stdout, "before strcpy s2[%s]\n", s2);
fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
}
', sizeof(buffer3));
    s1 = &buffer3[1];
    s2 = &buffer3[0];

    fprintf(stdout, "\n\n");

    /* s2 -> s1へコピー */
    strcpy(s1, "");
    strcpy(s2, "strcpy s2");
    fprintf(stdout, "before strcpy s1[%s]\n", s1);
    fprintf(stdout, "before strcpy s2[%s]\n", s2);
    fprintf(stdout, ">after strcpy s1[%s]\n", strcpy(s1, s2));
}

サンプルプログラムを実行した環境（Play with Docker）では、重複する領域へのcopy その２のパターンでは、セグメント例外（Segmentation fault）が発生してコピーが実行できませんでした。

ちなみに、Windows10上でeclipseを使用して実行した場合は、以下のようになりました。

重複する領域へのcopy その２のパターンでは、エラーが発生はしませんでしたがコピーした結果がおかしくなってますね。（重複する領域の場合の動作は未定義なのでこれはこれで正しい動作）