サンプルの不具合について

Question

/* mystrcat02.c */

#include <stdio.h>

char *mystrcat(char *, char *);

int main()
{
	char str1[32] = "Hello, ";
	char str2[16] = "World!\n";

	printf(mystrcat(str1, str2));

	return 0;
}

char *mystrcat(char *a, char *b)
{
	char *aorg;

	aorg = a;

	while (*a)
		a++;
	while (*a++ = *b++);

	return aorg;
}

こんばんは。とある本でC言語を勉強しています。
サンプルプログラムを実行するとエラーがでます。どこが駄目なのか分からないので、分かる方は修正して頂けたら嬉しいです。

while (*a)
        a++;
    while (*a++ = *b++);

あと、この部分がわからないのでどなたか解説をできたらでいいんですけど、してもらえると助かります。

Comments

[moonphase]

実行環境を教えて下さい。
CentOS6+GCCでは問題なく実行できました。

[退会済みユーザー]

Wandboxというサイトです。

[HiroshiWatanabe]

どういうエラーが出るんでしょうか？

[退会済みユーザー]

prog.cc: In function 'char* mystrcat(char*, char*)':
prog.cc:25:14: warning: suggest parentheses around assignment used as truth value [-Wparentheses]
while (*a++ = *b++);
~~~~~^~~~~~
というエラーです。

[HiroshiWatanabe]

エラーではなく警告ですね。
while (*a++ = *b++);
が「代入」になっていて「真偽判定結果」の体裁ではないので
ループの真偽判定を間違ってる可能性があるので注意してね
という意図での警告です。(=と==を間違えていませんか？という警告)
意図通りなら無視しても構いませんし
while ((*a++ = *b++) != '\0');
のように明示的に真偽判定の体裁になるようにしてみるのでもいいです。

Answer 1

CentOS6+GCCでは問題なく動作しました。

以下は、ポインタaを文字列の最後についている\0まで進めています。
whileは0の場合はループを抜けます。

while (*a)
        a++;

以下は、ポインタbの内容をポインタaの最後に追加しています。
bのポインタの指す内容が文字列の終端を示す\0に到達すると、それがaの指すポインタにコピーされた上で、whileが終了します。

    while (*a++ = *b++);

char str1[32] = "Hello, ";

は次の内容が設定されています。

str1[0] = 'H';
str1[1] = 'e';
str1[2] = 'l';
str1[3] = 'l';
str1[4] = 'o';
str1[5] = ',';
str1[6] = ' ';
str1[7] = '\0'; ←文字列の終端は`\0`というお約束です
str1[8-31] = 不定

追記

以下はエラーではなくワーニングです。

prog.cc: In function 'char* mystrcat(char*, char*)':
prog.cc:25:17: warning: suggest parentheses around assignment used as truth value [-Wparentheses]
     while (*a++ = *b++);
            ~~~~~^~~~~~

以下のようにするとワーニングが消えます。

    while ((*a++ = *b++));

他の方が回答している、printfの第一引数はフォーマットを指定するものではありますが、
フォーマッタ識別子が含まれていないものはそのまま出力されるので、プログラムとしては間違っていません。

Comments

[archiver]

そういえばそうですね。固定文字列のアドレスを渡していることになるので、間違いではないですね。

Answer 2

printfで表示するときは書式フォーマットを指定する必要があります。printfの使い方は調べてください（すぐ見つかるでしょう）。

２つ目ですが、aに対してbの内容を繋げるのがmystrcatの処理です。最初の

while (*a)
   a++;

では、aの終端位置までポインタを進めています。そして、次の

while(*a++ = *b++);

で、aの続きの位置からbの内容をコピーしています。