C言語で質問です

Question

int main()
{
	char name[32];

	while (1){
		printf("入力---");
		fgets(name, sizeof(name), stdin);
		name[strlen(name) - 1] = '\0';
		if (strcmp(name, "") == 0)
			break;
	}
	return 0;
}

fgetsで文字を入力して文字を入れずにエンターを押した場合はwhileから抜けるというのを作りました
デバッグビルドだと普通に文字を入れたりした後に何も入れずにエンターを押せば抜けれるんですが
リリースビルドだと2回目以降に何もいれずにエンターを押してもループから抜けれません
1回目で何もいれずにエンターを押せば抜けれます
1回でも何かを入力するとどうやっても抜けれなくなります
なぜでしょうか？
コンソールアプリで基礎の勉強中なのでまだ気にしなくてもいいのでしょうか？
VisualStudio2013のC++で作ってます

Answer 1

こんにちは。

ソース・コードは正しいように見えます。デバッグ・モードでの動作が正常と思います。
しかし、リリース・モードですとtaigaさんの言う通り、一度何か入力してEnterした後は、Enterだけ入力しても終了しませんでした。
かなりびっくりですが、どうもMSVC 2013の最適化の不具合っぽく見えます。

name[0]をprintfしてみたところ、どうもname[strlen(name) - 1] = '\0';が最適化で消されていようです。どうみても消してはいけないと思うのですが。

１つだけ少し危険なコードがあるため、下記のように修正したことろ、リリースモードでも正常動作しました。（fgetsからの戻りではないはずですが、もしname[0]が0で戻ってくると危険。）

しかし、if (0 < len)の行をコメントアウトとすると、また元に戻ります。
後、コマンドラインでビルドしても同様でしたし、msvc 2015でも同じでした。
なお、最適化オプションはデフォルトでは/O2のようですが、これを/Otに変えると不具合はなくなりました。
（プロジェクトのプロパティ→C/C++→最適化の最適化をカスタムとし、コマンドラインの追加のオプションに/Otを入力）

#include "stdafx.h"

int main()
{
    char name[32];

    while (1){
        printf("入力---");
        fgets(name, sizeof(name), stdin);
        int len = strlen(name);
        if (0 < len)
            len--;
        name[len] = '\0';
        if (strcmp(name, "") == 0)
            break;
    }
    return 0;
}

う～～ん、かなりの驚きです。
そこそこMSVCは使って来たのですが、こんな不具合を見たのは初めてです。
未だに私の何かの勘違いではないかと感じてます。

最後の'\n'を0に置き換える処理はそこそこやる処理なので何故にこんな現象が残っているのか？本当に不思議です。

Comments

[T.Kanno]

stdin 特有の動作の gets のあおりを食らっていませんかね？
アッセンブラレベルでトレースしてみたいなぁ。

[catsforepaw]

再現しました。明らかにDebugとReleaseで挙動が変わりますね。なかなか興味深いです。
fgetsの手前で`name[0] = '\0'`とやっても回避できます。
Chironianさんのコードのように不正アクセス対策はちゃんとやりましょうということなのでしょうか。

[catsforepaw]

ちょっと思い当たる節があって試してみたところ、どうやら「/Og（グローバルの最適化）オプション」が影響していることが判りました。
/O2には/Ogも含まれているので、コマンドラインの追加オプションに「/Og-」を入れてやると、正しく動くようになりました。また、その逆に、最適化を「無効 (/Od)」にすると正しく動くはずですが、コマンドラインの追加オプションに「/Og」を指定すると、問題が発生するようになります。

アセンブリソースを出力して確認してみましたが、最初の1回だけstrlenを実行し、それ以降はその結果を使い回しているようです。試しに2回目で1回目より長い文字列を入力すると、確かに1回目と同じ長さに切られています。
バグっぽいですね。