class stream1
{
public:
stream1(istream& i = cin) :is(i) {}
operator bool() const {if (is) return true; else return false; }
private:
istream& is;
};
int main()
{
stream1 is;
cout << is + 1;
cout << cin + 1; // error
int i = 0;
while (cin >> i)
break;
return 0;
}
有没有想过一个问题,即while(cin>>i)是怎么运行的,事实上cin是一个流对象,而while的条件判断部分需要一个bool值,也就是说,这个cin在完成cin>>i之后,将自己转换为了一个bool值,但是若这样是可以的话,为什么 cout << cin + 1;是错误的呢?
其实是因为istream类定义了一个explicit operator bool() {}的成员函数。也就是显式的类型转换运算符函数,需要将此类的对象转换为另一种类型时,需要显式调用,如 (bool)cin 或 static_cast<bool>(cin),而若这个成员函数不是explicit的,则可以进行隐式转换,则形如cout<<cin+1;这样的语句就合法了,但是while的条件部分并没有显式转换为什么也合法呢?其实是因为一个例外:即如果表达式被用作条件,则编译器会将显式的类型转换自动应用于它。
当表达式出现在下列位置时,显式的类型转换将被隐式地执行: if while do语句的条件部分;for语句头的条件表达式;逻辑非运算符(!)逻辑或运算符(||),逻辑与运算符(&&)的运算对象;条件运算符(?:)的条件表达式;
即:
cout << static_cast<bool>(cin) + 1; // right
cout << cin + 1; // error
while( cin >> i) ; // right
while( cin ) cout << 1; // right