while(cin>>n){}のループから脱出できる理由を知りたいです。

Question

https://onlinejudge.u-aizu.ac.jp/problems/ALDS1_3_A
上記のURLの問題で、以下のコードを提出し、AC(Accepted)されました。

#include <bits/stdc++.h>

using namespace std;

int main()
{
	string s;
	stack<int> st;
	while (cin >> s)
	{
		if (s == "+")
		{
			int a = st.top();
			st.pop();
			int b = st.top();
			st.pop();
			st.push(b + a);
		}
		else if (s == "-")
		{
			int a = st.top();
			st.pop();
			int b = st.top();
			st.pop();
			st.push(b - a);
		}
		else if (s == "*")
		{
			int a = st.top();
			st.pop();
			int b = st.top();
			st.pop();
			st.push(b * a);
		}
		else
		{
			st.push(stoi(s));
		}
	}
	cout << st.top() << endl;
}

上記URLではACされるのですが、Visual Studio 2019で上記のプログラム実行してみると、結果出力まで至りません。
この相違が生じる理由として考えられる要因として何が挙げられるのでしょうか？
Visual Studio Community 2019でプログラムを実行する際、入力例を入力後、次の行でCtrl+Zを入力していましたが、その後、Enterキーを押していませんでした。

ちなみに、私は標準入力のループから脱出するには
式cin>>sの値が0であること、つまり、
抽出子>>の第2引数が見つからない場合、抽出子>>の返却値型であるbasic_istream&型として、0を返すように定義されている
と考えています。この解釈は正しいでしょうか？

Comments

[Bull]

当方の環境 (Windows10, Visual Studio 2019) では
1 2 + 5 4 + *
と入力し、次の行で Ctrl+Z を入力することにより
27
という結果が出力されました。
プログラムを実行して、どのような操作をしましたか？

[sumachu]

検証ありがとうございます。Visual Studio Community 2019でプログラムを実行する際、入力例を入力後、次の行でCtrl+Zを入力していましたが、その後、Enterキーを押していませんでした。すみません。Enterキーの押し忘れが原因でした。お騒がせしました。

Answer 1

std::basic_istream (の基底である std::basic_ios) には operator bool が定義されています。 すなわち、 bool にキャスト可能で、そのようにキャストした場合にはメンバ関数 fail の返却値を逆にした値を返します。

なんらかの理由 (eof に到達した場合を含む) で入力処理がされなかった場合にはストリームに失敗フラグが設定されますので、メンバ関数 fail を呼び出した場合、 bool にキャストした場合にはそれに基づいた値が返されます。 つまり、繰り返し式の条件式にストリームを置いた場合には eof に到達するまで繰り返すという意味に使えます。

ただし、 eof に到達する以外の理由でも失敗フラグが設定されることは有りますので、エラーの対処をしっかりやりたい場合には個別のチェックが必要でしょう。 また、プログラムを読む人にとっても (まさに質問者がそうであるように) 暗黙の型変換を活用されるとどういう意味があるのかわかり難いのでメンバ関数 fail を陽に呼ぶ方がより親切な書き方ではあるかもしれません。

Comments

[sumachu]

ご回答ありがとうございます。なるほど。変換関数operator boolが定義されているのですね。まさに私の知りたい内容でした。私も自力でご回答者様のご回答にたどり着けるように精進したいと思います。