自動変数の有効範囲について

質問

自動変数の有効範囲について

以下のプログラムではchar *strの有効範囲はsub()内だけだと思ったのですが、意図せず
main内でputs()した場合に"abc"が表示されてしまいます。
これはたまたまメモリ上にデータが残っていただけなのでしょうか?
因みにchar str[100]と宣言すると、意図したとおりコンパイルでもwarnningがでてゴミが出力されます。

また一般的にはchar *を返したい場合にはどうしたらいいのでしょうか？
mallocして返すのでしょうか？

以上よろしくお願いします

--------------------------------------
#include <stdio.h>

char *sub();
int main()
{
char *q;
q = sub();
printf("%s\n",q);
}

char *sub()
{
char *str = "abc";
return str;

}

回答No.1

Tacosan · ベストアンサー

文字列リテラルが「static な文字配列」であることを理解していれば, 「たまたま」ではなく「必然」であるとわかる.

お礼

なるほど！！。
的確かつ明快な回答ありがとうございました。
staticな文字列であるから関数の範囲を超えてアドレスが維持されていたのですね。
ありがとうございました。

回答No.3

asuncion

そのコードが意図しない結果を招くのであれば、
下のコードも意図しない結果を招くことになります。
実際はどうですか？

#include <stdio.h>

int sub(void);

int main(void)
{
int a;

a = sub();
printf("%d\n", a);
return 0;
}

int sub(void)
{
int n;

n = 12345;
return n;
}

補足

すいません。言葉足らずでした。
このコードですと値が返ってしまうため、sub()内のnとmain()内のaはアドレスが違ってしまいますよね。
ポインタを返しているのに、なぜその値が静的変数でもないのに関数を超えて維持されているのかがわかりませんでした。

別回答を頂いた方から文字列リテラルはstaticであると教えていただいて謎が氷解しました。

回答No.2

noname#116548

何処がおかしいのかな？
*strに"abc"のポインタを入れてmainに返す。
そのポインタの示すアドレスの文字列を表示する。
？何をしたいのかな…

補足

言葉足らずですいませんでした。
ポインタを返しているのに、関数ブロックを越えてアドレスが維持されているのが理解できなかったんです。

説明不足ですいませんでした。